| Event | When | Where | Deadline | | | Expired CFPs |
| QAPL 2013 |
11th International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Mar 23, 2013 - Mar 24, 2013 |
Rome, Italy, at ETAPS 2013 |
Dec 20, 2012 (Dec 16, 2012) |
| NFM 2013 |
5th NASA Formal Methods Symposium | |
| May 14, 2013 - May 16, 2013 |
Moffett Field, CA, USA |
Dec 16, 2012 (Dec 7, 2012) |
| FOSSACS 2013 |
16th International Conference on Foundations of Software Science and Computation Structures | |
| Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
| ICST 2013 |
6th IEEE International Conference on Software Testing, Verification, and Validation | |
| Mar 18, 2013 - Mar 22, 2013 |
Luxembourg |
Sep 17, 2012 |
| VVEM 2012 |
Workshop on Verification and Validation of Epidemiological Models | |
| Dec 14, 2012 - Dec 16, 2012 |
Washington, DC |
Sep 15, 2012 |
| DATE 2013 |
Design Automation and Test in Europe | |
| Mar 19, 2013 - Mar 22, 2013 |
Grenoble, France |
Sep 14, 2012 (Sep 9, 2012) |
| FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
| MTV 2012 |
13th International Workshop on Microprocessor Test and Verification | |
| Dec 10, 2012 - Dec 13, 2012 |
Austin, TX, USA |
Sep 1, 2012 |
| NITRD 2012 |
NITRD National Workshop on The New Clockwork for Time-Critical Systems | |
| Oct 25, 2012 - Oct 26, 2012 |
Baltimore, MD |
Aug 20, 2012 |
| ACES-MB 2012 |
CfP MoDELS 2012 Workshop on Model Based Architecting and Construction of Embedded Systems | |
| Sep 30, 2012 - Sep 30, 2012 |
Innsbruck, Austria |
Jul 26, 2012 |
| PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
| Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
| CPP 2012 |
The Second International Conference on Certified Programs and Proofs | |
| Dec 13, 2012 - Dec 15, 2012 |
Kyoto, Japan |
Jun 15, 2012 (Jun 8, 2012) |
| RSP 2012 |
23rd IEEE International Symposium on Rapid System Prototyping | |
| Oct 11, 2012 - Oct 12, 2012 |
Tampere, Finland |
Jun 8, 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) |
| 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) |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| ForMASECC 2012 |
Workshop on Formal Methods and Automated Software Engineering for Cloud Computing | |
| Sep 4, 2012 - Sep 7, 2012 |
Fukuoka |
May 7, 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) |
| 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 |
| PSSV 2012 |
Program Semantics, Specification and Verification: Theory and Applications | |
| Jul 1, 2012 - Jul 2, 2012 |
Nizhni Novgorod, Russia |
Mar 25, 2012 |
|
