Event | When | Where | Deadline | |
LATA 2011 |
5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
May 30, 2011 - Jun 3, 2011 |
Tarragona, Spain |
Jan 3, 2011 |
ATVA 2011 |
9th International Symposium on Automated Technology for Verification and Analysis | |
Oct 11, 2011 - Oct 14, 2011 |
Taipei, Taiwan |
May 6, 2011 (May 2, 2011) |
Fundamenta Informaticae 2012 |
[Alan Turing year 2012] Watching the Daisies Grow: from biology to biomathematics and bioinformatics | |
N/A |
N/A |
Jul 31, 2011 |
TASE 2012 |
6th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
Jul 4, 2012 - Jul 6, 2012 |
Beijing, China |
Jan 20, 2012 (Jan 13, 2012) |
TCS 2012 |
IFIP Theoretical Computer Science 2012 | |
Sep 26, 2012 - Sep 28, 2012 |
Amsterdam, The Netherlands |
May 1, 2012 |
ISAAC 2012 |
The 23rd International Symposium on Algorithms and Computation | |
Dec 19, 2012 - Dec 21, 2012 |
Taipei, Taiwan |
Jun 22, 2012 |
DLT 2013 |
17th International Conference on Developments in Language Theory | |
Jun 18, 2013 - Jun 21, 2013 |
Paris |
Jan 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 |
ICTAC 2013 |
10th International Colloquium on Theoretical Aspects of Computing | |
Sep 4, 2013 - Sep 6, 2013 |
Shanghai, China |
Mar 8, 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 |
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) |
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) |
APLAS 2014 |
Asian Symposium on Programming Languages and Systems | |
Nov 17, 2014 - Nov 19, 2014 |
Singapore |
Jun 2, 2014 (May 26, 2014) |
FSTTCS 2014 |
34th Foundations of Software Technology and Theoretical Computer Science | |
Dec 15, 2014 - Dec 17, 2014 |
New Delhi, India |
Jul 18, 2014 (Jul 11, 2014) |
LATA 2015 |
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
Mar 2, 2015 - Mar 6, 2015 |
Nice, France |
Oct 10, 2014 |