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 |
MSVVEIS 2012 |
10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012 | |
Jun 28, 2012 - Jun 28, 2012 |
Wrocław, Poland |
Mar 30, 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) |
FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 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) |
PDMC 2012 |
11th International Workshop on Parallel and Distributed Methods in verifiCation | |
Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jun 1, 2012 (May 25, 2012) |
PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
|