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|
|ICCBR 2020||28th International Conference on Case-Based 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|
This category has the following 4 subcategories, out of 4 total.
Pages in category "Theory of computation"
The following 32 pages are in this category, out of 32 total.