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 |
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) |
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) |
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) |
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) |
Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
CC 2016 |
25th International Conference on Compiler Construction | |
Mar 17, 2016 - Mar 18, 2016 |
Barcelona, Spain |
Nov 20, 2015 (Nov 13, 2015) |
CSR 2016 |
11th International Computer Science Symposium in Russia | |
Jun 9, 2016 - Jun 13, 2016 |
St. Petersburg, Russia |
Dec 11, 2015 |
QAPL 2016 |
Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
Apr 2, 2016 - Apr 3, 2016 |
Eindhoven, The Netherlands |
Jan 8, 2016 |
CAV 2016 |
International Conference on Computer Aided Verification | |
Jul 17, 2016 - Jul 23, 2016 |
Toronto, Canada |
Jan 29, 2016 (Jan 24, 2016) |