Workshops and Conferences
Workshops
- Straight-Line Programs, Word Equations and their Interplay 2022 (colocated with ICALP 2022 )
- Dagstuhl-Seminar Algorithmic Problems in Group Theory
- Workshop on Algorithmic Model Theory (AlMoTh) 2016
- Dagstuhl-Seminar Computation over Compressed Structured Data
- Workshop on Algorithmics of Infinite State Systems 2014 (colocated with CSL-LICS 2014 )
- Workshop on Algorithmics of Infinite State Systems 2012 (colocated with LICS 2012 )
- Workshop on Algorithmic Model Theory (AlMoTh) 2011
- 17. Jahrestagung der GI-Fachgruppe Logik in der Informatik
- Workshop on Automata and Algorithmic Logic, 2009
- 17. Theorietag Automaten und Formale Sprachen
- Workshop on Computational Complexity and Decidability in Algebra (colocated with CSR 2007)
- Dagstuhl-Seminar Structure-Based Compression of Complex Massive Data
- Dagstuhl-Seminar Algorithmic-Logical Theory of Infinite Structures
Programme Committees
- STACS 2024
- CIAA 2023
- ICALP 2022
- CIAA 2022
- CIAA 2021
- Highlights of Logic, Games and Automata 2021
- DLT 2020
- LATA 2020
- ICALP 2019
- LATA 2019
- Highlights of Logic, Games and Automata 2018
- FCT 2017
- CIAA 2017
- MFCS 2016
- DLT 2014
- AFL 2014
- SOFSEM 2014
- Highlights of Logic, Games and Automata 2013
- STACS 2013
- CSL 2012
- CSR 2012
- UNIF 2011
- LATA 2011
- FOSSACS 2011
- Logic and Computational Complexity 2009 (PC co-chair)
- CIAA 2009
- DLT 2008
- SOFSEM 2008
- AutoMathA 2007
- STACS 2006