| Event | When | Where | Deadline | |
| SEW 2012 |
35th IEEE Software Engineering Workshop | |
| Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
| IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
| N/A |
N/A |
Jul 18, 2012 |
| FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
|
