Konferenzen / Workshops
| Titel | Datum / Ort | Submission |
|---|---|---|
| 2013 | ||
| Nordic Spring School Nordic Spring School in Logic |
May 27-31 Nordfjordeid, Norway | |
| CADE International Conference on Automated Deduction |
Jun 9-14 Lake Placid, USA | Jan 21 |
| DLT Developments in Language Theory |
Jun 18-21 Paris, France | Jan 22 |
| RTA Rewriting Techniques and Applications |
Jun 23-28 Eindhoven, Netherlands | |
| LICS IEEE Symposium on Logic in Computer Science |
Jun 25-28 New Orleans, USA | Jan 14 |
| CSR Computer Science Symposium in Russia |
Jun 25-29 Ekaterinburg, Russia | Dec 11, 2012 |
| CiE Computability in Europe |
Jul 1-5 Milan, Italy | Feb 2 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 8-12 Riga, Latvia | Feb 15 |
| CAV Computer-Aided Verification |
Jul 13-19 Saint Petersburg, Russia | Jan 15 |
| CIAA Conference on Implementation and Application of Automata |
Jul 16-19 Halifax, Canada | Mar 17 |
| DCFS Descriptional Complexity of Formal Systems |
Jul 22-25 London, Canada | Mar 20 |
| GIGA General Intelligence in Game-Playing Agents |
Aug 3-5 Bijing, China | Apr 20 |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 5-16 Düsseldorf, Germany | Feb 22 |
| MFCS Mathematical Foundations of Computer Science |
Aug 26-30 Vienna, Austria | Apr 19 |
| CONCUR Int. Conference on Concurrency Theory |
Aug 27-30 Buenos Aires, Argentina | Apr 8 |
| GandALF Games, Automata, Logics and Formal Verification |
Aug 29-31 Borca di Cadore, Italy | May 19 |
| CSL Computer Science Logic |
Sep 2-5 Turin, Italy | Apr 15 |
| ICTAC Int. Colloquium on Theoretical Aspects of Computing |
Sep 4-6 Shanghai, China | Mar 22 |
| AVoCS Int. Workshop on Automated Verification of Critical Systems |
Sep 11-13 Guildford, UK | Jun 7 |
| Highlights Highlights of Logic, Games and Automata |
Sep 18-21 Paris, France | Jun 20 |
| ATVA Int. Symposium on Automated Technology for Verification and Analysis |
Oct 15-18 Hanoi, Vietnam | Apr 6 |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 27-28 Berkeley, USA | Apr 3 |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 10-14 Guwahati, India | Jul 15 |
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 16-18 Hong Kong | Jun 15 |
| 2014 | ||
| FM Int. Symposium on Formal Methods |
May 21-16 Singapore | Nov 14, 2013 |
| LICS IEEE Symposium on Logic in Computer Science |
Jul 12-24 Vienna, Austria | |