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
    • Sandra Alves (Co-Chair) University of Porto
    • João Barbosa University of Porto
    • Sabine Broda University of Porto
    • Mário Florido (Co-Chair) University of Porto
    • Anjolina de Oliveira Federal University of Pernambuco
    • Ruy de Queiroz Federal University of Pernambuco
    • Miguel Ramos University of Porto
      • 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