Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
Highlights 2022 Highlights of Logic, Games and Automata
Jun 28, 2022 - Jul 1, 2022 Paris, France Mar 18, 2022
HPlan 2022 ICAPS Hierarchical Planning Workshop
Jun 20, 2022 - Jun 21, 2022 Singapore Mar 18, 2022
CIAA 2022 Conference on Implementation and Application of Automata
Jun 28, 2022 - Jul 1, 2022 Rouen, France Feb 28, 2022
CIAA 2022 26th International Conference on Implementation and Application of Automata
Jun 28, 2022 - Jul 1, 2022 Rouen, France Feb 20, 2022
IWOCA 2022 33rd International Workshop on Combinatorial Algorithms
Jun 7, 2022 - Jun 9, 2022 Trier, Germany Jan 11, 2022 (Jan 6, 2022)
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
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
first | previous | Page 2 | next | last Total of 248 CFPs in 13 pages