Editor-in-Chief: Prof. Dr. Raimund Seidel (Wissenschaftlicher Direktor Schloss Dagstuhl)

Managing Editor: Dr. Michael Wagner (Wissenschaftlicher Stab Schloss Dagstuhl)

Editorial Assistance: Jutka Gasiorowski, Dagmar Glaser (Schloss Dagstuhl)

Editorial Board: (Wissenschaftliches Direktorium Schloss Dagstuhl)

• Prof. Dr. Elisabeth André, Universität Augsburg, DE
• Prof. Dr.-Ing. Franz Baader,TU Dresden, DE
• Prof. Gilles Barthe, Ph.D., IMDEA Software Institute Madrid, ES
• Prof. Dr. Daniel Cremers, TU München, DE
• Prof. Dr. Reiner Hähnle, TU Darmstadt, DE
• Prof. Dr. Barbara Hammer, Universität Bielefeld, DE
• Prof. Dr. Lynda Hardman, Centrum Wiskunde & Informatica (CWI), Amsterdam and University of Utrecht, NL
• Prof. Dr.-Ing. Oliver Kohlbacher, Eberhard Karls Universität Tübingen, DE
• Prof. Dr.-Ing. Bernhard Mitschang, Universität Stuttgart, DE
• Prof. Dr. Albrecht Schmidt, Ludwig-Maximilians-Universität München, DE
• Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Friedrich-Alexander-Universität Erlangen-Nürnberg, DE
• Dr. Emmanuel Thomé, INRIA Nancy - Grand Est, FR
• Prof. Dr. Heike Wehrheim, Universität Paderborn, DE
• Prof. Dr. Verena Wolf, Universität des Saarlandes, DE
• Prof. Dr. Martina Zitterbart, Karlsruher Institut für Technologie, DE