| Event | When | Where | Deadline | |
| FMCAD 2012 |
Formal Methods in Computer-Aided Design | |
| Oct 22, 2012 - Oct 25, 2012 |
Microsoft Research Cambridge, UK |
May 20, 2012 (May 9, 2012) |
| AVOCS 2012 |
International Workshop on Automated Verification of Critical Systems | |
| Sep 18, 2012 - Sep 20, 2012 |
Bamberg, Germany |
Jun 6, 2012 |
| ICCDE 2012 |
2012 International Conference on Computer Design and Engineering | |
| Sep 1, 2012 - Sep 2, 2012 |
Phuket Island, Thailand |
Jul 10, 2012 |
| IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
| N/A |
N/A |
Jul 18, 2012 |
| ICSEC 2012 |
International Computer Science and Engineering Conference | |
| Oct 17, 2012 - Oct 19, 2012 |
Pattaya, Thailand |
Jul 31, 2012 |
| ITCS 2013 |
Innovations in Theoretical Computer Science | |
| Jan 9, 2013 - Jan 12, 2013 |
Berkeley, CA, USA |
Aug 13, 2012 |
| ICSE 2013 |
International Conference on Software Engineering | |
| May 18, 2013 - May 26, 2013 |
San Francisco, USA |
Aug 17, 2012 |
| ICCSM 2012 |
2012 2nd International Conference on Computer and Software Modeling | |
| Oct 20, 2012 - Oct 21, 2012 |
Cochin, India |
Aug 20, 2012 |
| ITSE 2012 |
2012 International Conference on Information Technology and Software Engineering | |
| Dec 8, 2012 - Dec 10, 2012 |
Beijing, China |
Aug 31, 2012 (Aug 15, 2012) |
| MTV 2012 |
13th International Workshop on Microprocessor Test and Verification | |
| Dec 10, 2012 - Dec 13, 2012 |
Austin, TX, USA |
Sep 1, 2012 |
| ICCTD 2012 |
2012 4th International Conference on Computer Technology and Development | |
| Nov 24, 2012 - Nov 25, 2012 |
Bangkok, Thailand |
Sep 5, 2012 |
| FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
| DATE 2013 |
Design Automation and Test in Europe | |
| Mar 19, 2013 - Mar 22, 2013 |
Grenoble, France |
Sep 14, 2012 (Sep 9, 2012) |
| VVEM 2012 |
Workshop on Verification and Validation of Epidemiological Models | |
| Dec 14, 2012 - Dec 16, 2012 |
Washington, DC |
Sep 15, 2012 |
| ICST 2013 |
6th IEEE International Conference on Software Testing, Verification, and Validation | |
| Mar 18, 2013 - Mar 22, 2013 |
Luxembourg |
Sep 17, 2012 |
| STACS 2013 |
30th International Symposium on Theoretical Aspects of Computer Science | |
| Feb 27, 2013 - Mar 2, 2013 |
Kiel, Germany |
Sep 21, 2012 |
| FOSSACS 2013 |
16th International Conference on Foundations of Software Science and Computation Structures | |
| Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
| FASE 2013 |
16th International Conference on Fundamental Approaches to Software Engineering | |
| Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
| TACAS 2013 |
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | |
| Mar 16, 2013 - Mar 24, 2013 |
Rome |
Oct 14, 2012 (Oct 7, 2012) |
| ICCSIT 2012 |
2012 5th International Conference on Computer Science and Information Technology | |
| Dec 29, 2012 - Dec 30, 2012 |
Hong Kong |
Oct 20, 2012 |
|
