Scientific Programme

Plenary lectures

Toshiyasu Arai (Chiba)
Sergei Artemov (New York)
Steve Awodey (Pittsburgh)
Johan van Benthem (Amsterdam and Stanford)
Artem Chernikov (Paris)
Ilijas Farah (York)
Danielle Macbeth (Haverford)
Andrei Morozov (Novosibirsk)
Kobi Peterzil (Haifa)
Ralf Schindler (Münster)
Sebastiaan Terwijn (Nijmegen)

Tutorials

Erich Grädel (Aachen)
Menachem Magidor (Jerusalem).

Special sessions

MODEL THEORY

Chair: Dugald McPherson
Gareth Boxall (Stellenbosch)
Vera Koponen (Uppsala)
Nathanaël Mariaule (Napoli)
Silvain Rideau (Paris)

SET THEORY

Chair: Heike Mildenberger
Laura Fontanella (Jerusalem)
Peter Holy (Vienna)
Aleksandra Kwiatkowska (Bonn)
Philipp Schlicht (Bonn)

COMPUTABILITY THEORY

Chairs: Russell Miller and Alexandra Soskova
Damir Dzhafarov (Connecticut)
Ekaterina Fokina (Vienna)
Karen M Lange (Wellesley)
Richard Shore (Cornell)

PROOF THEORY

Chairs: Benno van den Berg and Michael Rathjen
David Fernández Duque (Instituto Tecnológico Autónomo de México)
Gilda Ferreira (Lisbon)
Roman Kuznets (Vienna)
Elena Nogina (CUNY)

PHILOSOPHY OF MATHEMATICS AND LOGIC

Chairs: Patricia Blanchette and Penelope Maddy
Andrew Arana (Urbana-Champaign)
Denis Bonnay (Paris)
Janet Folina (Macalester)
Richard Pettigrew (Bristol)

LOGIC AND QUANTUM FOUNDATIONS

Chair: Samson Abramsky
Adam Brandenburger (NYU)
Ross Duncan (Strathclyde)
Gianluca Paolini (Helsinki)
Sonja Smets (Amsterdam)