Editorships


J. Aguado, M. Mendler, (eds.): Proceedings Model-driven High-level Programming of Embedded Systems (SLA++P 2007), Braga, Portugal, March 2007.

G. Lüttgen, N. Martinez Madrid, M. Mendler (eds.): Proceedings Workshop Semantic Foundations of Engineering Design Languages (SFEDL 2004), Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 115, January 2005.

M. Broy, G. Lüttgen, M. Mendler (eds.): Semantic Foundations of Engineering Design Languages. Special issue of the Journal Formal Aspects of Computing, 2 Volumes, Vol. 15, No. 4, December 2003 and Vol. 16, No. 4, August 2004, Springer Verlag.

V. De Paiva, R. Gore, M. Mendler (eds.): Modalities in Constructive Modal Logics and Type Theories. Special issue of the Journal Logic and Computation, Oxford University Press, Vol. 14, No. 4, August 2004.

R. Gore, M. Mendler, V. de Paiva (eds.): Proceedings Intuitionistic Modal Logic and Applications (IMLA 2002), Bamberger Beitr?ge zur Wirtschaftsinformatik und Angewandten Informatik, Nr. 61, University of Bamberg, July 2002.

G. Lüttgen, F. Maraninchi, M. Mendler (eds.): Proceedings Workshop Semantic Foundations of Engineering Design Languages (SFEDL 2002), University of Grenoble, April 2002.

M. Fairtlough, M. Mendler, E. Moggi (eds.): Modalities in Type Theory. Special issue of the Journal Mathematical Structures in Computer Science, Vol. 11, No.2, Cambridge University Press, 2001.