Schedule

8:45 – 9:00

Opening by Gianfranco Mascari (IAC-CNR)

9:00 – 10:00

Thomas Ehrhard (IRIF, Paris Diderot)

Talk: Differential linear logic: a syntactic counterpart of Girard's quantitative semantics

10:00 – 11:00

Laurent Regnier (I2M, Aix-Marseille)

Talk: 2017 : Happy 30 years for linear logic

11:15 – 12:15

Thomas Seiller (LIPN, Paris Nord)

Talk: A geometric theory of computational complexity

12:15 – 13:15

Vito Michele Abrusci (Roma Tre)

Talk: Linear logic and philosophy

14:30 – 15:30

Martin Hyland (Cambridge)

Talk: Mathematics inspired by the execution formula: towards a foundation for game semantics

15:30 – 16:30

Alain Lecomte (Paris 8)

Talk: Linear logic and linguistics: new issues in dialectics

17:00 – 18:00

Jean-Yves Girard (CNRS)

Talk: From linear logic to logic 2.0

18:00 – 19:00

Spontaneous contributions