Program Committee

• Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
• Lacramioara Astefanoei (Nomadic Labs, France)
• Massimo Bartoletti (University of Cagliari, Italy)
• Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
• Bruno Bernardo (Nomadic Labs, France) (Co-chair)
• Achim Brucker (University of Exeter, UK)
• Silvia Crafa (Universita di Padova, Italy)
• Zaynah Dargaye (Nomadic Labs, France)
• Jérémie Decouchant (University of Luxembourg, Luxembourg)
• Ansgar Fehnker (University of Twente, Netherlands)
• Georges Gonthier (Inria, France)
• Maurice Herlihy (Brown University, USA)
• Florian Kammueller (Middlesex University London, UK)
• Igor Konnov (Informal, Austria)
• Andreas Lochbihler (Digital Asset, Switzerland)
• Diego Marmsoler (University of Exeter, UK) (Co-chair)
• Anastasia Mavridou (NASA Ames, USA)
• Simão Melo de Sousa (Universidade da Beira Interior, Portugal)
• Andrew Miller (University of Illinois at Urbana-Champaign, USA)
• Karl Palmskog (KTH, Sweden)
• Vincent Rahli (University of Birmingham, UK)
• Andreas Rossberg (Dfinity Foundation, Germany)
• Claudio Russo (Dfinity Foundation, USA)
• César Sanchez (Imdea, Spain)
• Clara Schneidewind (TU Wien, Austria)
• Ilya Sergey (Yale-NUS College/NUS, Singapore)
• Bas Spitters (Aarhus University/Concordium, Denmark)
• Mark Staples (CSIRO Data61, Australia)
• Meng Sun (Peking University, China)
• Simon Thompson (University of Kent, UK)
• Philip Wadler (University of Edinburgh / IOHK, UK)