Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
AMAI 2021 Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
N/A N/A Jan 31, 2021
DCFS 2021 23rd International Conference on Descriptional Complexity of Formal Systems
Jun 21, 2021 - Jun 24, 2021 Seoul, South Korea Feb 15, 2021
KGSR 2021(new) Special Issue Knowledge Graphs for Search and Recommendation
N/A N/A Feb 28, 2021
Expired CFPs
IJRAP 2021 International Journal of Recent advances in Physics
N/A N/A Jan 23, 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)
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
first | previous | Page 1 | next | last Total of 217 CFPs in 11 pages