PROGRAM CHAIRS

 Brigitte Pientka, McGill University

Cesare Tinelli, The University of Iowa

PROGRAM COMMITTEE

Carlos Areces, Universidad Nacional de Córdoba

Jeremy Avigad, Carnegie Mellon University

David Baelde, LSV, ENS Paris-Saclay & Inria Paris

Maria Paola Bonacina, Università degli Studi di Verona

Liron Cohen, Ben-Gurion University

Cyril Cohen, Inria Sophia Antipolis

Clare Dixon, The University of Manchester

Carsten Fuhs, Birkbeck, University of London

Alberto Griggio, Fondazione Bruno Kessler

Stefan Hetzl, Vienna University of Technology

Marijn Heule, Carnegie Mellon University

Nao Hirokawa, Japan Advanced Institute of Science and Technology

Mikolas Janota, Czech Technical University in Prague

Matti Järvisalo, University of Helsinki

Cezary Kaliszyk, University of Innsbruck

Konstantin Korovin, The University of Manchester

Peter Lammich, TU Munich

Aina Niemetz, Stanford University

Naoki Nishida, Nagoya University

Nicola Olivetti, LSIS, Aix-Marseille University

Lawrence Paulson, University of Cambridge

Andrei Popescu, University of Sheffield

Florian Rabe, FAU Erlangen-Nürnberg

Giles Reger, The University of Manchester

Cody Roux, Amazon Web Services

Uli Sattler, The University of Manchester

Stephan Schulz, DHBW Stuttgart

Martina Seidl, Johannes Kepler University

Viorica Sofronie-Stokkermans, University Koblenz-Landau

Alexander Steen, University of Greifswald

Martin Suda, Czech Technical University in Prague

Enrico Tassi, INRIA

Sophie Tourret, INRIA and MPI for Informatics

Uwe Waldmann, MPI for Informatics

Sarah Winkler, Free University of Bozen-Bolzano

Yoni Zohar, Bar Ilan University