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 
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 

ICCBR 2020  28th International Conference on CaseBased Reasoning  Salamanca  Spain  Feb 27  Jun 6  Jun 9 
Coordination 2020  22nd International Conference on Coordination Models and Languages  Feb 28  Jun 15  Jun 19  
SAGT 2020  13th Symposium on Algorithmic Game Theory  Augsburg  Germany  May 19  Sep 16  Sep 18 
TAMC 2020  The 16th Annual Conference on Theory and Applications of Models of Computation  Changsha  China  Dec 15  Oct 18  Oct 20 
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 
ICCBR 2020 (Salamanca, 6 June 2020) SAGT 2020 (Augsburg, 16 September 2020) TAMC 2020 (Changsha, 18 October 2020) FSTTCS 2020 (Goa, 14 December 2020) 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 32 pages are in this category, out of 32 total.