| Event | When | Where | Deadline | |
| PSSV 2012 |
Program Semantics, Specification and Verification: Theory and Applications | |
| Jul 1, 2012 - Jul 2, 2012 |
Nizhni Novgorod, Russia |
Mar 25, 2012 |
| FMICS 2012 |
17th International Workshop on Formal Methods for Industrial Critical Systems | |
| Aug 27, 2012 - Aug 28, 2012 |
Paris, France |
Apr 4, 2012 (Mar 28, 2012) |
| GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
|
