Event | When | Where | Deadline | |
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) |
SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
ATVA 2012 |
10th International Symposium on Automated Technology for Verification and Analysis | |
Oct 3, 2012 - Oct 6, 2012 |
Thiruvananthapuram (Trivandrum), India |
Apr 30, 2012 |
ICFEM 2012 |
14th International Conference on Formal Engineering Methods | |
Nov 12, 2012 - Nov 16, 2012 |
Kyoto, Japan |
Apr 30, 2012 (Apr 16, 2012) |
FORMATS 2012 |
10th International Conference on Formal Modeling and Analysis of Timed Systems | |
Sep 18, 2012 - Sep 20, 2012 |
London |
May 11, 2012 (May 7, 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) |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
PPDP 2012 |
14th International Symposium on Principles and Practice of Declarative Programming | |
Sep 19, 2012 - Sep 21, 2012 |
Leuven, Belgium |
May 31, 2012 (May 28, 2012) |
FMSPLE 2012 |
Third Workshop on Formal Methods and Analysis in Software Product Line Engineering | |
Sep 2, 2012 - Sep 2, 2012 |
Salvador, Brazil |
Jun 1, 2012 |
AVOCS 2012 |
International Workshop on Automated Verification of Critical Systems | |
Sep 18, 2012 - Sep 20, 2012 |
Bamberg, Germany |
Jun 6, 2012 |
SLE 2012 |
5th International Conference on Software Language Engineering | |
Sep 25, 2012 - Sep 28, 2012 |
Dresden, Germany |
Jun 11, 2012 (Jun 4, 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) |
CPA 2012 |
Communicating Process Architectures | |
Aug 26, 2012 - Aug 29, 2012 |
Dundee, Scotland |
Jun 17, 2012 |
TTSDP 2012 |
4th International Workshop on “Tools and Techniques in Software Development Process | |
Jun 18, 2012 - Jun 21, 2012 |
Salvador de Bahia, Brazil |
Jun 20, 2012 (Feb 20, 2012) |
SEW 2012 |
35th IEEE Software Engineering Workshop | |
Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
FSTTCS 2012 |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
Dec 15, 2012 - Dec 17, 2012 |
Hyderabad, India |
Jul 13, 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 |
PLDI 2013 |
34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation | |
Jun 16, 2013 - Jun 21, 2013 |
Seattle, Washington, USA |
Nov 11, 2012 |