| Event | When | Where | Deadline | |
| TCS 2012 |
IFIP Theoretical Computer Science 2012 | |
| Sep 26, 2012 - Sep 28, 2012 |
Amsterdam, The Netherlands |
May 1, 2012 |
| WoLLIC 2012 |
19th Workshop on Logic, Language, Information and Computation | |
| Sep 3, 2012 - Sep 6, 2012 |
Buenos Aires, Argentina |
May 4, 2012 (Apr 27, 2012) |
| STACS 2013 |
30th International Symposium on Theoretical Aspects of Computer Science | |
| Feb 27, 2013 - Mar 2, 2013 |
Kiel, Germany |
Sep 21, 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) |
| RTA 2013 |
24th International Conference on Rewriting Techniques and Applications | |
| Jun 24, 2013 - Jun 26, 2013 |
Eindhoven, The Netherlands |
Feb 5, 2013 (Feb 1, 2013) |
| ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| EATCS 2013 |
Annual Meeting of the European Association for Theoretical Computer Science | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| TYPES 2013 |
Types for Proofs and Programs | |
| Apr 23, 2013 - Apr 26, 2013 |
Toulouse, France |
Feb 25, 2013 |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| WoLLIC 2013 |
20th Workshop on Logic, Language, Information and Computation | |
| Aug 20, 2013 - Aug 23, 2013 |
Darmstadt, Germany |
Mar 29, 2013 (Mar 25, 2013) |
| CSL 2013 |
22nd EACSL Annual Conference on Computer Science Logic | |
| Sep 2, 2013 - Sep 5, 2013 |
Torino, Italy |
Apr 8, 2013 (Apr 1, 2013) |
| MFCS 2013 |
38 International Symposium on Mathematical Foundations of Computer Science | |
| Aug 26, 2013 - Aug 30, 2013 |
Klosterneuburg, Austria |
Apr 19, 2013 |
| LSFA 2013 |
Logical and Semantic Frameworks with Applications | |
| Sep 2, 2013 - Sep 3, 2013 |
Sao Paulo |
May 26, 2013 |
| PPDP 2013 |
15th International Symposium on Principles and Practice of Declarative Programming | |
| Sep 16, 2013 - Sep 18, 2013 |
Madrid, Spain |
May 30, 2013 (May 27, 2013) |
| LOPSTR 2013 |
23rd International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 18, 2013 - Sep 20, 2013 |
Madrid, Spain |
Jun 11, 2013 (Jun 4, 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) |
| IFL 2013 |
25th International Symposium on Implementation and Application of Functional Languages | |
| Aug 28, 2013 - Aug 30, 2013 |
Nijmegen, Netherlands |
Jul 31, 2013 |
| STACS 2014 |
31st International Symposium on Theoretical Aspects of Computer Science | |
| Mar 5, 2014 - Mar 8, 2014 |
Lyon, France |
Sep 20, 2013 |
|
