| Event | When | Where | Deadline | |
| ACSD 2012 |
12th International Conference on Application of Concurrency to System Design | |
| Jun 27, 2012 - Jun 29, 2012 |
Hamburg, Germany |
Jan 20, 2012 (Jan 13, 2012) |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| MISC 2012 |
2nd International Symposium on Modelling and Implementation of Complex Systems | |
| May 20, 2012 - May 21, 2012 |
Constantine, Algeria |
Feb 20, 2012 |
| ICALP 2012 |
39th International Colloquium on Automata, Languages and Programming | |
| Jul 9, 2012 - Jul 13, 2012 |
Warwick, UK |
Feb 21, 2012 |
| FM 2012 |
18th International Symposium on Formal Methods | |
| Aug 27, 2012 - Aug 31, 2012 |
Paris, France |
Mar 5, 2012 |
| MEMOCODE 2012 |
ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign | |
| Jul 16, 2012 - Jul 18, 2012 |
Arlington, Virginia |
Mar 9, 2012 (Mar 2, 2012) |
| FMSAS 2012 |
First International Workshop on Formal Methods for Self-Adaptive Systems | |
| Jun 27, 2012 - Jun 29, 2012 |
Montreal, QC, Canada |
Mar 28, 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) |
| CSL 2012 |
21th EACSL Annual Conferences on Computer Science Logic | |
| Sep 3, 2012 - Sep 6, 2012 |
Fontainebleau, France |
Apr 9, 2012 (Apr 2, 2012) |
| CONCUR 2012 |
23rd International Conference on Concurrency Theory | |
| Sep 3, 2012 - Sep 8, 2012 |
Newcastle upon Tyne, UK |
Apr 11, 2012 (Apr 4, 2012) |
| LCC 2012 |
13th International Workshop on Logic and Computational Complexity | |
| Jun 24, 2012 - Jun 24, 2012 |
Dubrovnik, Croatia |
Apr 13, 2012 |
| SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
| Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
| SSS 2012 |
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems | |
| Oct 1, 2012 - Oct 4, 2012 |
Toronto, Canada |
Apr 23, 2012 |
| ATVA 2012 |
10th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 3, 2012 - Oct 6, 2012 |
Thiruvananthapuram (Trivandrum), India |
Apr 30, 2012 |
| ICFEM 2012 |
14th International Conference on Formal Engineering Methods | |
| Nov 12, 2012 - Nov 16, 2012 |
Kyoto, Japan |
Apr 30, 2012 (Apr 16, 2012) |
| 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) |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| FMSPLE 2012 |
Third Workshop on Formal Methods and Analysis in Software Product Line Engineering | |
| Sep 2, 2012 - Sep 2, 2012 |
Salvador, Brazil |
Jun 1, 2012 |
| WS-FM 2012 |
9th International Workshop on Web Services and Formal Methods | |
| Sep 6, 2012 - Sep 7, 2012 |
Tallinn, Estonia |
Jun 9, 2012 (Jun 2, 2012) |
| PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
| Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
|
