Event | When | Where | Deadline | |
ITCS 2014 |
Innovations in Theoretical Computer Science | |
Jan 12, 2014 - Jan 14, 2014 |
Princeton, NJ |
Aug 22, 2013 |
CIAA 2014 |
Conference on Implementation and Application of Automata | |
Jul 30, 2014 - Aug 2, 2014 |
Giessen, Germany |
Mar 9, 2014 |
QEST 2014 |
Quantitative Evaluation of Systems | |
Sep 8, 2014 - Sep 11, 2014 |
Florence, Italy |
Mar 14, 2014 (Mar 7, 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) |
ATVA 2014 |
International Symposium on Automated Technology for Verification and Analysis | |
Nov 3, 2014 - Nov 7, 2014 |
Sydney |
Apr 15, 2014 |
MFCS 2014 |
39th International Symposium on Mathematical Foundations of Computer Science | |
Aug 25, 2014 - Aug 29, 2014 |
Budapest, Hungary |
Apr 18, 2014 |
LATA 2015 |
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
Mar 2, 2015 - Mar 6, 2015 |
Nice, France |
Oct 10, 2014 |
CAV 2015 |
27th International Conference on Computer Aided Verification | |
Jul 18, 2015 - Jul 24, 2015 |
san francisco |
Feb 6, 2015 |
TASE 2015 |
The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) | |
Sep 12, 2015 - Sep 14, 2015 |
Nanjing, China |
Mar 14, 2015 (Mar 7, 2015) |
CIAA 2015 |
20th International Conference on Implementation and Application of Automata | |
Aug 18, 2015 - Aug 21, 2015 |
Umea Sweden |
Apr 19, 2015 |
|