Program:

December 21, Monday

11:00-11:15 Ouverture
11:15-12:00 Daniel De Carvalho The relational model is injective for Multiplicative Exponential Linear Logic
12:00-12:30 Lorenzo Tortora de Falco/Luc Pellissier Some remarks about connectedness, Taylor expansion and injective relational semantics

12:30-14:00 lunch

14:00-14:45 Lionel Vaux Looking at cut elimination through the lens of Taylor expansion
14:45-15:15 Marco Solieri Taylor-expansion, cut elimination and geometry of interaction
15:15-16:00 Damiano Mazza Proof Nets in Space

16:00-16:15 coffee break

16:15-16:45 Ugo Dal Lago The Geometry of Synchronization
16:45-17:15 Anna Chiara Lai, Marco Pedicini, Silvia Rognone Quantum entanglement and the Bell Matrix: the encoding in QMLL

December 22, Tuesday

9:15-10:00 Marc Bagnol TBA

10:00-10:30 coffee break

10:30-12:30 open session Representation of nets
talks and micro-talks by Giulio Guerrieri/Lorenzo Tortora de Falco, Luc Pellissier, Thomas Ehrhard, Beniamino Accattoli, Vito Michele Abrusci.

12:30-14:30 lunch

14:30-17:00 open session Correctness criteria
talks and micro-talks by Roberto Maieli, Vito Michele Abrusci, Beniamino Accattoli, Marc Bagnol, Thomas Ehrhard.