Wissenschaftliche Herausgebertätigkeit

• Mitherausgeber des Archive for Mathematical Logic, seit 1985.
• Mitherausgeber der Annals of Pure and Applied Logic, von 1983 bis 1989.
• Managing Editor der Studies in Proof Theory, Bibliopolis, seit 1983.
• Mitherausgeber bzw. Herausgeber von 2 Bänden der Proceedings der Internationalen Sommerschule Marktoberdorf:

  Logic and Algebra of Specification. NATO ASI Series F: Computer and Systems Sciences, Editors F.L. Bauer and W. Brauer and H. Schwichtenberg, Springer, Berlin 1993.

  Proof and Computation, NATO ASI Series F: Computer and Systems Sciences, Editor H. Schwichtenberg, Springer, Heidelberg 1995.