| Event | When | Where | Deadline | |
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) |
| Expired CFPs |
| 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 |
| GandALF 2013 |
4th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Aug 29, 2013 - Aug 31, 2013 |
Borca di Cadore |
May 19, 2013 (May 13, 2013) |
| FSTTCS 2012 |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
| Dec 15, 2012 - Dec 17, 2012 |
Hyderabad, India |
Jul 13, 2012 |
| TTATT 2012 |
1st International Workshop on Trends in Tree Automata and Tree Transducers | |
| Jun 2, 2012 - Jun 2, 2012 |
Nagoya, Japan |
Feb 25, 2012 |
| FSTTCS 2010 |
Foundations of Software Technology and Theoretical Computer Science | |
| Dec 15, 2010 - Dec 18, 2010 |
Chennai, India |
Jul 7, 2010 |
| LATA 2010 |
4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| May 24, 2010 - May 28, 2010 |
Trier, Germany |
Dec 3, 2009 |
|
