Program chair

• Naoki Kobayashi, The University of Tokyo

Program committee

• Mauricio Ayala-Rincón, Universidade de Brasília
• Stefano Berardi, University of Torino
• Frédéric Blanqui, INRIA
• Eduardo Bonelli, Stevens Institute of Technology
• Évelyne Contejean, CNRS, Université Paris-Saclay
• Thierry Coquand, University of Gothenburg
• Thomas Ehrhard, Université de Paris, CNRS
• Santiago Escobar, Univ. Politècnica de València
• José Espírito Santo, University of Minho
• Claudia Faggian, Université de Paris, CNRS
• Amy Felty, University of Ottawa
• Santiago Figueira, Universidad de Buenos Aires
• Marcelo Fiore, University of Cambridge
• Marco Gaboardi, Boston University
• Silvia Ghilezan, University of Novi Sad
• Ichiro Hasuo, National Institute of Informatics
• Delia Kesner, Université de Paris
• Robbert Krebbers, Radboud University Nijmegen
• Temur Kutsia, Johannes Kepler University Linz
• Barbara König, University of Duisburg-Essen
• Marina Lenisa, University of Udine
• Naoki Nishida, Nagoya University
• Luke Ong, University of Oxford
• Paweł Parys, University of Warsaw
• Jakob Rehof, TU Dortmund University
• Camilo Rocha, Pontificia Univ. Javeriana Cali
• Alexandra Silva, University College London
• Alwen Tiu, Australian National University
• Sarah Winkler, University of Verona
• Hongseok Yang, KAIST, South Korea