| Event | When | Where | Deadline | |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| SafeComp 2012 |
SafeComp 2012 - The 31st International Conference on Computer Safety, Reliability and Security | |
| Sep 25, 2012 - Sep 28, 2012 |
Magdeburg, Germany |
Feb 19, 2012 (Feb 5, 2012) |
| CCSEA 2012 |
The Second International Conference On Computer Science, Engineering And Applications | |
| May 26, 2012 - May 27, 2012 |
Delhi, India |
Mar 20, 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 |
| SNPD 2012 |
13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | |
| Aug 8, 2012 - Aug 10, 2012 |
Kyoto, Japan |
Apr 2, 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) |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| MoDRE 2012 |
2nd International Model-Driven Requirements Engineering (MoDRE) Workshop at RE 2012 | |
| Sep 24, 2012 - Sep 24, 2012 |
Chicago, Illinois, USA |
May 31, 2012 (May 24, 2012) |
| ONIT 2012 |
4th International IEEE Workshop on Open NGN and IMS Testbeds (ONIT 2012) @ GLOBECOM 2012 | |
| Dec 3, 2012 - Dec 7, 2012 |
Anaheim, California, USA |
Jun 1, 2012 |
|
