Event | When | Where | Deadline | |
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) |
VLDB 2013 |
International Conference on Very Large Data Bases | |
Aug 26, 2013 - Aug 31, 2013 |
Lago Di Garda, Trento, Italy |
Mar 1, 2013 |
|