Event | When | Where | Deadline | |
LATA 2010 |
4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
May 24, 2010 - May 28, 2010 |
Trier, Germany |
Dec 3, 2009 |
DCDS 2011 |
3rd International Workshop on Dependable Control of Discrete Systems | |
Jun 15, 2011 - Jun 17, 2011 |
Saarbrücken, Germany |
Jan 18, 2011 |
ETFA 2013 |
18th IEEE International Conference on Emerging Technologies & Factory Automation | |
Sep 10, 2013 - Sep 13, 2013 |
Cagliari, Italy |
Mar 15, 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) |
WODES 2014 |
IEEE International Workshop on Discrete Event Systems | |
May 14, 2014 - May 16, 2014 |
ENS Cachan |
Nov 8, 2013 |
|