Conferences / Workshops
| Title | Date / Place | Submission |
|---|---|---|
| 2009 | ||
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 15-17 Kanpur, India | Jul 7 |
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 16-18 Hawaii, USA | Jul 15 |
| 2010 | ||
| VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation |
Jan 17-19 Madrid, Spain | Aug 21, 2009 |
| SOFSEM Current Trends in Theory and Practice of Computer Science |
Jan 23-29 Spindleruv Mlyn, Czech Republic | Jun 23, 2009 |
| Greifswald Logical Approaches to Barriers in Computing and Complexity |
Feb 17-20 Greifswald, Germany | Sep 15, 2009 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Mar 4-6 Nancy, France | Sep 22, 2009 |
| WRLA Int. Workshop on Rewriting Logic and its Applications |
Mar 20-21 Paphos, Cyprus | Dec 15, 2009 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 20-28 Paphos, Cyprus | |
| ICDT Int. Conference on Database Theory |
Mar 22-26 Lausanne, Switzerland | Aug 31, 2009 |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 22-28 Paphos, Cyprus | Oct 1, 2009 |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems |
Mar 22-28 Paphos, Cyprus | Oct 1, 2009 |
| HSCC Int. Conference on Hybrid Systems: Computation and Control |
Apr 12-16 Stockholm, Sweden | Oct 3, 2009 |
| LATIN Latin American Theoretical INformatics |
Apr 19-22 Oaxaca, Mexico | Sep 21, 2009 |
| WATA Weighted Automata: Theory and Applications |
May 3-7 Leipzig, Germany | Jan 15 |
| LATA Int. Conference on Language and Automata Theory and Applications |
May 24-28 Trier, Germany | Dec 3, 2009 |
| STOC Annual ACM Symposium on Theory of Computing |
Jun 6-8 Cambridge, Massachusetts, USA | Nov 5, 2009 |
| ICCA Int. Conference on Control & Automation |
Jun 9-11 Xiamen, China | Oct 30, 2009 |
| CSR Computer Science Symposium in Russia |
Jun 16-20 Kazan, Russia | Dec 7, 2009 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 5-12 Bordeaux, France | Feb 10 |
| FLoC Federated Logic Conference |
Jul 9-21 Edinburgh, Scotland, UK | |
| RTA Rewriting Techniques and Applications |
Jul 11-13 Edinburgh, Scotland, UK | Jan 15 |
| LICS IEEE Symposium on Logic in Computer Science |
Jul 11-14 Edinburgh, Scotland, UK | Jan 10 |
| CAV Computer-Aided Verification |
Jul 15-19 Edinburgh, Scotland, UK | Jan 11 |
| ICTAC Int. Colloquium on Theoretical Aspects of Computing |
Sep 1-3 Natal, Rio Grande do Norte, Brazil | Mar 8 |