Professional Activities

Chair or Co-chair of Special Interest Group

Chairman of the Working Group FG 2.1.4 "Programmiersprachen und Rechenkonzepte" of the German Computer Science Society GI (Gesellschaft für Informatik e.V.)

Chair or Co-chair of Special Interest Group

Vice Chairman of the Working Group FG 1.1.1 "Deklarative KI-Programmierung" of the German Computer Science Society GI (Gesellschaft für Informatik e.V.)

Conference or Workshop Chair

Co-chair of the Program and Organization committee, Workshop Sprachen, Architekturen und neue objektorientierte Softwaretechniken, Physikzentrum Bad Honnef, May 2001.

Program Committee Member

Member of the Program committee, ACL2 Workshop 2002, April 2002, Grenoble, France.

Program Committee Member

Member of the Program committee, ACL2 Workshop 2000, Oct. 30-31, 2000, Austin, Texas, USA.

Conference or Workshop Chair

Chair of the 2nd Kiel Week Workshop on the Engineering of Software Verification, Validation, and Certification, Kiel, June 2000.