Category:Theory of computation
| Theory of computation | |
|---|---|
| Editor: | Become editor of this category |
Top conference series
| Acronym | Title | CORE2017 | Avg. acc. rate |
|---|---|---|---|
| RAMiCS | International Conference on Relational and AlgebraicMethods in Computer Science (was International Conference on Relational Methods in Computer Science RelMiCS) | C | 1.7 |
| EC | ACM Conference on Economics and Computation | B | 25.0 |
| STACS | International Symposium on Theoretical Aspects of Computer Science | B | 27.8 |
| KR | International Conference on the Principles of Knowledge Representation and Reasoning | A* | 28.0 |
| FOCS | IEEE Symposium on Foundations of Computer Science | A* | 28.7 |
| GMP | Geometry Modeling and Processing | B | 29.0 |
| FOIS | International Conference on Formal Ontology in Information Systems | A | 29.2 |
| ... further results | |||
Upcoming conferences
| Acronym | Name | City | Country | Submissions due | Start | End |
|---|---|---|---|---|---|---|
| GD 2026 | The 34th International Symposium on Graph Drawing and Network Visualization | Ontario | Canada | May 13 | Aug 17 | Aug 21 |
| APPROX/RANDOM 2026 | 29th International Conference on Approximation Algorithms for Combinatorial Optimization Problems and 30th International Conference on Randomization and Computation | Boston | USA | May 6 | Aug 19 | Aug 21 |
| AAAC 2026 | 4th Asian Aerospace and Astronautics Conference | Hongkong | China | Jul 5 | Aug 21 | Aug 23 |
| MFCS 2026 | The 51st International Symposium on Mathematical Foundations of Computer Science | Paris | France | Apr 24 | Aug 24 | Aug 28 |
| RuleML+RR 2026 | 10th International Joint Conference on Rules and Reasoning | Vilnius | Lithuania | May 22 | Aug 24 | Aug 26 |
| EUroComb 2026 | EuroConference on Combinatorics, Graph Theory and Applications | Budapest | Hungary | Aug 24 | Aug 28 | |
| PPDP 2026 | 28th International Symposium on Principles and Practice of Declarative Programming | Indianapolis | USA | May 31 | Aug 27 | Aug 29 |
| ... 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 …
MCU,_CSICC,_RANDOM,_WAIFI,_SETA,_APPROX/RANDOM,_MACIS,_NeSy,_ISITA,_CICM,_Redundancy,_FLOPS,_DM,_DCM,_MEMOCODE,_Informatics,_FAW,_EUroComb,_ANALCO,_ACCMCC 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 (17 P)
- Concurrency theory (3 P)
Pages in category "Theory of computation"
The following 200 pages are in this category, out of 807 total.
(previous page) (next page)F
- FCT 1997
- FCT 1999
- FCT 2001
- FCT 2003
- FCT 2005
- FCT 2007
- FCT 2009
- FCT 2011
- FCT 2013
- FCT 2015
- FCT 2017
- FCT 2025
- FCT 2025 (Duplicate)
- 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 (Duplicate)
- FOCS 2023 (Duplicate)
- FOCS 2024
- FOCS 2024 (Duplicate)
- 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 (Duplicate)
- FOSSACS 2023 (Duplicate)
- FOSSACS 2024 (Duplicate)
- 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 (Duplicate)
- ICALP 2024
- ICALP 2024 (Duplicate)
- ICALP 2025
- ICALP 2026
- ICALP 2027
- ICCAM
- ICCAM 2026
- ICFCA
- ICFCA 2008
- ICFCA 2009
- ICFCA 2017
- ICFCA 2026
- ICGT
- ICGT 2020
- ICGT 2022 (Duplicate)
- ICGT 2024 (Duplicate)
- ICGT 2025 (Duplicate)
- ICGT 2026
- ICGT 2026 (Duplicate)
- ICGT 2027
- ICLP
- ICLP 2009
- ICLP 2020
- ICLP 2022 (Duplicate)
- ICLP 2023 (Duplicate)
- ICLP 2024
- ICLP 2024 (Duplicate)
- 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 2020 (Duplicate)
- IFM 2025
- IFM 2025 (Duplicate)
- IFM 2026
- IJCAR
- IJCAR 2001
- IJCAR 2004
- IJCAR 2006
- IJCAR 2008
- IJCAR 2010
- IJCAR 2012
- IJCAR 2014
- IJCAR 2016
- IJCAR 2018
- IJCAR 2020
- IJCAR 2022 (Duplicate)
- IJCAR 2024
- IJCAR 2024 (Duplicate)
- IJCAR 2025
- IJCAR 2026
- ILP
- ILP 2009
- ILP 2017
- ILP 2018
- ILP 2019
- ILP 2020
- ILP 2021
- ILP 2023
- ILP 2023 (Duplicate)
- ILP 2024
- ILP 2025
- ILP 2026
- Informatics
- IPCO
- IPCO 2013
- IPCO 2014
- IPCO 2016
- IPCO 2017
- IPCO 2019
- IPCO 2020
- IPCO 2022
- IPCO 2022 (Duplicate)
- IPCO 2025
- IPCO 2025 (Duplicate)
- IPCO 2026
- IPCO 2027
- ISAAC
- ISAAC 2020
- ISAAC 2022 (Duplicate)
- ISAAC 2023 (Duplicate)
- ISAAC 2024
- ISAAC 2024 (Duplicate)
- ISAAC 2025
- ISAAC 2026
- ISCO