| Event | When | Where | Deadline | |
| TYPES 2013 |
Types for Proofs and Programs | |
| Apr 23, 2013 - Apr 26, 2013 |
Toulouse, France |
Feb 25, 2013 |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| SPLASH 2013 |
Conference on Systems, Programming, Languages and Applications: Software for Humanity | |
| Oct 26, 2013 - Oct 31, 2013 |
Indianapolis |
Mar 28, 2013 (Mar 22, 2013) |
| ICLP 2015 |
31st International Conference on Logic Programming | |
| Aug 31, 2015 - Sep 4, 2015 |
Cork, Ireland |
Apr 27, 2015 (Apr 20, 2015) |
| VMCAI 2016 |
17th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 17, 2016 - Jan 19, 2016 |
St. Petersburg, Florida, United States |
Sep 11, 2015 (Sep 4, 2015) |
| Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
| ICALP 2016 |
43rd International Colloquium on Automata, Languages, and Programming | |
| Jul 11, 2016 - Jul 15, 2016 |
Rome |
Feb 17, 2016 |
| NFM 2016 |
NASA Formal Methods Symposium | |
| Jun 7, 2016 - Jun 9, 2016 |
Mineapolis, MN, USA |
Feb 19, 2016 |
| SPLASH 2016 |
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) | |
| Oct 30, 2016 - Nov 4, 2016 |
Amsterdam, Netherlands |
Mar 23, 2016 |
| OOPSLA 2016 |
Object-oriented Programming, Systems, Languages, and Applications | |
| Oct 30, 2016 - Nov 4, 2016 |
Amsterdam, Netherlands |
Mar 23, 2016 |
| SAS 2016 |
23rd Static Analysis Symposium | |
| Sep 8, 2016 - Sep 10, 2016 |
Edinburgh |
Apr 10, 2016 (Apr 3, 2016) |
| FM 2016 |
21st International Symposium on Formal Methods | |
| Nov 7, 2016 - Nov 11, 2016 |
Limassol, Cyprus |
May 30, 2016 (May 16, 2016) |
|
