| Event | When | Where | Deadline | |
| GandALF 2021 |
International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 20, 2021 - Sep 22, 2021 |
Padua |
Jun 30, 2021 (Jun 23, 2021) |
| Expired CFPs |
| 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) |
| ICALP 2016 |
43rd International Colloquium on Automata, Languages, and Programming | |
| Jul 11, 2016 - Jul 15, 2016 |
Rome |
Feb 17, 2016 |
| GandALF 2015 |
The Sixth International Symposium on Games, Automata, Logics and Formal Verification | |
| Sep 21, 2015 - Sep 23, 2015 |
Genova |
May 29, 2015 (May 22, 2015) |
| CSL 2015 |
COMPUTER SCIENCE LOGIC | |
| Sep 7, 2015 - Sep 10, 2015 |
Berlin |
Apr 10, 2015 (Apr 3, 2015) |
| Numeration 2015 |
Numeration | |
| May 18, 2015 - May 22, 2015 |
Vandoeuvre-lès-Nancy, France |
Mar 3, 2015 |
| DCFS 2015 |
DCFS 2015 (Descriptional Complexity of Formal Systems), Waterloo, Ontario, June 25-27 2015 | |
| Jun 25, 2015 - Jun 27, 2015 |
Waterloo, Ontario, Canada |
Mar 1, 2015 |
| AFCA 2014 |
2nd International Workshop on Applications and Fundamentals of Cellular Automata | |
| Dec 10, 2014 - Dec 12, 2014 |
Mt. Fuji, Shizuoka, Japan |
Sep 17, 2014 (Sep 10, 2014) |
| WODES 2014 |
IEEE International Workshop on Discrete Event Systems | |
| May 14, 2014 - May 16, 2014 |
ENS Cachan |
Nov 8, 2013 |
| HSCC 2014 |
International Conference on Hybrid Systems: Computation and Control | |
| Apr 15, 2014 - Apr 17, 2014 |
Berlin |
Oct 14, 2013 |
|
