Conferences / Workshops
| Title | Date / Place | Submission |
|---|---|---|
| 2008 | ||
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 30 - Oct 2 Wettenberg-Launsbach, Germany | Sep 1 |
| 2009 | ||
| SOFSEM Current Trends in Theory and Practice of Computer Science |
Jan 24-30 Hotel Arnika, Spindleruv Mlyn, Czech Republic | Aug 24, 2008 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 26-28 Freiburg, Germany | Sep 15, 2008 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 22-29 York, UK | |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 22-29 York, UK | Oct 9, 2008 |
| LATA Int. Conference on Language and Automata Theory and Applications |
Apr 2-8 Tarragona, Spain | Oct 22, 2008 |
| AutoMathA Automata: from Mathematics to Applications |
Jun 8-12 | |
| CAV Computer-Aided Verification |
Jun 26 - Jul 2 Grenoble, France | Jan 25 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 5-12 Rhodes, Greece | Feb 10 |
| CIAA Conference on Implementation and Application of Automata |
Jul 14-17 Sydney, Australia | Mar 16 |
| LICS IEEE Symposium on Logic in Computer Science |
Aug 11-14 Los Angeles, USA | Jan 19 |
| Concur Int. Conference on Concurrency Theory |
Sep 1-4 Bologna, Italy | |
| FM Int. Formal Methods Europe Symposium |
Oct 30 - Nov 7 Eindhoven, Netherlands | May 4 |