Event | When | Where | Deadline | |
POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
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 |
MFCS 2013 |
38 International Symposium on Mathematical Foundations of Computer Science | |
Aug 26, 2013 - Aug 30, 2013 |
Klosterneuburg, Austria |
Apr 19, 2013 |
GandALF 2013 |
4th International Symposium on Games, Automata, Logics, and Formal Verification | |
Aug 29, 2013 - Aug 31, 2013 |
Borca di Cadore |
May 19, 2013 (May 13, 2013) |
FOPARA 2013 |
3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS | |
Aug 29, 2013 - Aug 31, 2013 |
Bertinoro, Italy |
Jun 3, 2013 |
WLPE 2013 |
23rd Workshop on Logic-based methods in Programming Environments | |
Aug 24, 2013 - Aug 25, 2013 |
Istanbul (Turkey) |
Jun 3, 2013 |
|