April 21 – 25 , 2003, Dagstuhl Seminar 03171

Deduction and Infinite-state Model Checking

Participants

  • Alessandro Armando (University of Genova, IT)
  • Franz Baader (TU Dresden, DE)
  • Peter Baumgartner (MPI für Informatik – Saarbrücken, DE)
  • Christoph Benzmüller (Universität des Saarlandes, DE)
  • Wolfgang Bibel (TU Darmstadt, DE)
  • Bernard Boigelot (University of Liège, BE)
  • Maria Paola Bonacina (University of Verona, IT)
  • Ahmed Bouajjani (University Paris-Diderot, FR)
  • Tevfik Bultan (University of California – Santa Barbara, US)
  • Hans de Nivelle (MPI für Informatik – Saarbrücken, DE)
  • Anatoli Degtyarev (King's College London, GB)
  • Amy Felty (University of Ottawa, CA)
  • Ulrich Furbach (Universität Koblenz-Landau, DE)
  • Harald Ganzinger (MPI-SWS – Saarbrücken, DE)
  • Martin Giese (Chalmers UT – Göteborg, SE)
  • Jürgen Giesl (RWTH Aachen, DE)
  • Thomas Hillenbrand (MPI für Informatik – Saarbrücken, DE)
  • Deepak Kapur (University of New Mexico – Albuquerque, US)
  • Yevgeny Kazakov (MPI für Informatik – Saarbrücken, DE)
  • Konstantin Korovin (University of Manchester, GB)
  • Axel Legay (University of Liège, BE)
  • Alexander Leitsch (TU Wien, AT)
  • Reinhold Letz (TU München, DE)
  • David McAllester (TTIC – Chicago, US)
  • William McCune (Argonne National Laboratory, US)
  • Aart Middeldorp (University of Tsukuba, JP)
  • Marius Minea (Polytechnical University – Timisoara, RO)
  • Robert Nieuwenhuis (UPC – Barcelona, ES)
  • David A. Plaisted (University of North Carolina at Chapel Hill, US)
  • Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
  • Silvio Ranise (INRIA Lorraine – Nancy, FR)
  • Jean-Francois Raskin (Free University of Brussels, BE)
  • Julian Richardson (NASA / RIACS – Moffett Field, US)
  • Albert Rubio (UPC – Barcelona, ES)
  • Michaël Rusinowitch (INRIA Lorraine – Nancy, FR)
  • Renate Schmidt (University of Manchester, GB)
  • Manfred Schmidt-Schauss (Universität Frankfurt, DE)
  • Philippe Schnoebelen (ENS – Cachan, FR)
  • Stephan Schulz (TU München, DE)
  • Sanjit A. Seshia (Carnegie Mellon University – Pittsburgh, US)
  • John Slaney (Australian National University – Canberra, AU)
  • Gernot Stenz (TU München, DE)
  • Mark Stickel (SRI – Menlo Park, US)
  • Mahadevan Subramaniam (University of Nebraska, US)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Ashish Tiwari (SRI – Menlo Park, US)
  • Helmut Veith (TU München, DE)
  • Robert Veroff (University of New Mexico – Albuquerque, US)
  • Andrei Voronkov (University of Manchester, GB)