November 2 – 7 , 2003, Dagstuhl Seminar 03451

Applied Deductive Verification

Participants

  • André Arnold (University of Bordeaux, FR)
  • Thomas Arts (IT University of Göteborg, SE)
  • Thomas Ball (Microsoft Research – Redmond, US)
  • David Basin (ETH Zürich, CH)
  • Armin Biere (Universität Linz, AT)
  • Patrick Cousot (ENS – Paris, FR)
  • Radhia Cousot (Ecole Polytechnique – Palaiseau, FR)
  • Hubert Garavel (INRIA – Grenoble, FR)
  • Alain Griffault (University of Bordeaux, FR)
  • John R. Harrison (Intel – Hillsboro, US)
  • Holger Hermanns (Universität des Saarlandes, DE)
  • Hardi Hungar (Universität Oldenburg, DE)
  • Warren A. Hunt (University of Texas – Austin, US)
  • Dieter Hutter (DFKI – Saarbrücken, DE)
  • Patrick Maier (MPI für Informatik – Saarbrücken, DE)
  • Kenneth McMillan (Cadence Labs – Berkeley, US)
  • J Strother Moore (University of Texas – Austin, US)
  • Martijn Oostdijk (Radboud University Nijmegen, NL)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Lawrence C. Paulson (University of Cambridge, GB)
  • Doron A. Peled (University of Warwick – Coventry, GB)
  • Mark Pichora (MPI für Informatik – Saarbrücken, DE)
  • Amir Pnueli (New York University, US)
  • Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
  • Sriram K. Rajamani (Microsoft Research – Redmond, US)
  • Harald Ruess (SRI – Menlo Park, US)
  • Andrey Rybalchenko (MPI für Informatik – Saarbrücken, DE)
  • Mooly Sagiv (Tel Aviv University, IL)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Johann M. Schumann (NASA / RIACS – Moffett Field, US)
  • Bernhard Steffen (TU Dortmund, DE)
  • Marten Van Hulst (Philips Research Europe – Eindhoven, NL)
  • Uwe Waldmann (MPI für Informatik – Saarbrücken, DE)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Greta Yorsh (Tel Aviv University, IL)
  • Lenore D. Zuck (University of Illinois – Chicago, US)