Week 2
Ugo Dal Lago on proof nets
Ugo Dal Lago on ICC
Philosophy, logic and a glass of wine
Jean-Yves Girard on transcendental syntax 2.0
Jean-Yves Girard on transcendental syntax 2.0
Dan Ghica on game semantics
Étienne Duchesne
Thomas Seiller
Martin Hyland on games
Martin Hyland posing the audience sort of an exercise
Alain Lecomte
Kurt Ranalter on abstract machines for argumentation