Committees

Program

• Ugo de’ Liguoro (Università di Torino) (chair)
• Stefano Berardi (Università di Torino) (co-chair)
• Marino Miculan (Università di Udine)
• Marc Bezem (University of Bergen)
• Gilles Dowek (INRIA – ENS Paris-Saclay)
• Takeshi Tsukada (University of Tokyo)
• José Espírito Santo (University of Minho)
• Herman Geuvers (Radboud University Nijmegen)
• Ralph Matthes (IRIT – CNRS and University of Toulouse)
• Henning Basold (Universiteit Leiden)
• Aleksy Schubert (University of Warsaw)
• Anton Setzer (University of Swansea)
• Thorsten Altenkirch (University of Nottingham)
• Silvia Ghilezan (Univerity of Novi Sad)
• Étienne Miquey (INRIA, University of Nantes)
• Elaine Pimentel (Federal University of Rio Grande do Norte)
• Tarmo Uustalu (Reykjavik University)
• Alexandre Miquel (University of the Republic, Montevideo)
• Thierry Coquand (Chalmers University of Technology)

Organization

• Ugo de’ Liguoro
• Stefano Berardi
• Luca Ciccone