| Event | When | Where | Deadline | |
| 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) |
| ILP 2012 |
22nd International Conference on Inductive Logic Programming | |
| Sep 17, 2012 - Sep 19, 2012 |
Dubrovnik |
May 11, 2012 (May 7, 2012) |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
| Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
