September 8 – 13 , 2013, Dagstuhl Seminar 13372
Last update: February 28 2014

Integration of Tools for Rigorous Software Construction and Analysis

Participants

  • Paolo Arcaini (University of Milan, IT)
  • Jens Bendisposto (Heinrich-Heine-Universität Düsseldorf, DE)
  • Egon Börger (University of Pisa, IT)
  • Marcel Dausend (Universität Ulm, DE)
  • David Déharbe (Federal University of Rio Grande do Norte, BR)
  • Albert Fleischmann (Metasonic AG – Pfaffenhofen, DE)
  • Marc Frappier (University of Sherbrooke, CA)
  • Leo Freitas (University of Newcastle, GB)
  • Angelo Gargantini (University of Bergamo, IT)
  • Vincenzo Gervasi (University of Pisa, IT)
  • Uwe Glässer (Simon Fraser University – Burnaby, CA)
  • Stefan Hallerstede (Aarhus University, DK)
  • Dominik Hansen (Heinrich-Heine-Universität Düsseldorf, DE)
  • Ian Hayes (The University of Queensland – Brisbane, AU)
  • Cliff B. Jones (University of Newcastle, GB)
  • Markus Alexander Kuppe (Universität Hamburg, DE)
  • Peter Gorm Larsen (Aarhus University, DK)
  • Thierry Lecomte (CLEARSY – Aix-en-Provence, FR)
  • Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE)
  • Fernando Mejia (Alstom Transport – Saint-Quen, FR)
  • Stephan Merz (LORIA – Nancy, FR)
  • Andreas Prinz (University of Agder – Grimstad, NO)
  • Alexander Raschke (Universität Ulm, DE)
  • Elvinia Riccobene (University of Milan, IT)
  • Gerhard Schellhorn (Universität Augsburg, DE)
  • Klaus-Dieter Schewe (Software Competence Center – Hagenberg, AT)
  • Colin F. Snook (University of Southampton, GB)
  • Hernán Vanzetto (INRIA Lorraine – Nancy, FR)
  • Laurent Voisin (SYSTEREL Aix en Provence, FR)
  • Qing Wang (Australian National University, AU)
  • Kirsten Winter (The University of Queensland – Brisbane, AU)
  • Hamed Yaghoubi Shahir (Simon Fraser University – Burnaby, CA)