Memberships and Positions
(besides the universities' committees)

• 1969 representative of Prof. Samelson in the ad hoc GAMM/NTG-committee, Bonn, for defining informatics as a new university curriculum
• 1969 co-founder of the "Gesellschaft für Informatik (GI)" - society of informatics
• 1969 - 71 first secretary of GI
• 1970 - 80 elected DFG-reviewer for informatics
• 1975 - 80 chairman of the DFG-reviewers-committee for informatics
• 1970 - 80 chairman of the GI-committee "Programming Languages"
• 1975 - 98 member of the IFIP-Working Group 2.2 ``Formal Description of Programming Concepts''
• since 1970 DFG-reviewer and correspondent for Sonderforschungsbereiche, Schwerpunktprogramme und Graduierten-Kollegs
• 1990 - 93 senate member of the Deutschen Forschungsgemeinschaft (DFG)
• 1991 - 98 chairman of the reviewers group of the DFG-Schwerpunktprogramm "Deduction"
• since 1988 scientific consultant of the German-Israeli Foundation (GIF) of scientific and development
• 1991 - 92 member of the transition committee "Mathematics-Informatics" of the new federal state Mecklenburg-Vorpommern
• since 1996 chairman of the advisory board of the technology centre of informatics TZI of Bremen University