Course overview
Also check the Student Session.
First week
Language & Logic
Introductory
Lecturer: Stepan Kuznetsov
Lecturer: Kathryn Davidson, Jeremy Kuhn
Foundational
Lecturer: Philippe Schlenker, Emmanuel Chemla
Advanced
Lecturer: Giuseppe Greco, Umberto Rivieccio
Workshops / Student Sessions
Language & Computation
Introductory
Lecturer: Barbora Hladka, Martin Holub
Foundational
Advanced
Lecturer: Chris Barker, Dylan Bumford
Logic & Computation
Introductory
Foundational
Lecturer: Philip Wadler
Advanced
Lecturer: Paola Bruscoli
Lecturer: Andreas Pieris, Michaël Thomazo
Workshops / Student Sessions
Second week
Language & Logic
Introductory
Lecturer: Eric McCready, Daniel Gutzman
Foundational
Lecturer: Eric Pacuit
Advanced
Workshops / Student Sessions
Language & Computation
Introductory
Lecturer: Chris Barker
Foundational
Lecturer: Willem Zuidema
Teaching assistant: Phong Le
Advanced
Workshops / Student Sessions
Logic & Computation
Introductory
Lecturer: Olaf Beyersdorff
Lecturer: Francois Laroussinie, Nicolas Markey