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
-
Monday 21
- Ouverture
- Carvalho, The relational model is injective for Multiplicative Exponential Linear Logic
- Tortora de Falco, Pellissier, Some remarks about connectedness, Taylor expansion and injective relational semantics
- Lunch
- Vaux, Looking at cut elimination through the lens of Taylor expansion
- Solieri, Taylor-expansion, cut elimination and geometry of interaction
- Mazza, Proof Nets in Space
- Coffee break
- Lago, The Geometry of Synchronization
- Lai, Pedicini, Rognone, Quantum entanglement and the Bell Matrix: the encoding in QMLL
-
Tuesday 22
- Bagnol
- Coffee break
- Representation of nets
- Lunch
- Correctness criteria