December 16 – 21 , 2012, Dagstuhl Seminar 12511
Last update: December 18 2015

Divide and Conquer: the Quest for Compositional Design and Analysis

Participants

  • Wolfgang Ahrendt (Chalmers UT – Göteborg, SE)
  • Simon Bliudze (EPFL – Lausanne, CH)
  • Einar Broch Johnsen (University of Oslo, NO)
  • Ferruccio Damiani (University of Turin, IT)
  • Rayna Dimitrova (Universität des Saarlandes, DE)
  • Christian Eisentraut (Universität des Saarlandes, DE)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Kathi Fisler (Worcester Polytechnic Institute, US)
  • Susanne Graf (VERIMAG – Grenoble, FR)
  • Dilian Gurov (KTH Royal Institute of Technology, SE)
  • Reiner Hähnle (TU Darmstadt, DE)
  • Ludovic Henrio (INRIA Sophia Antipolis – Méditerranée, FR)
  • Marieke Huisman (University of Twente, NL)
  • Bart Jacobs (KU Leuven, BE)
  • Barbara Jobstmann (VERIMAG – Grenoble, FR)
  • Christian Kästner (Carnegie Mellon University – Pittsburgh, US)
  • Shmuel Katz (Technion – Haifa, IL)
  • Shriram Krishnamurthi (Brown University – Providence, US)
  • Malte Lochau (TU Darmstadt, DE)
  • Oscar M. Nierstrasz (Universität Bern, CH)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
  • Erik Poll (Radboud University Nijmegen, NL)
  • Sophie Quinton (TU Braunschweig, DE)
  • Johannes Reich (SAP SE – Walldorf, DE)
  • Arend Rensink (University of Twente, NL)
  • Ina Schaefer (TU Braunschweig, DE)
  • Malte Schwerhoff (ETH Zürich, CH)
  • Vasiliki Sfyrla (VISEO – Lyon, FR)
  • Marjan Sirjani (Reykjavik University, IS)
  • Lei Song (Universität des Saarlandes, DE)
  • Martin Steffen (University of Oslo, NO)
  • Marielle Stoelinga (University of Twente, NL)
  • Ufuk Topcu (University of Pennsylvania, US)
  • Stavros Tripakis (University of California – Berkeley, US)
  • Andrzej Wasowski (IT University of Copenhagen, DK)