Category:Theory of computation
| Theory of computation | |
|---|---|
| Editor: | Become editor of this category |
Top conference series
| Acronym | Title | CORE2017 | Avg. acc. rate |
|---|---|---|---|
| EC | ACM Conference on Economics and Computation | B | 25.0 |
| STACS | International Symposium on Theoretical Aspects of Computer Science | B | 27.9 |
| KR | International Conference on the Principles of Knowledge Representation and Reasoning | A* | 28.0 |
| FOCS | IEEE Symposium on Foundations of Computer Science | A* | 28.4 |
| GMP | Geometry Modeling and Processing | B | 29.0 |
| FOIS | International Conference on Formal Ontology in Information Systems | A | 29.2 |
| STOC | ACM Symposium on Theory of Computing | A* | 30.0 |
| ... further results | |||
Upcoming conferences
| Acronym | Name | City | Country | Submissions due | Start | End |
|---|---|---|---|---|---|---|
| FCT 2026 | International Symposium on Fundamentals of Computation Theory | Sep 14 | Sep 16 | |||
| ILP 2026 | International Conference on Inductive Logic Programming (ILP) at IJCLR 2026 | Valencia | Spain | May 31 | Sep 16 | Sep 18 |
| CICM 2026 | 19th Conference on Intelligent Computer Mathematics | Ljubljana | Slovenia | Apr 15 | Sep 21 | Sep 25 |
| FOIS 2026 | 16th International Conference on Formal Ontology in Information Systems | Vitória | Brazil | Mar 23 | Sep 21 | Sep 25 |
| MEMOCODE 2026 | 24th ACM-IEEE International Symposium on Formal Methods and Models for System Design | Barcelona | Spain | Jun 1 | Oct 8 | Oct 9 |
| ISITA 2026 | International Symposium on Information Theory and Its Applications | Okinawa | Japan | May 11 | Nov 1 | Nov 4 |
| FOCS 2026 | 67th Annual Symposium on Foundations of Computer Science | New York City | USA | Apr 1 | Nov 8 | Nov 11 |
| ... further results | ||||||
|
<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul> more …
SAGT,_CALCO,_TAMC,_VECoS,_ARITH,_ICCAM,_FRUCT,_AiML,_PPDP,_CTW,_WoLLIC,_ACCT,_UC,_ATMOS,_CIAC,_RuleML+RR,_MCU,_CSICC,_WAIFI,_SETA more …
|
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
|
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul> more …
|
Subcategories
This category has the following 4 subcategories, out of 4 total.
A
- Automata theory (4 P)
C
- Computability theory (15 P)
- Concurrency theory (2 P)
Pages in category "Theory of computation"
The following 200 pages are in this category, out of 711 total.
(previous page) (next page)F
- FCT 2025
- FCT 2026
- FLOPS
- FLOPS 2020
- FOCS
- FOCS 1989
- FOCS 1990
- FOCS 1991
- FOCS 1992
- FOCS 1993
- FOCS 1994
- FOCS 1995
- FOCS 1996
- FOCS 1997
- FOCS 1998
- FOCS 1999
- FOCS 2000
- FOCS 2001
- FOCS 2002
- FOCS 2003
- FOCS 2004
- FOCS 2005
- FOCS 2006
- FOCS 2007
- FOCS 2008
- FOCS 2009
- FOCS 2010
- FOCS 2011
- FOCS 2012
- FOCS 2013
- FOCS 2014
- FOCS 2015
- FOCS 2016
- FOCS 2017
- FOCS 2018
- FOCS 2019
- FOCS 2020
- FOCS 2022
- FOCS 2023
- FOCS 2024
- FOCS 2025
- FOCS 2026
- FOIS
- FOIS 2018
- FOIS 2020
- FOIS 2026
- FOSSACS
- FOSSACS 2015
- FOSSACS 2016
- FOSSACS 2017
- FOSSACS 2018
- FOSSACS 2019
- FOSSACS 2020
- FOSSACS 2022
- FOSSACS 2023
- FOSSACS 2024
- FOSSACS 2025
- FRUCT
- FSCD
- FSCD 2026
- FSCD 2027
- FSTTCS 2020
- FUN
- FUN 2018
- FUN 2020
G
I
- ICALP
- ICALP 2008
- ICALP 2017
- ICALP 2018
- ICALP 2019
- ICALP 2020
- ICALP 2021
- ICALP 2023
- ICALP 2024
- ICALP 2025
- ICALP 2026
- ICALP 2027
- ICCAM
- ICCAM 2026
- ICFCA
- ICFCA 2008
- ICFCA 2009
- ICFCA 2017
- ICFCA 2026
- ICGT
- ICGT 2020
- ICGT 2022
- ICGT 2024
- ICGT 2025
- ICGT 2026
- ICGT 2027
- ICLP
- ICLP 2009
- ICLP 2020
- ICLP 2022
- ICLP 2023
- ICLP 2024
- ICLP 2025
- ICLP 2026
- ICLP 2027
- ICTAC
- ICTAC 09
- ICTAC 2017
- ICTAC 2018
- ICTAC 2019
- ICTAC 2020
- ICTAC 2026
- ICTAC 2027
- IFM
- IFM 2016
- IFM 2017
- IFM 2018
- IFM 2019
- IFM 2020
- IFM 2025
- IFM 2026
- IFSA-EUSFLAT 2027
- IJCAR
- IJCAR 2001
- IJCAR 2004
- IJCAR 2006
- IJCAR 2008
- IJCAR 2010
- IJCAR 2012
- IJCAR 2014
- IJCAR 2016
- IJCAR 2018
- IJCAR 2020
- IJCAR 2022
- IJCAR 2024
- IJCAR 2025
- IJCAR 2026
- ILP
- ILP 2009
- ILP 2017
- ILP 2018
- ILP 2019
- ILP 2020
- ILP 2021
- ILP 2023
- ILP 2024
- ILP 2025
- ILP 2026
- Informatics
- IPCO
- IPCO 2013
- IPCO 2014
- IPCO 2016
- IPCO 2017
- IPCO 2019
- IPCO 2020
- IPCO 2022
- IPCO 2025
- IPCO 2026
- IPCO 2027
- ISAAC
- ISAAC 2020
- ISAAC 2022
- ISAAC 2023
- ISAAC 2024
- ISAAC 2025
- ISAAC 2026
- ISCO
- ISCO 2008
- ISCO 2026
- ISITA
- ISITA 2008
- ISITA 2016
- ISITA 2018
- ISITA 2020
- ISITA 2026
- ISSAC
- ISSAC 1988
- ISSAC 1989
- ISSAC 1990
- ISSAC 1991
- ISSAC 1992
- ISSAC 1993
- ISSAC 1994
- ISSAC 1995
- ISSAC 1996
- ISSAC 1997
- ISSAC 1998
- ISSAC 1999
- ISSAC 2000
- ISSAC 2001
- ISSAC 2002