Event | When | Where | Deadline | |
PLACES 2010 |
Programming Language Approaches to Concurrency and communication-cEntric Software | |
Mar 21, 2010 - Mar 21, 2010 |
Paphos, Cyprus |
Jan 15, 2010 |
ICLP 2010 |
International Conference on Logic Programming | |
Jul 16, 2010 - Jul 19, 2010 |
Edinburgh, Scotland, U.K. |
Feb 2, 2010 (Jan 26, 2010) |
COORDINATION 2010 |
12th International Conference on Coordination Models and Languages | |
Jun 7, 2010 - Jun 9, 2010 |
Amsterdam, Netherlands |
Feb 12, 2010 (Feb 8, 2010) |
PPDP 2010 |
The 12th International Symposium on Principles and Practice of Declarative Programming | |
Jul 26, 2010 - Jul 28, 2010 |
Hagenberg, Austria |
Mar 21, 2010 (Mar 15, 2010) |
CP 2010 |
16th International Conference on Principles and Practices of Constraint Programming | |
Sep 6, 2010 - Sep 10, 2010 |
St Andrews, Scotland, UK |
Apr 13, 2010 |
SBLP 2010 |
14th Brazilian Symposium on Programming Languages | |
Sep 27, 2010 - Sep 27, 2010 |
Salvador, Brasil |
May 24, 2010 (May 17, 2010) |
APLAS 2010 |
Asian Symposium on Programming Languages and Systems | |
Nov 29, 2010 - Dec 1, 2010 |
Shanghai |
Jun 14, 2010 (Jun 7, 2010) |
POPL 2011 |
The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 26, 2011 - Jan 28, 2011 |
San, Diego, CA, USA |
Jul 15, 2010 (Jul 8, 2010) |
ICALP 2011 |
The 38th International Colloquium on Automata, Languages and Programming | |
Jul 4, 2011 - Jul 8, 2011 |
Zürich, Switzerland |
Feb 15, 2011 |
CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
FORMATS 2011 |
9th International Conference on Formal Modeling and Analysis of Timed Systems | |
Sep 21, 2011 - Sep 23, 2011 |
Aalborg, Denmark |
May 22, 2011 (May 15, 2011) |
ICTSS (Formely Testcom/Fates) 2011 |
The 23th IFIP International Conference on Testing Software and Systems | |
Nov 7, 2011 - Nov 10, 2011 |
Paris |
May 22, 2011 (May 15, 2011) |
APLAS 2011 |
Asian Symposium on Programming Languages and Systems | |
Dec 5, 2011 - Dec 7, 2011 |
Kenting, Taiwan |
Jun 17, 2011 (Jun 13, 2011) |
POPL 2012 |
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 25, 2012 - Jan 27, 2012 |
Philadelphia, USA |
Jul 12, 2011 (Jul 8, 2011) |
NordSec 2011 |
16th Nordic Conference in Secure IT Systems | |
Oct 26, 2011 - Oct 28, 2011 |
Tallinn, Estonia |
Aug 6, 2011 (Jul 31, 2011) |
VMCAI 2012 |
13th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 22, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Aug 19, 2011 (Aug 12, 2011) |
DASC 2011 |
9th IEEE International Conference on Dependable, Autonomic and Secure Computing | |
Dec 12, 2011 - Dec 14, 2011 |
Sydney, Australia |
Aug 30, 2011 |
PADL 2012 |
Practical Aspects of Declarative Languages 2012 | |
Jan 23, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Sep 17, 2011 (Sep 10, 2011) |
LATIN 2012 |
10th Latin American Theoretical Informatics Symposium | |
Apr 16, 2012 - Apr 20, 2012 |
Arequipa, Peru |
Sep 30, 2011 |
PLDI 2012 |
Programming Language Design and Implementation | |
Jun 11, 2012 - Jun 16, 2012 |
Beijing, China |
Nov 6, 2011 |
|