July 9 – 13 , 2006, Dagstuhl Seminar 06281
Last update: October 19 2010

The Challenge of Software Verification

Participants

  • Jean-Raymond Abrial (ETH Zürich, CH)
  • Anindya Banerjee (Kansas State University, US)
  • Gilles Barthe (INRIA Sophia Antipolis – Méditerranée, FR)
  • Bernhard Beckert (Universität Koblenz-Landau, DE)
  • Joshua Berdine (Microsoft Research UK – Cambridge, GB)
  • Yves Bertot (INRIA Sophia Antipolis – Méditerranée, FR)
  • Egon Börger (University of Pisa, IT)
  • Richard Bornat (Middlesex University, GB)
  • Manfred Broy (TU München, DE)
  • Michael Butler (University of Southampton, GB)
  • Cristiano Calcagno (Imperial College London, GB)
  • Rod Chapman (Praxis High Integrity Systems Ltd. – Bath, GB)
  • Byron Cook (Microsoft Research UK – Cambridge, GB)
  • Patrick Cousot (ENS – Paris, FR)
  • Reiner Hähnle (Chalmers UT – Göteborg, SE)
  • Stefan Hallerstede (ETH Zürich, CH)
  • Moritz Hammer (LMU München, DE)
  • Charles Anthony Richard Hoare (Microsoft Research UK – Cambridge, GB)
  • Marieke Huisman (INRIA Sophia Antipolis – Méditerranée, FR)
  • Dieter Hutter (DFKI – Saarbrücken, DE)
  • Bart Jacobs (Radboud University Nijmegen, NL)
  • Cliff B. Jones (University of Newcastle, GB)
  • Joseph Roland Kiniry (University College Dublin, IE)
  • Daniel Kroening (ETH Zürich, CH)
  • Gary T. Leavens (Iowa State University, US)
  • K. Rustan M. Leino (Microsoft Research – Redmond, US)
  • Etienne Lozes (ENS – Cachan, FR)
  • Tiziana Margaria (Universität Potsdam, DE)
  • Bertrand Meyer (ETH Zürich, CH)
  • Jayadev Misra (University of Texas – Austin, US)
  • C. Carroll Morgan (UNSW – Sydney, AU)
  • David A. Naumann (Stevens Institute of Technology, US)
  • Tobias Nipkow (TU München, DE)
  • Peter O'Hearn (Queen Mary University of London, GB)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Lawrence Paulson (University of Cambridge, GB)
  • Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
  • Erik Poll (Radboud University Nijmegen, NL)
  • Wolfgang Reif (Universität Augsburg, DE)
  • Tamara Rezk (INRIA Sophia Antipolis – Méditerranée, FR)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Kaisa Sere (Abo Akademi University – Turku, FI)
  • Natarajan Shankar (SRI – Menlo Park, US)
  • Bernhard Steffen (TU Dortmund, DE)
  • Andrzej Tarlecki (University of Warsaw, PL)
  • Pawel Urzyczyn (University of Warsaw, PL)
  • Tarmo Uustalu (Technical University – Tallinn, EE)
  • Helmut Veith (TU München, DE)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Jim C. P. Woodcock (University of York, GB)
  • Kwangkeun Yi (Seoul National University, KR)