17. – 22. Januar 2010, Dagstuhl-Seminar 10031
Letzte Aktualisierung: 17. November 2011

Quantitative Models: Expressiveness and Analysis

Participants

  • Franz Baader (TU Dresden, DE)
  • Christel Baier (TU Dresden, DE)
  • Nathalie Bertrand (INRIA Rennes – Bretagne Atlantique, FR)
  • Benedikt Bollig (ENS – Cachan, FR)
  • Patricia Bouyer-Decitre (ENS – Cachan, FR)
  • Ed Brinksma (University of Twente, NL)
  • Peter Buchholz (TU Dortmund, DE)
  • Pedro R. D'Argenio (Universidad Nacional de Córdoba, AR)
  • Josée Desharnais (Université Laval – Québec, CA)
  • Manfred Droste (Universität Leipzig, DE)
  • Zoltan Esik (University of Szeged, HU)
  • Zoltan Fülöp (University of Szeged, HU)
  • Paul Gastin (ENS – Cachan, FR)
  • Marcus Groesser (TU Dresden, DE)
  • Serge Haddad (ENS – Cachan, FR)
  • Holger Hermanns (Universität des Saarlandes, DE)
  • Line Juhl (Aalborg University, DK)
  • Marcin Jurdzinski (University of Warwick – Coventry, GB)
  • Jan Kretinsky (TU München, DE)
  • Werner Kuich (TU Wien, AT)
  • Francois Laroussinie (University Paris-Diderot, FR)
  • Kim Guldstrand Larsen (Aalborg University, DK)
  • Diego Latella (CNR – Pisa, IT)
  • Ranko Lazic (University of Warwick – Coventry, GB)
  • Axel Legay (University of Liège, BE)
  • Andreas Maletti (Universitat Rovira i Virgili – Tarragona, ES)
  • Nicolas Markey (ENS – Cachan, FR)
  • Mieke Massink (CNR – Pisa, IT)
  • Bo Friis Nielsen (Technical University of Denmark – Lyngby, DK)
  • Flemming Nielson (Technical University of Denmark – Lyngby, DK)
  • Gethin Norman (University of Glasgow, GB)
  • Mikkel Larsen Pedersen (Aalborg University, DK)
  • Karin Quaas (Universität Leipzig, DE)
  • Anne Remke (University of Twente, NL)
  • Hanne Riis Nielson (Technical University of Denmark – Lyngby, DK)
  • Jacques Sakarovitch (ENST – Paris, FR)
  • Philippe Schnoebelen (ENS – Cachan, FR)
  • Roberto Segala (University of Verona, IT)
  • Markus Siegle (Universität der Bundeswehr – München, DE)
  • Marielle Stoelinga (University of Twente, NL)
  • Claus Thrane (Aalborg University, DK)
  • Franck van Breugel (York University – Toronto, CA)
  • Heiko Vogler (TU Dresden, DE)
  • Andrzej Wasowski (IT University of Copenhagen, DK)
  • Rafael Wisniewski (Aalborg University, DK)