Schedule

May 29, 2018

14:00 – 17:15

Jean-Yves Girard

Talk: La Logique : 2.1, desaxiomatisation de l’arithmétique

May 30, 2018

9:30 – 12:45

Jean-Yves Girard

Talk: La Logique : 2.1, desaxiomatisation de l’arithmétique

14:00 – 17:30

Jules Chouquet, Giulio Guerrieri, Damiano Mazza and Le Thanh Dung Nguyen

Talk: Contributed talks