Committees
Programme Committee
- Dexter Kozen (Chair) Cornell University
- Juan Aguilera TU Wien
- Natasha Alechina Utrecht University
- Maria Aloni University of Amsterdam
- Steve Awodey Carnegie Mellon University
- Dana Bartosova University of Florida
- Marta Bilkova Institute of Computer Science, Czech Academy of Sciences
- Katalin Bimbo University of Alberta
- Francesca Zaffora Blando Carnegie Mellon University
- Mikolaj Bojanczyk University of Warsaw
- Xavier Caicedo Universidad de los Andes
- Hans van Ditmarsch University of Toulouse, CNRS, IRIT
- Amy Felty University of Ottawa
- Santiago Figueira University of Buenos Aires
- Pietro Galliani University of Insubria
- Sam van Gool IRIF, Université Paris Cité
- Marie Kerjean LIPN, Université Sorbonne Paris Nord
- Dorel Lucanu Alexandru Ioan Cuza University
- Radu Mardare Heriot-Watt University
- Wim Martens University of Bayreuth
- Jose Meseguer University of Illinois Urbana-Champaign
- Anca Muscholl LaBRI, Université Bordeaux
- Alessandra Palmigiano Vrije Universiteit Amsterdam
- R. Ramanujam Institute of Mathematical Sciences, Chennai
- Peter Selinger Dalhousie University
- Michael Shulman University of San Diego
- Sonja Smets ILLC, University of Amsterdam
- Andres Villaveces Universidad Nacional de Colombia
Organizing Commitee
Steering Committee
- Samson Abramsky
- Agata Ciabattoni
- Anuj Dawar
- Helle Hvid Hansen
- Juliette Kennedy
- Ulrich Kohlenbach
- Daniel Leivant
- Leonid Libkin
- Lawrence Moss
- Luke Ong
- Valeria de Paiva
- Elaine Pimentel
- Ruy de Queiroz
- Andre Scedrov
- Alexandra Silva
- Renata Wassermann
Advisory Committee
- Johan van Benthem
- Joe Halpern
- Wilfrid Hodges
- Angus Macintyre
- Hiroakira Ono
- Jouko Väänänen