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.

Conference or Workshop Chair

Chair of the Workshop Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarekomponenten, Physikzentrum Bad Honnef, Mai 2000.

Program Committee Member

Member of the Program committee, FLoC'99 workshop on "Runtime Result Verification", Trento, Italy, July 6, 1999.

Conference or Workshop Chair

Co-chair of the Program and Organization committee, Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme, Physikzentrum Bad Honnef, May 1999.

Program Committee Member

Co-chair and member of the Program and Organisation committee, 2nd German Working Conference on Programming Languages (2. Arbeitstagung Programmiersprachen), Paderborn, Oct 6, 1999.

Conference or Workshop Chair

Chair of the first Kiel Week Workshop on the Engineering of Software Verification, Validation, and Certification, Kiel, June 1998.

Conference or Workshop Chair

Co-chair of the Program and Organization committe, 7th International Workshop of Functional and Logic Programming, Physikzentrum Bad Honnef, April 1998.

Conference or Workshop Chair

Co-chair of the Program and Organization committee, KI 1998 Workshop Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen, Bremen, September 1998.

Program Committee Member

Member of the Program committee, German Working Conference on Programming Languages (Arbeitstagung Programmiersprachen), Aachen, October, 1997.