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