Event | When | Where | Deadline | |
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) |
STACS 2014 |
31st International Symposium on Theoretical Aspects of Computer Science | |
Mar 5, 2014 - Mar 8, 2014 |
Lyon, France |
Sep 20, 2013 |
LICS 2014 |
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 14, 2014 - Jul 18, 2014 |
Vienna, Austria |
Jan 20, 2014 (Jan 13, 2014) |
ICALP 2015 |
42nd International Colloquium on Automata, Languages, and Programming | |
Jul 6, 2015 - Jul 10, 2015 |
Kyoto, Japan |
Feb 17, 2015 |
MFCS 2015 |
40th International Symposium on Mathematical Foundations of Computer Science | |
Aug 24, 2015 - Aug 28, 2015 |
Milano, Italy |
Apr 22, 2015 |
GandALF 2015 |
The Sixth International Symposium on Games, Automata, Logics and Formal Verification | |
Sep 21, 2015 - Sep 23, 2015 |
Genova |
May 29, 2015 (May 22, 2015) |
|