Event | When | Where | Deadline | |
FMCAD 2013 |
Formal Methods in Computer-Aided Design | |
Oct 20, 2013 - Oct 23, 2013 |
Portland, Oregon |
May 15, 2013 (May 8, 2013) |
FSTTCS 2013 |
Foundations of Software Technology and Theoretical Computer Science | |
Dec 10, 2013 - Dec 14, 2013 |
IIT Guwahati, India |
Jul 15, 2013 (Jul 8, 2013) |
FTSCS 2013 |
Formal Techniques for Safety-Critical Systems 2013 | |
Oct 29, 2013 - Oct 29, 2013 |
Queenstown, New Zealand |
Sep 6, 2013 |
FMCICA 2014 |
Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop | |
Jun 30, 2014 - Jul 3, 2014 |
Guimaraes, Portugal |
Mar 1, 2014 |
WS-FM:FASOCC 2014 |
11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing | |
Sep 11, 2014 - Sep 12, 2014 |
Haifa, Israel |
Jun 9, 2014 |
|