Conference Organisation

• SafeCert 2009: "Certification of Safety-Critical Software Controlled Systems", the second workshop in the SafeCert series, SafeCert09. A satellite event to ETAPS'09, York, 22-29 March 2009, ETAPS'09.
• SafeCert 2008: A satellite workshop to ETAPS'08 on "Certification of Safety-Critical Software Controlled Systems" together with Michaela Huhn (TU Braunschweig). SafeCert08
• SoftZert 2008: A satellite workshop to Software Engineering 2008 on "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme", together with Erwin Reyzl, Siemens CT. SoftZert2008
• Dagstuhl Seminar 07241:
A workshop on "Tools for the Model-based Development of Certifiable, Dependable Systems", together with Michaela Huhn (TU Braunschweig) and Doron Peled (U Warwick) Dagstuhl 07241

I have served (among others) on the program committees of CONCUR'95, TACAS'01, CHARME'01, ICECCS'04, ICECCS'05, FMICS'05, MBEES'07, SEFM'07, OMER 4, ICECCS'09, MBEES'09, SEW-33, MBEES'10, NFPinDSML'10, MBEES'11, SEW-34, MBEES'13