Program committee memberships

• IJCAR'12, 6th Int. Joint Conf. on Automated Reasoning, Manchester, UK, 2012
• TABLEAUX 2011, 20th Int. Conf. on Automatic Reasoning with Analytic Tableaux and Related Methods, Bern, Switzerland, 2011
• FOSSACS 2011, 14th Int. Conf. on Foundations of Software Sciences and Computation Structures, Saarbrücken, Germany, 2011
• TIME 2010, 17th Int. Symp. on Temporal Representation and Reasoning, Paris, France, 2010
• CLoDeM 2010 (PC co-chair), Workshop on Comparing Logical Decision Procedures, Edinburgh, UK, 2010, affiliated to LICS and IJCAR at FLoC 2010
• AiML 2010, Advances in Modal Logic, Moscow, Russia, 2010
• AutoTab'09, Workshop on Tableaux vs. Automata as Logical Decision Procedures, Oslo, Norway, 2009
• M4M-6, 6th Workshop on Methods for Modalities, Copenhagen, Denmark, 2009
• ICALP'07, 34th Int. Colloquium on Automata, Languages and Programming (Track B), Wroclaw, Poland, 2007
• PDMC'04, 3rd Int. Workshop on Parallel and Distributed Methods in Verification, London, UK, 2004

Invited presentations

• A CTL-Based Logic for Program Abstractions, at WoLLIC 2010, 17th Workshop on Logic, Language, Information and Computation
• Tableaux with Automata, at AutoTab'09, Workshop on Tableaux vs. Automata as Logical Decision Procedures
• Temporal Logics for Non-Regular Properties, at M4M'4, 4th Workshop on Methods for Modalities

Others

• co-organiser of LICS/IJCAR workshop Comparing Logical Decision Methods at FLoC 2010, Edinburgh, UK, 2010
• reviewer for Mathematical Reviews
• invited participation at Dagstuhl seminar Synthesis and Planning, 2005
• 12. Jahrestagung der GI-Fachgruppe "Logik in der Informatik", (workshop co-organised with Jan Johannsen)