Event | When | Where | Deadline | |
LCC 2012 |
13th International Workshop on Logic and Computational Complexity | |
Jun 24, 2012 - Jun 24, 2012 |
Dubrovnik, Croatia |
Apr 13, 2012 |
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) |
ISAAC 2012 |
The 23rd International Symposium on Algorithms and Computation | |
Dec 19, 2012 - Dec 21, 2012 |
Taipei, Taiwan |
Jun 22, 2012 |
FOCS 2013 |
2013 IEEE Symposium on Foundations of Computer Science | |
Oct 27, 2013 - Oct 30, 2013 |
Berkeley, California, USA |
Apr 3, 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 |
FSTTCS 2013 |
Foundations of Software Technology and Theoretical Computer Science | |
Dec 10, 2013 - Dec 14, 2013 |
IIT Guwahati, India |
Jul 15, 2013 (Jul 8, 2013) |
STACS 2014 |
31st International Symposium on Theoretical Aspects of Computer Science | |
Mar 5, 2014 - Mar 8, 2014 |
Lyon, France |
Sep 20, 2013 |
FoSSaCS 2014 |
17th International Conference on Foundations of Software Science and Computation Structures | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble, France |
Oct 11, 2013 (Oct 4, 2013) |
STOC 2014 |
Symposium on the Theory of Computing | |
May 31, 2014 - Jun 3, 2014 |
New York, NY |
Nov 11, 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 2014 |
International Colloquium on Automata, Languages and Programming | |
Jul 7, 2014 - Jul 11, 2014 |
IT University of Copenhagen |
Feb 14, 2014 |
ICTAC 2014 |
11th International Colloquium on Theoretical Aspects of Computing | |
Sep 17, 2014 - Sep 20, 2014 |
Bucharest, Romania |
Mar 23, 2014 (Mar 16, 2014) |
|