Event | When | Where | Deadline | | 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 |
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) |
|