Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
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
LATA 2020 & 2021 14th International Conference on Language and Automata Theory and Applications
Mar 1, 2021 - Mar 5, 2021 Milan Oct 19, 2020
FSEN 2021 9th IPM International Conference on Fundamentals of Software Engineering
May 19, 2021 - May 21, 2021 Tehran Nov 1, 2020 (Oct 18, 2020)
Expired CFPs
CS&SE@SW 2020 3rd Computer Science & Software Engineering Student Workshop
Nov 27, 2020 - Nov 27, 2020 Kryvyi Rih, Ukraine Sep 15, 2020
SBMF 2020 23rd Brazilian Symposium on Formal Methods
Nov 25, 2020 - Nov 27, 2020 Ouro Preto / Brazil Jul 17, 2020 (Jul 10, 2020)
RP 2020 14th International Conference on Reachability Problems (RP'20)
Oct 19, 2020 - Oct 21, 2020 Paris, France Jul 17, 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)
ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing
Dec 2, 2020 - Dec 4, 2020 Macao Jun 26, 2020 (Jun 22, 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
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
LATA 2020 14th International Conference on Language and Automata Theory and Applications
Mar 2, 2020 - Mar 6, 2020 Milan Oct 18, 2019
MATCOS 2019 Middle-European Conference on Applied Theoretical Computer Science
Oct 10, 2019 - Oct 11, 2019 Koper, Slovenia Aug 25, 2019
RP 2019 13th International Conference on Reachability Problems (RP 2019)
Sep 11, 2019 - Sep 13, 2019 BRUSSELS, BELGIUM Jun 17, 2019
Stringology 2019 23rd Prague Stringology Conference
Aug 26, 2019 - Aug 28, 2019 Prague, Czech Republic May 12, 2019
GCM 2019 10th International Workshop on Graph Computation Models
Jul 17, 2019 - Jul 17, 2019 Eindhoven, The Netherlands May 7, 2019 (May 2, 2019)
WORDS 2019 12th International Conference on Words
Sep 9, 2019 - Sep 13, 2019 Loughborough, UK Apr 12, 2019
NCMA 2019 11th International Workshop on Non-Classical Models of Automata and Applications
Jul 2, 2019 - Jul 3, 2019 Valencia, Spain Apr 8, 2019
first | previous | Page 1 | next | last Total of 214 CFPs in 11 pages