Category:Theory of computation
Theory of computation  

Editor:  Become editor of this category 
Top conference series
Acronym  Title  CORE2017  Avg. acc. rate 

FOCS  IEEE Symposium on Foundations of Computer Science  27.7  
ICALP  International Colloquium on Automata Languages and Programming  A  29.6 
ATVA  International Symposium on Automated Technology for Verification and Analysis  A  34.9 
LATIN  International Symposium on Latin American Theoretical Informatics  B  39.4 
Coordination  International Conference on Coordination Models and Languages  B  53.1 
DLT  Developments in Language Theory  56.6  
LFCS  Logical Foundations of Computer Science  79.4 
Upcoming conferences
Acronym  Name  City  Country  Submissions due  Start  End 

FOCS 2020  61st Annual IEEE Symposium on Foundations of Computer Science  Durham  USA  Apr 15  Nov 16  Nov 19 
FSTTCS 2020  40th conference on Foundations of Software Technology and Theoretical Computer Science  Goa  India  Jul 17  Dec 14  Dec 18 
ICALP 2021  48th International Colloquium on Automata, Languages, and Programming  Glasgow  Scotland  Feb 12  Jul 12  Jul 16 
PATAT 2021  13th International Conference on the Practice and Theory of Automated Timetabling  Bruges  Belgium  Aug 24  Aug 27 
FOCS 2020 (Durham, 16 November 2020) FSTTCS 2020 (Goa, 14 December 2020) ICALP 2021 (Glasgow, 12 July 2021) PATAT 2021 (Bruges, 24 August 2021)



Subcategories
This category has the following 4 subcategories, out of 4 total.
A
C
Pages in category "Theory of computation"
The following 88 pages are in this category, out of 88 total.
F
 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
 FST&TCS
 FSTTCS 2020