Category:Theory of computation
Theory of computation  

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

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 

SAGT 2020  13th Symposium on Algorithmic Game Theory  Augsburg  Germany  May 19  Sep 16  Sep 18 
ICCS 2020  25th International Conference on Conceptual Structures  Bolzano  Italy  Jan 26  Sep 18  Sep 21 
TAMC 2020  The 16th Annual Conference on Theory and Applications of Models of Computation  Changsha  China  Dec 15  Oct 18  Oct 20 
ATVA 2020  18th International Symposium on Automated Technology for Verification and Analysis  Hanoi  Vietnam  May 3  Oct 19  Oct 23 
FOCS 2020  IEEE Symposium on Foundations of Computer Science  Durham  USA  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 
PATAT 2021  13th International Conference on the Practice and Theory of Automated Timetabling  Bruges  Belgium  Aug 24  Aug 27 


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