Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
LATIN 2022(new) The 15th Latin American Theoretical Informatics Symposium
Oct 17, 2022 - Oct 21, 2022 Guanajuato, Mexico May 22, 2022 (May 15, 2022)
Expired CFPs
RP 2021 15th International Conference on Reachability Problems (RP'21)
Oct 25, 2021 - Oct 27, 2021 Liverpool Jul 15, 2021
DCFS 2021 23rd International Conference on Descriptional Complexity of Formal Systems
Jun 21, 2021 - Jun 24, 2021 Proceedings-only Event Jun 29, 2021
CALCO 2021  9th International Conference on  Algebra and Coalgebra in Computer Science
Aug 31, 2021 - Sep 3, 2021 Salzburg, Austria Jun 3, 2021
FCT 2021 23rd International Symposium on Fundamentals of Computation Theory
Sep 12, 2021 - Sep 15, 2021 Athens, Greece May 16, 2021 (May 9, 2021)
KGSR 2021 Special Issue Knowledge Graphs for Search and Recommendation
N/A N/A Feb 28, 2021
AMAI 2021 Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
N/A N/A Jan 31, 2021
FSEN 2021 9th IPM International Conference on Fundamentals of Software Engineering
May 19, 2021 - May 21, 2021 Tehran Nov 1, 2020 (Oct 18, 2020)
LATA 2020 & 2021 14th International Conference on Language and Automata Theory and Applications
Mar 1, 2021 - Mar 5, 2021 Milan Oct 19, 2020
TACAS 2021 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 27, 2021 - Apr 1, 2021 Luxembourg Oct 15, 2020
CS&SE@SW 2020 3rd Computer Science & Software Engineering Student Workshop
Nov 27, 2020 - Nov 27, 2020 Kryvyi Rih, Ukraine Sep 15, 2020
RP 2020 14th International Conference on Reachability Problems (RP'20)
Oct 19, 2020 - Oct 21, 2020 Paris, France Jul 17, 2020
SBMF 2020 23rd Brazilian Symposium on Formal Methods
Nov 25, 2020 - Nov 27, 2020 Ouro Preto / Brazil Jul 17, 2020 (Jul 10, 2020)
GandALF 2020 11th International Symposium on Games, Automata, Logics, and Formal Verification
Sep 21, 2020 - Sep 23, 2020 Brussels, Belgium Jul 5, 2020 (Jun 30, 2020)
EXPRESS/SOS 2020 Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Aug 31, 2020 - Aug 31, 2020 Vienna, Austria Jun 26, 2020
ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing
Dec 2, 2020 - Dec 4, 2020 Macao Jun 26, 2020 (Jun 22, 2020)
DCFS 2020 22nd International Conference on Descriptional Complexity of Formal Systems
N/A paper publication in Springer LNCS Jun 15, 2020
TQC 2020 15th Conference on the Theory of Quantum Computation, Communication and Cryptography
Jun 9, 2020 - Jun 12, 2020 Riga, Latvia Feb 15, 2020
CSR 2020 15th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA
Jun 29, 2020 - Jul 3, 2020 Yekaterinburg Feb 13, 2020
ICALP 2020 47th International Colloquium on Automata, Languages and Programming
Jul 8, 2020 - Jul 12, 2020 Beijing, China Feb 12, 2020
first | previous | Page 1 | next | last Total of 220 CFPs in 11 pages