| Event | When | Where | Deadline | |
| FOCS 2012 |
IEEE 53rd Annual Symposium on Foundations of Computer Science | |
| Oct 20, 2012 - Oct 23, 2012 |
Palm Springs, CA, USA |
TBD |
| STACS 2012 |
Symposium on Theoretical Aspects of Computer Science | |
| Feb 29, 2012 - Mar 3, 2012 |
Paris, France |
Sep 23, 2011 |
| PODS 2012 |
31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems | |
| May 21, 2012 - May 23, 2012 |
Scottsdale, Arizona, USA |
Nov 27, 2011 (Nov 20, 2011) |
| LICS 2012 |
27th Annual IEEE Symposium on Logic in Computer Science | |
| Jun 25, 2012 - Jun 28, 2012 |
Dubrovnik, Croatia |
Jan 13, 2012 (Jan 6, 2012) |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| ICALP 2012 |
39th International Colloquium on Automata, Languages and Programming | |
| Jul 9, 2012 - Jul 13, 2012 |
Warwick, UK |
Feb 21, 2012 |
| CSL 2012 |
21th EACSL Annual Conferences on Computer Science Logic | |
| Sep 3, 2012 - Sep 6, 2012 |
Fontainebleau, France |
Apr 9, 2012 (Apr 2, 2012) |
| ICDT 2013 |
16th International Conference on Database Theory | |
| Mar 18, 2013 - Mar 22, 2013 |
Genoa, Italy |
Aug 24, 2012 (Aug 17, 2012) |
| VLDB 2013 |
International Conference on Very Large Data Bases | |
| Aug 26, 2013 - Aug 31, 2013 |
Lago Di Garda, Trento, Italy |
Mar 1, 2013 |
|
