| Event | When | Where | Deadline | |
| CSSim 2012 |
CSSim 2012 : 3rd International Conference on Computer Modelling and Simulation | |
| Sep 3, 2012 - Sep 5, 2012 |
Brno, Czech Republic |
Jun 8, 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) |
| ICPADS 2012 |
IEEE 18th International Conference on Parallel and Distributed Systems | |
| Dec 17, 2012 - Dec 19, 2012 |
Singapore |
Jun 15, 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) |
| PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
| Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
| SEW 2012 |
35th IEEE Software Engineering Workshop | |
| Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
| HLDVT 2012 |
IEEE International High-Level Design, Validation and Test Workshop | |
| Nov 9, 2012 - Nov 10, 2012 |
Huntington Beach, California |
Jul 6, 2012 (Jun 29, 2012) |
| IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
| N/A |
N/A |
Jul 18, 2012 |
| ICSCE 2012 |
2012 International Conference on Software and Computer Engineering | |
| Oct 5, 2012 - Oct 7, 2012 |
Singapore |
Jul 25, 2012 |
| FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
| EAS 2012 |
International Conference on Engineering and Applied Science | |
| Dec 27, 2012 - Dec 29, 2012 |
Colombo, Sri Lanka |
Sep 30, 2012 |
|
