| 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 |
| CONCUR 2010 |
21st International Conference on Concurrency Theory | |
| Aug 31, 2010 - Sep 3, 2010 |
Paris, France |
Apr 15, 2010 (Apr 8, 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 |
| FCT 2011 |
18th International Symposium on Fundamentals of Computation Theory | |
| Aug 22, 2011 - Aug 25, 2011 |
Oslo, Norway |
Apr 5, 2011 |
| CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
| Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
| MFCS 2011 |
36th International Symposium on Mathematical Foundations of Computer Science | |
| Aug 22, 2011 - Aug 26, 2011 |
Warsaw, Poland |
Apr 15, 2011 |
| SBLP 2011 |
15th Brazilian Symposium on Programming Languages | |
| Sep 26, 2011 - Sep 30, 2011 |
São Paulo - SP, Brazil |
Apr 29, 2011 (Apr 22, 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) |
| WS-FM 2011 |
8th International Workshop on Web Services and Formal Methods | |
| Sep 1, 2011 - Sep 2, 2011 |
Clermont-Ferrand, France |
Jun 12, 2011 (Jun 5, 2011) |
| APLAS 2011 |
Asian Symposium on Programming Languages and Systems | |
| Dec 5, 2011 - Dec 7, 2011 |
Kenting, Taiwan |
Jun 17, 2011 (Jun 13, 2011) |
| FACS 2011 |
8th International Symposium on Formal Aspects of Component Software | |
| Sep 14, 2011 - Sep 16, 2011 |
Oslo, Norway |
Jun 26, 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) |
