| Event | When | Where | Deadline | | | Expired CFPs |
| CIAA 2024 |
The 28th International Conference on Implementation and Application of Automata | |
| Sep 3, 2024 - Sep 6, 2024 |
Akita, Japan |
May 3, 2024 |
| AUTOMATA 2024 |
30th International Workshop on Cellular Automata and Discrete Complex Systems | |
| Jul 22, 2024 - Jul 24, 2024 |
Durham, England |
Mar 29, 2024 |
| DCFS 2024 |
Descriptional Complexity of Formal Systems | |
| Jun 25, 2024 - Jun 27, 2024 |
Santa Clara, CA |
Mar 1, 2024 |
| Highlights 2023 |
Highlights of Logic, Games and Automata | |
| Jul 24, 2023 - Jul 28, 2023 |
Kassel, Germany |
Apr 25, 2023 |
| DCFS 2023 |
25th International Conference on Descriptional Complexity of Formal Systems | |
| Jul 4, 2023 - Jul 6, 2023 |
Potsdam, Germany |
Mar 1, 2023 |
| NCMA 2022 |
12th International Workshop on Non-Classical Models of Automata and Applications | |
| Aug 26, 2022 - Aug 27, 2022 |
Debrecen, Hungary |
May 30, 2022 |
| Highlights 2022 |
Highlights of Logic, Games and Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Paris, France |
Mar 18, 2022 |
| CIAA 2022 |
Conference on Implementation and Application of Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Rouen, France |
Feb 28, 2022 |
| GandALF 2021 |
International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 20, 2021 - Sep 22, 2021 |
Padua |
Jul 7, 2021 (Jun 30, 2021) |
| LATA 2020 & 2021 |
14th International Conference on Language and Automata Theory and Applications | |
| Mar 1, 2021 - Mar 5, 2021 |
Milan |
Oct 19, 2020 |
| ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
| ICALP 2021 |
International Colloquium on Automata, Languages and Programming | |
| Jul 12, 2021 - Jul 16, 2021 |
Glasgow, Scotland |
Feb 12, 2021 |
| LATA 2020 |
14th International Conference on Language and Automata Theory and Applications | |
| Mar 2, 2020 - Mar 6, 2020 |
Milan |
Oct 18, 2019 |
| GandAlf 2019 |
The Tenth International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 2, 2019 - Sep 4, 2019 |
Bordeaux, France |
May 19, 2019 (May 15, 2019) |
| LATA 2019 |
13th International Conference on Language and Automata Theory and Applications | |
| Mar 25, 2019 - Mar 29, 2019 |
Saint Petersburg |
Nov 11, 2018 |
| GandALF 2018 |
International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 26, 2018 - Sep 28, 2018 |
Saarbrücken, Germany |
Jun 15, 2018 (Jun 13, 2018) |
| ICTAC 2018 |
15th International Colloquium on Theoretical Aspects of Computing | |
| Oct 16, 2018 - Oct 19, 2018 |
Stellenbosch, South Africa |
May 11, 2018 (May 4, 2018) |
| ICALP 2018 |
International Colloquium on Automata, Languages and Programming | |
| Jul 9, 2018 - Jul 13, 2018 |
Prague, Czech Republic |
Feb 16, 2018 |
| AUTOMATA 2018 |
24th Annual International Workshop on Cellular Automata and Discrete Complex Systems | |
| Jun 20, 2018 - Jun 22, 2018 |
Ghent, Belgium |
Feb 5, 2018 |
| WAPL 2017 |
Workshop on Advances in Programming Languages | |
| Sep 3, 2017 - Sep 6, 2017 |
Prague, Czech Republic |
Mar 31, 2017 (Mar 10, 2017) |
|
