| Event | When | Where | Deadline | |
| 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) |
| LICS 2013 |
28th Annual ACM/IEEE Symposium on Logic In Computer Science | |
| Jun 25, 2013 - Jun 28, 2013 |
New Orleans, USA |
Jan 14, 2013 (Jan 7, 2013) |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| Haskell 2013 |
ACM SIGPLAN Haskell Symposium 2013 | |
| Sep 23, 2013 - Sep 24, 2013 |
Boston, MA, USA |
Jun 14, 2013 (Jun 12, 2013) |
| POPL 2014 |
Symposium on Principles of Programming Languages | |
| Jan 22, 2014 - Jan 24, 2014 |
The US Grant, San Diego, CA, USA |
Jul 12, 2013 (Jul 5, 2013) |
| VMCAI 2014 |
Verification, Model Checking, and Abstract Interpretation | |
| Jan 19, 2014 - Jan 21, 2014 |
San Diego |
Sep 18, 2013 (Sep 11, 2013) |
| TACAS 2014 |
Tools and Algorithms for Construction and Analysis of Systems | |
| Apr 5, 2014 - Apr 13, 2014 |
Grenoble |
Oct 11, 2013 (Oct 4, 2013) |
| FM 2014 |
International Symposium on Formal Methods | |
| May 12, 2014 - May 16, 2014 |
Singapore |
Nov 14, 2013 (Nov 7, 2013) |
| FLOPS 2014 |
International Symposium on Functional and Logic Programming | |
| Jun 4, 2014 - Jun 6, 2014 |
Kanazawa, Japan |
Dec 13, 2013 |
| LICS 2014 |
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jul 14, 2014 - Jul 18, 2014 |
Vienna, Austria |
Jan 20, 2014 (Jan 13, 2014) |
| IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
| Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
| ITP 2014 |
International Conference on Interactive Theorem Proving | |
| Jul 14, 2014 - Jul 17, 2014 |
Vienna |
Jan 31, 2014 (Jan 24, 2014) |
| ICFP 2014 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 1, 2014 - Sep 3, 2014 |
Gothenburg, Sweden |
Mar 1, 2014 |
| ETAPS 2015 |
European Joint Conferences on Theory and Practice of Software | |
| Apr 11, 2015 - Apr 18, 2015 |
London, UK |
Oct 18, 2014 (Oct 10, 2014) |
| CAV 2015 |
27th International Conference on Computer Aided Verification | |
| Jul 18, 2015 - Jul 24, 2015 |
san francisco |
Feb 6, 2015 |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
| ICFP 2015 |
The 20th ACM SIGPLAN International Conference on Functional Programming | |
| Aug 1, 2015 - Sep 2, 2015 |
Vancouver, British Columbia, Canada |
Feb 27, 2015 |
| CSL 2015 |
COMPUTER SCIENCE LOGIC | |
| Sep 7, 2015 - Sep 10, 2015 |
Berlin |
Apr 10, 2015 (Apr 3, 2015) |
| ETAPS 2017 |
European Joint Conferences on Theory and Practice of software | |
| Apr 22, 2017 - Apr 29, 2017 |
Uppsala, Sweden |
Oct 21, 2016 (Oct 14, 2016) |
