November 30 – December 3 , 2010, Dagstuhl Perspectives Workshop 10482
Last update: November 17 2011

Formal Methods - Just a Euro-Science?

Participants

  • Krzysztof Apt (CWI – Amsterdam, NL)
  • Thomas Ball (Microsoft Corporation – Redmond, US)
  • Dines Bjorner (Holte, DK)
  • Patrick Cousot (ENS – Paris, FR)
  • Cindy Eisner (IBM – Haifa, IL)
  • Javier Esparza (TU München, DE)
  • Steffen Görzig (Daimler AG – Böblingen, DE)
  • Yuri Gurevich (Microsoft Corporation – Redmond, US)
  • Marc Herbstritt (Schloss Dagstuhl, DE)
  • Manuel Hermenegildo (IMDEA Software – Madrid, ES)
  • Bengt Jonsson (Uppsala University, SE)
  • Joseph Roland Kiniry (IT University of Copenhagen, DK)
  • Jörg Kreiker (SMA Solar Technology, DE)
  • Wei Li (Beihang University, CN)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Erik Poll (Radboud University Nijmegen, NL)
  • Sriram K. Rajamani (Microsoft Research India – Bangalore, IN)
  • Jean-Francois Raskin (Free University of Brussels, BE)
  • John Rushby (SRI – Menlo Park, US)
  • Donald Sannella (University of Edinburgh, GB)
  • Wei Sun (Beihang University, CN)
  • Andrzej Tarlecki (University of Warsaw, PL)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Moshe Y. Vardi (Rice University – Houston, US)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Jim C. P. Woodcock (University of York, GB)
  • Lenore D. Zuck (NSF – Arlington, US)