Event | When | Where | Deadline | |
DisCoTec 2012 |
Deadline Extended: DisCoTec 2012, Stockholm, Sweden (COORDINATION + DAIS + FMOODS/FORTE) | |
Jun 13, 2012 - Jun 16, 2012 |
Stockholm, Sweden |
Feb 27, 2012 (Feb 20, 2012) |
FORMATS 2012 |
10th International Conference on Formal Modeling and Analysis of Timed Systems | |
Sep 18, 2012 - Sep 20, 2012 |
London |
May 11, 2012 (May 7, 2012) |
FACS 2012 |
9th International Symposium on Formal Aspects of Component Software | |
Sep 12, 2012 - Sep 14, 2012 |
Mountain View, USA |
Jun 15, 2012 (Jun 8, 2012) |
TACAS 2014 |
Tools and Algorithms for Construction and Analysis of Systems | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble |
Oct 11, 2013 (Oct 4, 2013) |
|