| Event | When | Where | Deadline | |
| 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 |
| 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) |
| Petri Nets 2013 |
34th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY | |
| Jun 26, 2013 - Jun 28, 2013 |
Milano, Italy |
Jan 15, 2013 (Jan 10, 2013) |
| ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| CONCUR 2013 |
International Conference on Concurrency Theory | |
| Aug 27, 2013 - Aug 30, 2013 |
University of Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 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) |
| STACS 2014 |
31st International Symposium on Theoretical Aspects of Computer Science | |
| Mar 5, 2014 - Mar 8, 2014 |
Lyon, France |
Sep 20, 2013 |
| PLDI 2014 |
Programming Language Design and Implementation | |
| Jun 9, 2014 - Jun 11, 2014 |
Edinburgh, UK |
Nov 15, 2013 (Nov 8, 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) |
| ICALP 2014 |
International Colloquium on Automata, Languages and Programming | |
| Jul 7, 2014 - Jul 11, 2014 |
IT University of Copenhagen |
Feb 14, 2014 |
| ICFP 2014 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 1, 2014 - Sep 3, 2014 |
Gothenburg, Sweden |
Mar 1, 2014 |
| ATVA 2014 |
International Symposium on Automated Technology for Verification and Analysis | |
| Nov 3, 2014 - Nov 7, 2014 |
Sydney |
Apr 15, 2014 |
| CONCUR 2014 |
The 25th International Conference on Concurrency Theory | |
| Sep 1, 2014 - Sep 6, 2014 |
Rome, Italy |
Apr 19, 2014 (Apr 14, 2014) |
| APLAS 2014 |
Asian Symposium on Programming Languages and Systems | |
| Nov 17, 2014 - Nov 19, 2014 |
Singapore |
Jun 2, 2014 (May 26, 2014) |
|
