Tutorials

 

Krzysztof Krupiński – University of Wrocław

Andrew Marks – University of California Los Angeles



Gödel Lecture


Elisabeth Bouscaren - CNRS – Université Paris-Sud


 
Plenary

 

Linda Westrick - Pennsylvania State University

Benoit Monin - Créteil University

Noam Greenberg - Victoria University of Wellington

Vera Fischer - University of Viena

Luca Motto Ros - University of Turin

Elaine Pimentel - Federal University of Rio Grande do Norte

Frank Pfenning - Carnegie Mellon University

Johan van Benthem - University of Amsterdam

Ryan Williams - Massachusetts Institute of Technology

Artem Chernikov - University of California Los Angeles