| Event | When | Where | Deadline | | | Expired CFPs |
| AutoMathA 2015 |
Jewels of Automata: from Mathematics to Applications | |
| May 6, 2015 - May 9, 2015 |
Leipzig, Germany |
Jan 31, 2015 |
| GandALF 2014 |
5th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 10, 2014 - Sep 12, 2014 |
Verona |
Jun 1, 2014 (May 27, 2014) |
| AFL 2014 |
Automata and Formal Languages | |
| May 27, 2014 - May 29, 2014 |
Szeged, Hungary |
Mar 14, 2014 |
| MCU 2013 |
Machines, Computations and Universality | |
| Sep 9, 2013 - Sep 12, 2013 |
Zürich, Switzerland |
Apr 30, 2013 |
| CIAA 2013 |
18th International Conference on Implementation and Application of Automata | |
| Jul 16, 2013 - Jul 19, 2013 |
Halifax, Nova Scotia, Canada |
Mar 10, 2013 |
| ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| CCSEIT 2013 |
Third International Conference on Computational Science, Engineering and Information Technology | |
| Jun 7, 2013 - Jun 9, 2013 |
Konya, Turkey |
Dec 30, 2012 |
| LATA 2013 |
7th International Conference on Language and Automata Theory and Applications | |
| Apr 2, 2013 - Apr 5, 2013 |
Bilbao, Spain |
Nov 9, 2012 |
| GAMES 2012 |
Annual Workshop of the ESF Networking Programme on Games for Design and Verification | |
| Sep 7, 2012 - Sep 12, 2012 |
Napoli, Italy |
Jun 27, 2012 |
| GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
| FSMNLP 2011 |
9th International Workshop on Finite-State Methods and Natural Language Processing | |
| Jul 12, 2011 - Jul 15, 2011 |
Blois, France |
Apr 15, 2011 |
| DLT 2011 |
15th International Conference on Developments in Language Theory | |
| Jul 19, 2011 - Jul 22, 2011 |
Milano (Italy) |
Feb 21, 2011 |
| Infinity 2010 |
The 12th International Workshop on Verification of Infinite-State Systems | |
| Sep 21, 2010 - Sep 21, 2010 |
Singapore |
Jun 15, 2010 |
| ICALP 2010 |
International Colloquium on Automata, Languages and Programming | |
| Jul 5, 2010 - Jul 12, 2010 |
Bordeaux France |
Feb 10, 2010 |
| CIAA 2009 |
14th International Conference on Implementation and Application of Automata | |
| Jul 14, 2009 - Jul 17, 2009 |
Sydney, Australia |
Mar 16, 2009 |
| ICALP 2008 |
International Colloquium on Automata, Languages and Programming | |
| Jul 6, 2008 - Jul 13, 2008 |
Reykjavik |
Feb 10, 2008 |
|
