Event | When | Where | Deadline | |
LATA 2011 |
5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
May 30, 2011 - Jun 3, 2011 |
Tarragona, Spain |
Jan 3, 2011 |
LICS 2011 |
Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE | |
Jun 21, 2011 - Jun 24, 2011 |
Toronto, Canada |
Jan 12, 2011 (Jan 5, 2011) |
CAV 2011 |
23rd International Conference on Computer Aided Verification | |
Jul 14, 2011 - Jul 20, 2011 |
Cliff Lodge, Snowbird, Utah, USA |
Jan 21, 2011 (Jan 14, 2011) |
ICALP 2011 |
The 38th International Colloquium on Automata, Languages and Programming | |
Jul 4, 2011 - Jul 8, 2011 |
Zürich, Switzerland |
Feb 15, 2011 |
DLT 2011 |
15th International Conference on Developments in Language Theory | |
Jul 19, 2011 - Jul 22, 2011 |
Milano (Italy) |
Feb 21, 2011 |
VLDB 2011 |
The 37th International Conference on Very Large Data Bases | |
Aug 29, 2011 - Sep 3, 2011 |
Seattle, WA |
Mar 1, 2011 |
DBTest 2011 |
4th International Workshop on Testing Database Systems | |
Jun 13, 2011 - Jun 13, 2011 |
Athens, Greece |
Mar 28, 2011 |
CSL 2011 |
20th Annual Conference of the European Association for Computer Science Logic | |
Sep 12, 2011 - Sep 15, 2011 |
Bergen, Norway |
Apr 3, 2011 (Mar 27, 2011) |
CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
ESA 2011 |
European Symposium on Algorithms | |
Sep 5, 2011 - Sep 7, 2011 |
Saarbruecken, Germany |
Apr 19, 2011 |
DBPL 2011 |
The 13th International Symposium on Database Programming Languages | |
Aug 29, 2011 - Aug 29, 2011 |
Seattle, USA |
Jun 9, 2011 |
SODA 2012 |
ACM-SIAM Symposium on Discrete Algorithms | |
Jan 17, 2012 - Jan 19, 2012 |
Kyoto, Japan |
Jul 12, 2011 (Jul 5, 2011) |
POPL 2012 |
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 25, 2012 - Jan 27, 2012 |
Philadelphia, USA |
Jul 12, 2011 (Jul 8, 2011) |
STACS 2012 |
Symposium on Theoretical Aspects of Computer Science | |
Feb 29, 2012 - Mar 3, 2012 |
Paris, France |
Sep 23, 2011 |
LATIN 2012 |
10th Latin American Theoretical Informatics Symposium | |
Apr 16, 2012 - Apr 20, 2012 |
Arequipa, Peru |
Sep 30, 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 2012 |
38th International Conference on Very Large Databases | |
Aug 27, 2012 - Aug 31, 2012 |
Istanbul, Turkey |
Mar 1, 2012 |
AMW 2012 |
6th ALBERTO MENDELZON INTERNATIONAL WORKSHOP ON FOUNDATIONS OF DATA MANAGEMENT | |
Jun 27, 2012 - Jun 30, 2012 |
Ouro Preto, Brazil |
Mar 5, 2012 |
|