Event | When | Where | Deadline | | Expired CFPs |
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 |
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 |
CANT 2009 |
International School on Combinatorics, Automata and Number Theory | |
Jun 1, 2009 - Jun 5, 2009 |
Liege (Lugen), Belgium |
Feb 27, 2009 |
|