Timetable

9:00 9:30 10:00 10:30 11:00 11:30 12:00 12:30 14:00 14:30 15:00 15:30 16:00 16:30 17:00 17:30 18:00 18:30

Wednesday 25
- Opening by Gianfranco Mascari (IAC-CNR)
- Ehrhard, Differential linear logic: a syntactic counterpart of Girard's quantitative semantics
- Regnier, 2017 : Happy 30 years for linear logic
- Seiller, A geometric theory of computational complexity
- Abrusci, Linear logic and philosophy
- Hyland, Mathematics inspired by the execution formula: towards a foundation for game semantics
- Lecomte, Linear logic and linguistics: new issues in dialectics
- Girard, From linear logic to logic 2.0
- Spontaneous contributions