| 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 |
|
