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

• 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