| Event | When | Where | Deadline | | | Expired CFPs |
| MPC 2012 |
Mathematics of Program Construction | |
| Jun 25, 2012 - Jun 27, 2012 |
Madrid |
Jan 16, 2012 (Jan 9, 2012) |
| Bytecode 2012 |
Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation | |
| Mar 31, 2012 - Mar 31, 2012 |
Tallinn, Estonia |
Jan 4, 2012 |
| QAPL 2012 |
Tenth Workshop on Quantitative Aspects of Programming Languages | |
| Mar 31, 2012 - Apr 1, 2012 |
Tallinn, Estonia |
Dec 20, 2011 (Dec 17, 2011) |
| NFM 2012 |
Fourth NASA Formal Methods Symposium | |
| Apr 3, 2012 - Apr 5, 2012 |
Norfolk, Virginia, USA |
Dec 11, 2011 |
| ETS 2012 |
17th IEEE European Test Symposium | |
| May 28, 2012 - Jun 1, 2012 |
ANNECY, FRANCE - IMPERIAL PALACE |
Dec 5, 2011 |
| ICST 2012 |
IEEE Fifth International Conference on Software Testing, Verification and Validation | |
| Apr 18, 2012 - Apr 22, 2012 |
Montreal, Canada |
Nov 4, 2011 (Oct 28, 2011) |
| MBMV 2012 |
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
| Mar 5, 2012 - Mar 7, 2012 |
Kaiserslautern, Germany |
Oct 28, 2011 |
| TACAS 2012 |
18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Mar 24, 2012 - Apr 1, 2012 |
Tallinn, Estonia |
Oct 14, 2011 (Oct 7, 2011) |
| HSCC 2012 |
Hybrid Systems: Computation and Control 2012 | |
| Apr 17, 2012 - Apr 19, 2012 |
Beijing, China |
Oct 14, 2011 |
| MMB+DFT 2012 |
16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” | |
| Mar 19, 2012 - Mar 21, 2012 |
Kaiserslautern, Germany |
Oct 14, 2011 |
| CRTS 2011 |
4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems | |
| Nov 29, 2011 - Nov 29, 2011 |
Vienna, Austria |
Sep 16, 2011 |
| V2CS 2011 |
V2CS'2011: First international workshop on Verification and Validation of multi-agent models for Complex Systems | |
| Nov 17, 2011 - Nov 18, 2011 |
Paris |
Sep 15, 2011 |
| DATE 2012 |
Design, Automation and Test in Europe | |
| Mar 12, 2012 - Mar 16, 2012 |
Dresden - Germany |
Sep 11, 2011 |
| MTV 2011 |
12th International Workshop on Microprocessor Test and Verification | |
| Dec 5, 2011 - Dec 7, 2011 |
Austin, USA |
Sep 1, 2011 |
| VSTTE 2012 |
Verified Software: Theories, Tools and Experiments | |
| Jan 28, 2012 - Jan 29, 2012 |
Philadelphia, USA |
Aug 31, 2011 |
| HVC 2011 |
Haifa Verification Conference 2011 | |
| Dec 5, 2011 - Dec 8, 2011 |
Haifa, Israel |
Aug 24, 2011 |
| VMCAI 2012 |
13th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 22, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Aug 19, 2011 (Aug 12, 2011) |
| ASP-DAC 2012 |
17th Asia and South Pacific Design Automation Conference | |
| Jan 30, 2012 - Feb 2, 2012 |
Sydney, Australia |
Jul 19, 2011 |
| INFINITY 2011 |
13th International Workshop on Verification of Infinite-State Systems | |
| Oct 10, 2011 - Oct 10, 2011 |
Taipei, Taiwan |
Jun 20, 2011 |
| AVOCS 2011 |
11th International Workshop on Automated Verification of Critical Systems | |
| Sep 12, 2011 - Sep 15, 2011 |
Newcastle upon Tyne |
Jun 13, 2011 |
|
