Event | When | Where | Deadline | |
PPoPP 2012 |
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | |
Feb 25, 2012 - Feb 29, 2012 |
New Orleans, Louisiana |
Aug 19, 2011 (Aug 12, 2011) |
POST 2012 |
The First Conference on Principles of Security and Trust | |
Mar 25, 2012 - Mar 31, 2012 |
Tallinn, Estonia |
Oct 14, 2011 (Oct 7, 2011) |
PAPP 2012 |
9th International Workshop on Practical Aspects of High-Level Parallel Programming | |
Jun 4, 2012 - Jun 6, 2012 |
Ohama, USA |
Jan 9, 2012 |
ISSTA 2012 |
International Symposium on Software Testing and Analysis | |
Jul 16, 2012 - Jul 20, 2012 |
Minneapolis, MN, USA |
Feb 3, 2012 |
LCTES 2012 |
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012 | |
Jun 12, 2012 - Jun 13, 2012 |
Beijing, China |
Feb 10, 2012 |
CCC 2013 |
IEEE Conference on Computational Complexity | |
Jun 4, 2013 - Jun 7, 2013 |
Palo Alto, California, USA |
Nov 30, 2012 |
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) |
LPAR 2013 |
Logic for Programming Artificial Intelligence and Reasoning | |
Dec 14, 2013 - Dec 19, 2013 |
Stellenbosch, South Africa |
Aug 2, 2013 (Jul 22, 2013) |
PADL 2014 |
Sixteenth International Symposium on Practical Aspects of Declarative Languages | |
Jan 20, 2014 - Jan 21, 2014 |
San Diego, CA, USA |
Sep 13, 2013 (Sep 6, 2013) |
ESOP 2014 |
European Symposium on Programming (ESOP) | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble |
Oct 11, 2013 (Oct 4, 2013) |
PLDI 2014 |
Programming Language Design and Implementation | |
Jun 9, 2014 - Jun 11, 2014 |
Edinburgh, UK |
Nov 15, 2013 (Nov 8, 2013) |
FLOPS 2014 |
International Symposium on Functional and Logic Programming | |
Jun 4, 2014 - Jun 6, 2014 |
Kanazawa, Japan |
Dec 13, 2013 |
CALCO 2015 |
6th International Conference on Algebra and Coalgebra in Computer Science | |
Jun 24, 2015 - Jun 26, 2015 |
Nijmegen, Netherlands |
Apr 2, 2015 (Mar 22, 2015) |
APLAS 2015 |
13th Asian Symposium on Programming Languages and Systems | |
Nov 30, 2015 - Dec 2, 2015 |
Pohang, Korea |
Jun 5, 2015 |
ICTAC 2015 |
12th International Colloquium on Theoretical Aspects of Computing | |
Oct 29, 2015 - Oct 31, 2015 |
Cali, Colombia |
Jun 19, 2015 (Jun 16, 2015) |
PEPM 2016 |
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION | |
Jan 18, 2016 - Jan 19, 2016 |
St. Petersburg, Florida |
Sep 13, 2015 (Sep 8, 2015) |
PADL 2016 |
Practical Aspects of Declarative Languages | |
Jan 18, 2016 - Jan 19, 2016 |
St. Petersburg Florida, United States |
Sep 27, 2015 (Sep 18, 2015) |
FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
FASE 2016 |
International Conference on Fundamental Approaches to Software Engineering | |
Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |