Event | When | Where | Deadline | |
IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
ICALP 2015 |
42nd International Colloquium on Automata, Languages, and Programming | |
Jul 6, 2015 - Jul 10, 2015 |
Kyoto, Japan |
Feb 17, 2015 |
CADE 2015 |
25th International Conference on Automated Deduction | |
Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
FCT 2015 |
20th International Symposium on Fundamentals of Computation Theory | |
Aug 17, 2015 - Aug 19, 2015 |
Gdańsk, Poland |
Apr 25, 2015 |
TTCS 2015 |
Topics in Theoretical Computer Science | |
Aug 26, 2015 - Aug 28, 2015 |
Tehran |
May 15, 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) |
STACS 2016 |
Symposium on Theoretical Aspects of Computer Science | |
Feb 17, 2016 - Feb 20, 2016 |
Orléans, France |
Sep 18, 2015 |
LICS 2016 |
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 5, 2016 - Jul 8, 2016 |
New York City, USA |
Jan 18, 2016 (Jan 11, 2016) |
Logica 2016 |
Logica 2016 | |
Jun 20, 2016 - Jun 24, 2016 |
Hejnice, Czech Republic |
Feb 15, 2016 |
CSL 2016 |
25th EACSL Annual Conference on Computer Science Logic | |
Aug 29, 2016 - Sep 1, 2016 |
Marseille, France |
Apr 15, 2016 (Apr 8, 2016) |
|