Frühere Konferenzen / Workshops
| Titel | Datum / Ort | Submission |
|---|---|---|
| 2008 | ||
| DLT Developments in Language Theory |
Sep 16-19 Kyoto, Japan | Apr 9 |
| RP Workshop on Reachability Problems |
Sep 15-17 Liverpool, UK | May 28 |
| JM Journées Montoises d'Informatique Théorique |
Aug 27-30 Mons, Belgium | May 30 |
| MFCS Mathematical Foundations of Computer Science |
Aug 25-29 Torun, Poland | Mar 31 |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 4-15 Hamburg, Germany | Jul 2, 2007 |
| CIAA Conference on Implementation and Application of Automata |
Jul 21-24 San Francisco, USA | Mar 15 |
| ISSTA Int. Symposium on Software Testing and Analysis |
Jul 20-24 Seattle, USA | Jan 31 |
| RTA Rewriting Techniques and Applications |
Jul 15-17 Hagenberg, Austria | Feb 4 |
| BPR Int. Workshop on Bit-Precise Reasoning |
Jul 14 Princeton, New Yersey, USA | Apr 28 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 6-13 Reykjavik, Iceland | Feb 10 |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 30 - Jul 2 Durham, England | Mar 2 |
| AFL Int. Conference on Automata and Formal Languages |
May 27-30 Balatonfüred, Hungary | Mar 7 |
| FM Int. Formal Methods Europe Symposium |
May 26-30 Turku, Finland | Nov 10, 2007 |
| WATA Weighted Automata: Theory and Applications |
May 13-16 Dresden, Germany | Feb 1 |
| LATIN Latin American Theoretical INformatics |
Apr 7-11 Rio de Janeiro, Brazil | Sep 21, 2007 |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 29 - Apr 6 Budapest, Hungary | Oct 5, 2007 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 29 - Apr 6 Budapest, Hungary | Oct 5, 2007 |
| LATA Int. Conference on Language and Automata Theory and Applications |
Mar 13-19 Tarragona, Spain | Nov 23, 2007 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 21-23 Bordeaux, France | Sep 14, 2007 |
| SOFSEM Current Trends in Theory and Practice of Computer Science |
Jan 20-24 High Tatras, Slovakia | Aug 22, 2007 |
| 2007 | ||
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 17-19 Sendai, Japan | Jun 26 |
| WAL Automata and Logic: History and Perspectives |
Dec 14-15 Aachen, Germany | |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 12-14 New Delhi, India | Jun 10 |
| ATVA Int. Symposium on Automated Technology for Verification and Analysis |
Oct 22-24 Tokyo, Japan | May 14 |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 20-23 Providence, RI, USA | Apr 20 |
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 27-29 Leipzig, Germany | Sep 1 |
| CSL Computer Science Logic |
Sep 11-15 Lausanne, Switzerland | Apr 2 |
| GAMES Games and Automata for Synthesis and Validation |
Sep 10-13 Lausanne, Switzerland | |
| Concur Int. Conference on Concurrency Theory |
Sep 4-7 Lisbon, Portugal | Mar 26 |
| MFCS Mathematical Foundations of Computer Science |
Aug 27-31 Cesky Krumlov, Czech Republic | Apr 10 |
| FCT Int. Symposium on Fundamentals of Computation Theory |
Aug 27-30 Budapest, Hungary | Mar 11 |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 6-17 Dublin, Ireland | Jun 15, 2006 |
| DCFS Descriptional Complexity of Formal Systems |
Jul 20-22 Nový Smokovec, High Tatras, Slovakia | Apr 4 |
| CIAA Conference on Implementation and Application of Automata |
Jul 16-18 Prague, Czech Republic | Apr 10 |
| LICS IEEE Symposium on Logic in Computer Science |
Jul 10-14 Wroclaw, Poland | Jan 15 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 9-13 Wroclaw, Poland | Jan 25 |
| DLT Developments in Language Theory |
Jul 3-6 Turku, Finland | Feb 11 |
| RTA Rewriting Techniques and Applications |
Jun 26-28 Paris, France | Jan 26 |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 21-23 Dornburg, Germany | Mar 2 |
| AutoMathA Automata: from Mathematics to Applications |
Jun 18-22 Palermo, Italy | Feb 9 |
| STOC Annual ACM Symposium on Theory of Computing |
Jun 11-13 San Diego, USA | Nov 20, 2006 |
| LATA Int. Conference on Language and Automata Theory and Applications |
Mar 29 - Apr 4 Tarragona, Spain | Dec 7, 2006 |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 24 - Apr 1 Braga, Portugal | Oct 6, 2006 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 24 - Apr 1 Braga, Portugal | Oct 6, 2006 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 22-24 Aachen, Germany | Sep 18, 2006 |
| ICDT Int. Conference on Database Theory |
Jan 10-12 Barcelona, Spain | Jul 10, 2006 |
| 2006 | ||
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 18-20 Kolkata, India | Jun 28 |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 13-15 Kolkata, India | Jun 18 |
| ATVA Int. Symposium on Automated Technology for Verification and Analysis |
Oct 23-26 Beijing, China | May 20 |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 22-24 Berkeley, CA, USA | Apr 11 |
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 27-29 Vienna, Austria | Sep 1 |
| CSL Computer Science Logic |
Sep 25-29 Szeged, Hungary | Apr 24 |
| ICGT Int. Conference on Graph Transformation |
Sep 19-21 Natal, Rio Grande do Norte, Brazil | Apr 10 |
| JM Journées Montoises d'Informatique Théorique |
Aug 30 - Sep 1 IRISA, Rennes, France | Jun 5 |
| MFCS Mathematical Foundations of Computer Science |
Aug 28 - Sep 1 Bratislava, Slovak Republic | Apr 3 |
| Concur Int. Conference on Concurrency Theory |
Aug 27-30 Bonn, Germany | Mar 23 |
| TCS Int. Conference on Theoretical Computer Science |
Aug 22-24 Santiago de Chile, Chile | Jan 22 |
| FM Int. Formal Methods Europe Symposium |
Aug 21-27 Hamilton, Ontario, Canada | Feb 24 |
| CIAA Conference on Implementation and Application of Automata |
Aug 21-23 Taipei, Taiwan | Apr 7 |
| CAV Computer-Aided Verification |
Aug 16-20 Seattle, USA | Jan 27 |
| RTA Rewriting Techniques and Applications |
Aug 12-15 Seattle, USA | Feb 15 |
| LICS IEEE Symposium on Logic in Computer Science |
Aug 12-15 Seattle, USA | Feb 3 |
| FLoC Federated Logic Conference |
Aug 10-22 Seattle, USA | |
| ESSLLI European Summer School in Logic, Language and Information |
Jul 31 - Aug 11 Malaga, Spain | Jun 17, 2005 |
| ISSTA Int. Symposium on Software Testing and Analysis |
Jul 17-20 Portland, USA | Jan 27 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 9-16 Venice, Italy | Feb 10 |
| GAMES Games and Automata for Synthesis and Validation |
Jul 3-7 Cambridge, England | |
| DLT Developments in Language Theory |
Jun 26-29 Santa Barbara, CA, USA | Feb 12 |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 22-24 Bergen, Norway | Mar 3 |
| DCFS Descriptional Complexity of Formal Systems |
Jun 21-23 Las Cruces, New Mexico, USA | Apr 7 |
| STOC Annual ACM Symposium on Theory of Computing |
May 21-23 Seattle, USA | Nov 3, 2005 |
| WATA Weighted Automata: Theory and Applications |
Mar 27-31 Leipzig, Germany | Dec 18, 2005 |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 25 - Apr 2 Vienna, Austria | Oct 7, 2005 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 25 - Apr 2 Vienna, Austria | Oct 7, 2005 |
| LATIN Latin American Theoretical INformatics |
Mar 20-24 Valdivia, Chile | Sep 21, 2005 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 23-25 Marseille, France | Sep 16, 2005 |
| 2005 | ||
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 19-21 Sanya, Hainan, China | |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 15-18 Hyderabad, India | Jun 17 |
| LPAR Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning |
Dec 2-6 Montego Bay, Jamaica | Jul 11 |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 23-25 Pittsburgh, PA, USA | Apr 8 |
| ICTAC Int. Colloquium on Theoretical Aspects of Computing |
Oct 17-21 Hanoi, Vietnam | May 25 |
| ATVA Int. Symposium on Automated Technology for Verification and Analysis |
Oct 4-7 Taipei, Taiwan | May 23 |
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 27-29 Lauterbad, Germany | Aug 15 |
| GAMES Games and Automata for Synthesis and Validation |
Sep 21-24 Paris, France | |
| MFCS Mathematical Foundations of Computer Science |
Aug 29 - Sep 2 Gdansk, Poland | Mar 15 |
| Concur Int. Conference on Concurrency Theory |
Aug 23-26 San Francisco, CA, USA | Mar 28 |
| CSL Computer Science Logic |
Aug 22-25 Oxford, England | Mar 25 |
| FCT Int. Symposium on Fundamentals of Computation Theory |
Aug 17-20 Lübeck, Germany | Mar 7 |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 8-19 Edinburgh, Scotland | Jul 15, 2004 |
| FM Int. Formal Methods Europe Symposium |
Jul 18-22 Newcastle, England | Jan 24 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 11-15 Lisboa, Portugal | Feb 13 |
| CAV Computer-Aided Verification |
Jul 6-10 Edinburgh, Scotland | Jan 28 |
| DLT Developments in Language Theory |
Jul 4-8 Mondello, Palermo, Italy | Feb 27 |
| DCFS Descriptional Complexity of Formal Systems |
Jun 30 - Jul 2 Como, Italy | Mar 30 |
| CIAA Conference on Implementation and Application of Automata |
Jun 27-29 Sophia Antipolis, France | Apr 1 |
| LICS IEEE Symposium on Logic in Computer Science |
Jun 26-29 Chicago, USA | Jan 5 |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 23-25 Metz, France | Mar 2 |
| STOC Annual ACM Symposium on Theory of Computing |
May 21-24 Baltimore, MD, USA | Nov 4, 2004 |
| AFL Int. Conference on Automata and Formal Languages |
May 17-20 Dobogoko, Hungary | Mar 7 |
| RTA Rewriting Techniques and Applications |
Apr 19-21 Nara, Japan | Nov 12, 2004 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Apr 2-10 Edinburgh, Scotland | Oct 8, 2004 |
| FOSSACS Foundations of Software Science and Computation Structures |
Apr 2-8 Edinburgh, Scotland | Oct 8, 2004 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 24-26 Stuttgart, Germany | Sep 7, 2004 |
| ICDT Int. Conference on Database Theory |
Jan 5-7 Edinburgh, Scotland | Jun 22, 2004 |
| 2004 | ||
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 16-18 Chennai, India | Jun 22 |
| DLT Developments in Language Theory |
Dec 13-17 Auckland, New Zealand | Jun 14 |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 17-19 Rome, Italy | Apr 9 |
| ISAAC Int. Symposium on Algorithms and Computation |
Oct 6-10 Natal, Rio Grande do Norte, Brazil | Dec 31, 2003 |
| ICGT Int. Conference on Graph Transformation |
Sep 28 - Oct 2 Rome, Italy | Apr 26 |
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 28-30 Caputh, Germany | Aug 27 |
| CSL Computer Science Logic |
Sep 20-24 Karpacz, Poland | Apr 3 |
| GAMES Games and Automata for Synthesis and Validation |
Sep 15-18 Bordeaux, France | |
| JM Journées Montoises d'Informatique Théorique |
Sep 8-11 Liège, Belgium | Jun 10 |
| Concur Int. Conference on Concurrency Theory |
Aug 31 - Sep 3 London, England | Apr 9 |
| TCS Int. Conference on Theoretical Computer Science |
Aug 23-26 Toulouse, France | Jan 15 |
| MFCS Mathematical Foundations of Computer Science |
Aug 22-27 Prague, Czech Republic | Mar 15 |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 9-21 Nancy, France | Jul 16, 2003 |
| DCFS Descriptional Complexity of Formal Systems |
Jul 26-28 London, Ontario, Canada | May 15 |
| CIAA Conference on Implementation and Application of Automata |
Jul 22-24 Kingston, Ontario, Canada | Apr 4 |
| LICS IEEE Symposium on Logic in Computer Science |
Jul 14-17 Turku, Finland | Jan 26 |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 12-16 Turku, Finland | Feb 8 |
| CAV Computer-Aided Verification |
Jul 11-17 Boston, USA | Jan 16 |
| ISSTA Int. Symposium on Software Testing and Analysis |
Jul 11-14 Boston, USA | Jan 16 |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 21-23 Bad Honnef, Germany | Feb 28 |
| ISCL Int. Summer School in Computational Logic |
Jun 14-17 Dallas, USA | |
| STOC Annual ACM Symposium on Theory of Computing |
Jun 13-15 Chicago, USA | Nov 5, 2003 |
| RTA Rewriting Techniques and Applications |
Jun 3-5 Aachen, Germany | Jan 15 |
| WATA Weighted Automata: Theory and Applications |
Jun 1-5 Dresden, Germany | Feb 15 |
| LATIN Latin American Theoretical INformatics |
Apr 5-9 Buenos Aires, Argentina | Sep 19, 2003 |
| FOSSACS Foundations of Software Science and Computation Structures |
Mar 29 - Apr 2 Barcelona, Spain | Oct 17, 2003 |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Mar 27 - Apr 4 Barcelona, Spain | Oct 17, 2003 |
| STACS Symposium on Theoretical Aspects of Computer Science |
Mar 25-27 Montpellier, France | Sep 15, 2003 |
| 2003 | ||
| FSTTCS Foundations of Software Technology and Theoretical computer science |
Dec 15-17 Mumbai, India | Jul 4 |
| ISAAC Int. Symposium on Algorithms and Computation |
Dec 15-17 Kyoto, Japan | May 31 |
| FMT Finite Model Theory Workshop |
Nov 13-14 Marburg, Germany | |
| FOCS IEEE Symposium on Foundations of Computer Science |
Oct 11-14 Cambridge, MA, USA | Apr 7 |
| Theorietag Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 29 - Oct 2 Herrsching, Germany | Aug 15 |
| FORTE Formal Description Techniques in Internet and Communication Domains |
Sep 29 - Oct 2 Berlin, Germany | Mar 24 |
| LPAR Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning |
Sep 22-26 Almaty, Kazakhstan | May 12 |
| FM Int. Formal Methods Europe Symposium |
Sep 8-14 Pisa, Italy | Mar 16 |
| Concur Int. Conference on Concurrency Theory |
Sep 2-6 Marseille, France | |
| INFINITY Int. Workshop on Verification of Infinite-State Systems |
Sep 2 Marseille, France | |
| GAMES Games and Automata for Synthesis and Validation |
Aug 30 - Sep 2 Vienna, Austria | |
| CSL'03 & KGC Computer Science Logic and Kurt Gödel Colloquium |
Aug 25-30 Vienna, Austria | |
| MFCS Mathematical Foundations of Computer Science |
Aug 25-29 Bratislava, Slovak Republic | |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 18-29 Vienna, Austria | |
| CIAA Conference on Implementation and Application of Automata |
Jul 16-18 Santa Barbara, CA, USA | |
| DCFS Descriptional Complexity of Formal Systems |
Jul 12-14 Budapest, Hungary | |
| CAV Computer-Aided Verification |
Jul 8-12 Boulder, Colorado, USA | |
| DMTCS Conference on Discrete Mathematics and Theoretical Computer Science |
Jul 7-12 Dijon, France | |
| DLT Developments in Language Theory |
Jul 7-11 Szeged, Hungary | |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jun 30 - Jul 4 Eindhoven, The Netherlands | |
| LICS IEEE Symposium on Logic in Computer Science |
Jun 22-25 Ottawa, Canada | |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 19-21 Elspeet, The Netherlands | |
| STOC Annual ACM Symposium on Theory of Computing |
Jun 9-11 San Diego, California | |
| RTA Rewriting Techniques and Applications |
Jun 9-11 Valencia, Spain | |
| FICS Fixed Points in Computer Science |
Apr 12-13 Warsaw, Poland | |
| FOSSACS Foundations of Software Science and Computation Structures |
Apr 5-13 Warsaw, Poland | |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Apr 5-13 Warsaw, Poland | |
| STACS Symposium on Theoretical Aspects of Computer Science |
Feb 27 - Mar 1 Berlin, Germany | |
| ICDT Int. Conference on Database Theory |
Jan 8-10 Siena, Italy | |
| 2002 | ||
| FSTTCS Foundations of Software Technology and Theoretical Computer Science |
Dec 12-14 Kanpur, India | |
| ISAAC Int. Symposium on Algorithms and Computation |
Nov 20-23 Vancouver, Canada | |
| FOCS IEEE Symposium on Foundations of Computer Science |
Nov 16-19 Vancouver, Canada | |
| FORTE Int. Conference on Formal Techniques for Networked and Distributed Systems |
Nov 11-14 Houston, Texas | |
| LPAR Int. Conference on Logic for Programming Artificial Intelligence and Reasoning |
Oct 14-18 Tbilisi, Georgia | |
| ICGT Int. Conference on Graph Transformation |
Oct 7-12 Barcelona, Spain | |
| GAMES Games and Automata for Synthesis and Validation |
Sep 26-28 Edinburgh, Scotland | |
| Theorietag Theorietag der Fachgruppe 0.1.5 "Automaten und Formale Sprachen" |
Sep 23-26 Wittenberg, Germany | |
| CSL Computer Science Logic |
Sep 22-25 Edinburgh, Scotland | |
| DLT Developments in Language Theory |
Sep 18-21 Kyoto, Japan | |
| JM Journées Montoises on Theoretical Computer Science |
Sep 9-11 Montpellier, France | |
| MFCS Mathematical Foundations of Computer Science |
Aug 26-30 Warszawa - Otwock, Poland | |
| TCS Int. Conference on Theoretical Computer Science |
Aug 25-30 Montreal, Canada | |
| ISCL Int. Summer School in Computational Logic |
Aug 25-30 Acquafredda, Italy | |
| INFINITY Int. Workshop on Verification of Infinite-State Systems |
Aug 24 Brno, Czech Republic | |
| DCFS Descriptional Complexity of Formal Systems |
Aug 21-24 London, Ontario, Canada | |
| Concur Int. Conference on Concurrency Theory |
Aug 20-23 Brno, Czech Republic | |
| AFL Int. Conference on Automata and Formal Languages |
Aug 13-18 Debrecen, Hungary | |
| ESSLLI European Summer School in Logic, Language and Information |
Aug 5-16 Trento, Italy | |
| CAV Computer-Aided Verification |
Jul 27-31 Copenhagen, Denmark | |
| LICS IEEE Symposium on Logic in Computer Science |
Jul 22-25 Copenhagen, Denmark | |
| FLoC Federated Logic Conference |
Jul 20 - Aug 1 Copenhagen, Denmark | |
| ICALP Int. Colloquium on Automata, Languages, and Programming |
Jul 8-13 Malaga, Spain | |
| WG Graph-Theoretic Concepts in Computer Science |
Jun 13-15 Cesky Krumlov, Czech Republic | |
| STOC Annual ACM Symposium on Theory of Computing |
May 19-21 Montréal, Québec, Canada | |
| FOSSACS Foundations of Software Science and Computation Structures |
Apr 8-12 Grenoble, France | |
| ETAPS European Joint Conferences on Theory and Practice of Software |
Apr 6-14 Grenoble, France | |
| LATIN Latin American Theoretical INformatics |
Apr 3-6 Cancún, Mexico | |
| STACS Symposium on Theoretical Aspects of Computer Science |
Mar 14-16 Antibes, France | |
| WATA Weighted Automata: Theory and Applications |
Mar 4-8 Dresden, Germany | |
| ELICS Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi |
Mar 4-6 Saarbrücken, Germany | |