Activities in the Scientific Community
Conferences and Workshops
PC Chair
- Workshop and Program Co-Chair of VERIFY 2014
- Organiser of COMPARE 2012 (1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems)
- Organiser/Chair of FMCO 2011
- Conference Chair of FoVeOOS 2011
- Organisation and Program Chair of DSCI 2011
- Program Chair of FoVeOOS 2010
- Workshop and Program Co-Chair of VERIFY 2008
- Program Co-Chair of TAP 2008 (2nd International Conference on Tests And Proofs)
- Workshop and Program Chair of VERIFY 2007
- Program committee co-chair and local arrangements chair of SEFM 2005
- Conference and program committee chair of TABLEAUX 2005
PC Membership
- Panel member for CASC-J7
- Program committee member of IJCAR 2014
- Program committee member of ARW-DT 2014
- Program committee member of F-IDE 2014
- Program committee member of Sicherheit 2014
- Program committee member of FOCLASA 2012
- Program committee member of FTfJP 2012
- Program committee member of SVARM-VERIFY-2012
- Program committee member of KeY Symposium 2011
- Program committee member of FTP 2011
- Program committee member of AAIA'11
- Program committee member of TABLEAUX 2011
- Program committee member of CADE-23
- Program committee member of FOCLASA 2011
- Program committee member of IJCAR 2010
- Program committee member of CADE-22
- Program committee member of Verify-2010
- Program committee member of TOOLS EUROPE 2009
- Program committee member of TAP 2009
- Program committee member of ECOOP 2009
- Program committee member of TABLEAUX 2009
- Program committee member of FTP 2009
- Program committee member of ICSOFT 2009
- Program committee member of SEFM 2008
- Program committee member of TOOLS EUROPE 2008
- Program committee member of ICSOFT 2008
- Program committee member of SEFM 2007
- Program committee member of ICSSEA 2007
- Program committee member of FTP 2007
- Program committee member of FMIS 2007
- Reviewing committee member of the Journal of Applied Logic Special Issue on Empirically Successful Computerized Reasoning
- Program committee member of TOOLS EUROPE 2007
- Program committee member of TABLEAUX 2007
- Program committee member of ICSOFT 2007
- Program committee member of ESARLT 2007
- Program committee member of SOAS 2006
- Program committee member of IJCAR 2006
- Program committee member of ESCoR 2006
- Program committee member of FTfJP 2006
- Program committee member of SEFM 2006
- Local arrangements chair and program committee member of FTP 2005
- Program committee member of ESCAR 2005
- Program committee member of SOAS 2005
- Program committee member of TABLEAUX 2003
- Program committee member of TABLEAUX 2002
- Program committee member of STAIRS 2002
- Program committee member of IJCAR 2001
- Program committee member of TABLEAUX 2000
Organisation of Workshops etc.
- Organisation of Deduktions-Treffen 2010
- Organisation of the Symposium in Honor of Ulrich Furbach on Occasion of his 60th Birthday
- Organiser of the 6th KeY Symposium 2007
- Interdisziplinäres Antrittskolloquium "Zeit ist ...". Antrittsvorlesungen der Juniorprofessorin und der Juniorprofessoren der Universität Koblenz, Campus Koblenz am 14.07.2004.
- Organisation of 3rd KeY Symposium 2004
- Organisation of Jahrestagung 2003 der GI-Fachgruppe Formale Methoden und Software Engineering für Sichere Systeme (GI FoMSESS)
- Co-organisation of PMD'01, the International Workshop on Precise Modelling and Deduction for Object-oriented Software Development
Tutorials
- Tutorial of "Deductive Verification of Object-Oriented Software" at the VTSA 2015
- Tutorial on "Deductive Verification of Information Flow Properties with KeY" at the Tutorial 2011 of Priority Programme 1496 “Reliably Secure Software Systems – RS3”
- Tutorial on "Specification & Formal Analysis of Java Programs" at the ADAPT 2010 Summer School in Koblenz
- Tutorial on Integrating Object-Oriented Design and Deductive Verification of Software at IFM 2007
- Tutorial on Integrating Object-Oriented Design and Deductive Verification of Software at SEFM 2006
- Tutorial on Integrating Object-oriented Design and Deductive Verification of Software at FM 2003
- Tutorial on Proof Confluent Tableau Proof Procedures at TABLEAUX'99
Other activities and positions
Present
- Studiendekan für Informatik (dean of studies) der Fakultät für Informatik am KIT
- Member of the Senate of KIT
- Vertrauensdozent (liaison professor) of the "Studienstiftung des Deutschen Volkes"
- Substitute Member of the Management Committee of COST Action IC1205 "Computational Social Choice"
- Sprecher der GI-Fachgruppe "Deduktionssysteme" - DedSys (Fachbereich Künstliche Intelligenz)
- Mitglied der Fachgruppenleitung der GI-Fachgruppe "Formale Methoden und Software Engineering für Sichere Systeme" - FoMSESS (FB Sicherheit)
Past
- Member of the KIT Council for Research and Promotion of Young Scientists (CRYS) (2011-2013)
- Chair of COST Action IC0701 (2008-2012)
- Vice President, TABLEAUX Steering Committee