Talks

• Jules Chouquet, Giulio Guerrieri, Damiano Mazza and Le Thanh Dung Nguyen
  Talk: Contributed talks
  • May 30, 2018, 2 p.m.
• Jean-Yves Girard
  Talk: La Logique : 2.1, desaxiomatisation de l’arithmétique
  • May 29, 2018, 2 p.m.
  • May 30, 2018, 9:30 a.m.