May 21 – 25 , 2018, Dagstuhl Seminar 18211
Last update: November 20 2018

Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance

Participants

  • Paul C. Attie (American University of Beirut, LB) [dblp]
  • Hagit Attiya (Technion – Haifa, IL) [dblp]
  • A. R. Balasubramanian (Chennai Mathematical Institute, IN) [dblp]
  • Michael Blondin (TU München, DE) [dblp]
  • Benedikt Bollig (ENS – Cachan, FR) [dblp]
  • Borzoo Bonakdarpour (McMaster University – Hamilton, CA) [dblp]
  • Ahmed Bouajjani (University Paris-Diderot, FR) [dblp]
  • Dan Brownstein (Ben Gurion University – Beer Sheva, IL) [dblp]
  • Keren Censor-Hillel (Technion – Haifa, IL) [dblp]
  • Aiswarya Cyriac (Chennai Mathematical Institute, IN) [dblp]
  • Giorgio Delzanno (University of Genova, IT) [dblp]
  • Cezara Dragoi (ENS – Paris, FR) [dblp]
  • Jo Ebergen (Oracle Labs – Redwood Shores, US) [dblp]
  • Yuval Emek (Technion – Haifa, IL) [dblp]
  • Constantin Enea (University Paris-Diderot, FR) [dblp]
  • Javier Esparza (TU München, DE) [dblp]
  • Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
  • Marie Fortin (ENS – Cachan, FR) [dblp]
  • Pierre Fraigniaud (University Paris-Diderot and CNRS, FR) [dblp]
  • Matthias Függer (ENS – Cachan, FR) [dblp]
  • Paul Gastin (ENS – Cachan, FR) [dblp]
  • Swen Jacobs (Universität des Saarlandes, DE) [dblp]
  • Igor Konnov (INRIA Nancy – Grand Est, FR) [dblp]
  • Sandeep Kulkarni (Michigan State University – East Lansing, US) [dblp]
  • Marijana Lazic (TU Wien, AT) [dblp]
  • Jérémy Ledent (Ecole Polytechnique – Palaiseau, FR) [dblp]
  • Martin Leucker (Universität Lübeck, DE) [dblp]
  • Stephan Merz (INRIA Nancy – Grand Est, FR) [dblp]
  • Roland Meyer (TU Braunschweig, DE) [dblp]
  • Yoram Moses (Technion – Haifa, IL) [dblp]
  • Anca Muscholl (University of Bordeaux, FR) [dblp]
  • Rotem Oshman (Tel Aviv University, IL) [dblp]
  • Mor Perry (Tel Aviv University, IL) [dblp]
  • Sergio Rajsbaum (National Autonomous University of Mexico, MX) [dblp]
  • David A. Rosenblueth (Universidad Nacional Autonoma – Mexico, MX) [dblp]
  • Arnaud Sangnier (University Paris-Diderot, FR) [dblp]
  • Ana Sokolova (Universität Salzburg, AT) [dblp]
  • Paola Spoletini (Kennesaw State University – Marietta, US) [dblp]
  • Corentin Travers (University of Bordeaux, FR) [dblp]
  • Igor Walukiewicz (University of Bordeaux, FR) [dblp]
  • Philipp Woelfel (University of Calgary, CA) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner