HOME | LEGALS | PRIVACY POLICY | SITEMAP | KIT

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


Organisation of Workshops etc.


Tutorials


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