Talks

• Vito Michele Abrusci (Roma Tre)
  Talk: Linear logic and philosophy
  • Oct. 25, 2017, 12:15 p.m.
• Thomas Ehrhard (IRIF, Paris Diderot)
  Talk: Differential linear logic: a syntactic counterpart of Girard's quantitative semantics
  • Oct. 25, 2017, 9 a.m.
• Jean-Yves Girard (CNRS)
  Talk: From linear logic to logic 2.0
  • Oct. 25, 2017, 5 p.m.
• Martin Hyland (Cambridge)
  Talk: Mathematics inspired by the execution formula: towards a foundation for game semantics
  • Oct. 25, 2017, 2:30 p.m.
• Alain Lecomte (Paris 8)
  Talk: Linear logic and linguistics: new issues in dialectics
  • Oct. 25, 2017, 3:30 p.m.
• Laurent Regnier (I2M, Aix-Marseille)
  Talk: 2017 : Happy 30 years for linear logic
  • Oct. 25, 2017, 10 a.m.
• Thomas Seiller (LIPN, Paris Nord)
  Talk: A geometric theory of computational complexity
  • Oct. 25, 2017, 11:15 a.m.