April 1 – 5 , 2013, Dagstuhl Seminar 13141
Last update: April 29 2013

Formal Verification of Distributed Algorithms

Participants

  • Béatrice Bérard (UPMC – Paris, FR)
  • Péter Bokor (ALTEN Engineering – Berlin, DE)
  • Borzoo Bonakdarpour (University of Waterloo, CA)
  • Pierre Castéran (University of Bordeaux, FR)
  • Bernadette Charron-Bost (Ecole Polytechnique – Palaiseau, FR)
  • Marie Duflot (LORIA & INRIA Nancy, FR)
  • Cormac Flanagan (University of California – Santa Cruz, US)
  • Matthias Függer (TU Wien, AT)
  • Alexey Gotsman (IMDEA Software – Madrid, ES)
  • Serge Haddad (ENS – Cachan, FR)
  • Gerwin Klein (Data61 / NICTA – Sydney, AU)
  • Igor Konnov (TU Wien, AT)
  • Fabrice Kordon (UPMC – Paris, FR)
  • Akash Lal (Microsoft Research India – Bangalore, IN)
  • Victor Luchangco (Oracle Corporation – Burlington, US)
  • Stephan Merz (LORIA – Nancy, FR)
  • Uwe Nestmann (TU Berlin, DE)
  • Thomas Nowak (Ecole Polytechnique – Palaiseau, FR)
  • Eric Ruppert (York University – Toronto, CA)
  • John Rushby (SRI – Menlo Park, US)
  • Andrey Rybalchenko (TU München, DE)
  • André Schiper (EPFL – Lausanne, CH)
  • Klaus Schneider (TU Kaiserslautern, DE)
  • Philippe Schnoebelen (ENS – Cachan, FR)
  • Wilfried Steiner (TTTech Computertechnik – Wien, AT)
  • Murali Talupur (Intel Corp. – Hillsboro, US)
  • Serdar Tasiran (Koc University – Istanbul, TR)
  • Helmut Veith (TU Wien, AT)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
  • Jennifer L. Welch (Texas A&M University – College Station, US)
  • Josef Widder (TU Wien, AT)
  • Karsten Wolf (Universität Rostock, DE)