Program Committee

• Diego Marmsoler, University of Exeter, UK
• Meng Xu, University of Waterloo, Canada

Feel free to contact them.

Program Committee

• Massimo Bartoletti (University of Cagliari)
• Bernhard Beckert (Karlsruhe Institute of Technology)
• Franck Cassez (Movement Labs)
• Denisa Diaconescu (University of Bucharest)
• Maurice Herlihy (Brown University)
• Sebastian Holler (Max Planck Institute for Security and Privacy)
• Enrico Lipparini (University of Genoa)
• Fan Long (University of Toronto)
• Orestis Melkonian (Input Output (IOG))
• Baoluo Meng (GE Aerospace Research)
• Burcu Kulahcioglu Ozkan (Delft University of Technology)
• Gordon Pace (University of Malta)
• Vincent Rahli (University of Birmingham)
• Sophie Rain (TU Wien)
• Augusto Sampaio (Federal university of Pernambuco)
• Derek Sorensen (Certora)
• Bas Spitters (Aarhus University)
• Meng Sun (Peking University)
• Mark Utting (The University of Queensland)
• Adele Veschetti (TU Darmstadt)
• Christoph Weidenbach (Max Planck Institute for Informatics)
• Teng Zhang (Aptos Labs)