Event | When | Where | Deadline | |
SAT 2013 |
International Conference on Theory and Applications of Satisfiability Testing | |
Jul 8, 2013 - Jul 12, 2013 |
Helsinki, Finland |
Feb 8, 2013 (Feb 1, 2013) |
ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
STOC 2014 |
Symposium on the Theory of Computing | |
May 31, 2014 - Jun 3, 2014 |
New York, NY |
Nov 11, 2013 |
ICALP 2014 |
International Colloquium on Automata, Languages and Programming | |
Jul 7, 2014 - Jul 11, 2014 |
IT University of Copenhagen |
Feb 14, 2014 |
ITCS 2015 |
Innovations in Theoretical Computer Science | |
Jan 11, 2015 - Jan 13, 2015 |
Weizmann Institute of Science, Israel |
Aug 8, 2015 |
|