March 2 – 7 , 2003, Dagstuhl Seminar 03101

Reasoning about Shape

Participants

  • Anindya Banerjee (Kansas State University, US)
  • Joshua Berdine (Queen Mary University of London, GB)
  • Bruno Blanchet (ENS – Paris, FR)
  • Richard Bornat (Middlesex University, GB)
  • Cristiano Calcagno (Imperial College London, GB)
  • Radhia Cousot (Ecole Polytechnique – Palaiseau, FR)
  • Reiner Hähnle (Chalmers UT – Göteborg, SE)
  • Michael Huth (Imperial College London, GB)
  • Jörg Kreiker (Universität des Saarlandes, DE)
  • Viktor Kuncak (MIT – Cambridge, US)
  • Oukseh Lee (KAIST – Daejeon, KR)
  • Alexey Loginov (University of Wisconsin – Madison, US)
  • Patrick Maier (MPI für Informatik – Saarbrücken, DE)
  • Roman Manevich (Tel Aviv University, IL)
  • Markus Müller-Olm (Universität Münster, DE)
  • Anders Møller (Aarhus University, DK)
  • David A. Naumann (Stevens Institute of Technology, US)
  • Peter O'Hearn (Queen Mary University of London, GB)
  • Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
  • Uday Reddy (University of Birmingham, GB)
  • Jakob Rehof (Microsoft Research – Redmond, US)
  • Thomas W. Reps (University of Wisconsin – Madison, US)
  • Martin C. Rinard (MIT – Cambridge, US)
  • Oliver Rüthing (TU Dortmund, DE)
  • Mooly Sagiv (Tel Aviv University, IL)
  • David Schmidt (Kansas State University, US)
  • Helmut Seidl (TU München, DE)
  • Elodie-Jane Sims (Ecole Polytechnique – Palaiseau, FR)
  • Hayo Thielecke (University of Birmingham, GB)
  • Nelson Vogel (University of Sao Paulo, BR)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Eran Yahav (Tel Aviv University, IL)
  • Hongseok Yang (Seoul National University, KR)
  • Kwangkeun Yi (Seoul National University, KR)
  • Greta Yorsh (Tel Aviv University, IL)