Conference in honour of JYG, Oct. 25, 2017
In Roma, on the occasion of Jean-Yves Girard's 70th birthday. See the poster!
The meeting will take place at
Aula Urbano VIII
Dipartimento di Architettura
Università Roma Tre
Via Madonna dei Monti, 40
00184 Roma
See the detailed schedule.
See the place on OpenStreetMap.
Talks
- Thomas Ehrhard , Differential linear logic: a syntactic counterpart of Girard's quantitative semantics
- Laurent Regnier , 2017 : Happy 30 years for linear logic
- Thomas Seiller , A geometric theory of computational complexity
- Vito Michele Abrusci , Linear logic and philosophy
- Martin Hyland , Mathematics inspired by the execution formula: towards a foundation for game semantics
- Alain Lecomte , Linear logic and linguistics: new issues in dialectics
- Jean-Yves Girard , From linear logic to logic 2.0