Science Organization

Chairman of the Advisory Board (Beirat) of the Minerva Center "Verification of Reactive Systems" at the Weizmann Institute in Rehovot, Israel, 1998-2005
Member of the editorial board of the "Journal of Logic in Computer Science", Oxford University Press
Member of the Inspection and Advisory Board (Fachbeirat) of the Max-Planck-Institut für Informatik in Saarbrücken, 1992-2000
Coordinator of the EU ESPRIT 4 Working Group 22704 ASPIRE, 1997-2000
Organizer, Coorganizer, member of program committee etc. of many conferences and workshops



Memberships

IFIP Working Group 3.1 (Foundations of System Specification), since 1992
IFIP Working Group 2.6 (Databases), 1985-96
GI Fachausschuss 2.5 (Rechnergestützte Informations-systeme), 1987-98
ISO TC96 SC 5 WG 3 (Conceptual Model), 1979-82
ACM, IEEE, GI, EATCS (until 2000)
Braunschweigische Wissenschaftliche Gesellschaft, since 1992


Last update: June 2008