Committees

1st Workshop on Formal Methods for Blockchains

hosted by the 3rd Formal Methods World Congress on October 11, 2019 in Porto, Portugal

Chairs

Bruno Bernardo (bruno@nomadic-labs.com)
Néstor Cataño (nestor.catano@gmail.com)
Diego Marmsoler (diego.marmsoler@tum.de)

Program Committee

Pietro Abate (Nomadic Labs, France)
Ijaz Ahmed (University of Madeira, Portuga)
Jonathan Aldrich (Carnegie Mellon University, USA)
Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
Bruno Bernardo (Nomadic Labs, France)
Sukriti Bhattacharya (LIST, Luxembourg)
Néstor Cataño (Universidad del Norte, Colombia)
Maria Christakis (MPI-SWS, Germany)
Léa-Zaynah Dargaye (CEA LIST, France)
Georges Gonthier (Inria, France)
Neville Grech (University of Athens, Greece / University of Malta, Malta)
Davide Grossi (University of Groningen, Netherlands)
Sorren Hanvey (Liverpool John Moores University, UK)
Andreas Lochbihler (Digital Asset, Swiss)
Diego Marmsoler (Technische Universitat Munchen, Germany)
Anastasia Mavridou (NASA Ames, USA)
Simão Melo de Sousa (Universidade da Beira Interior, Portugal)
Fabio Mogavero (Università degli Studi di Napoli, Italy)
Peter Csaba Ölveczky (University of Oslo, Norway)
Karl Palmskog (University of Texas at Austin, USA)
Vincent Rahli (University of Luxembourg, Luxembourg)
Steve Reeves (University of Waikato, New Zealand)
Camilo Rueda (Pontificia Universidad Javeriana, Colombia)
Claudio Russo (Dfinity Foundation, USA)
Jorge Sousa Pinto (Universidade do Minho, Portugal)
Bas Spitters (Aarhus University, Denmark)
Christoph Sprenger (ETH, Zürich)
Mark Staples (Data61, Australia)
Philip Wadler (University of Edinburgh / IOHK, UK)
Xi Wu (The University of Queensland, Australia)
Santiago Zanella-Beguelin (Microsoft Research Cambridge, UK)

Google Sites

Report abuse