Conferences, workshops

Workshops

• Workshop on Algorithmics of Infinite State Systems (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

• 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