| Event | When | Where | Deadline | |
| IWOCA 2022 |
33rd International Workshop on Combinatorial Algorithms | |
| Jun 7, 2022 - Jun 9, 2022 |
Trier, Germany |
Jan 11, 2022 (Jan 6, 2022) |
| CIAA 2022 |
Conference on Implementation and Application of Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Rouen, France |
Feb 20, 2022 |
| CIAA 2022 |
26th International Conference on Implementation and Application of Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Rouen, France |
Feb 20, 2022 |
ICFEM 2022 |
23th International Conference on Formal Engineering Methods | |
| Oct 24, 2022 - Oct 27, 2022 |
Madrid |
Apr 17, 2022 (Apr 10, 2022) |
| LATIN 2022 |
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 |
| 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 |
