Schedule

11:00 – 11:15: Ouverture
11:15 – 12:00: Daniel De Carvalho

Talk: The relational model is injective for Multiplicative Exponential Linear Logic
12:00 – 12:30: Lorenzo Tortora de Falco and Luc Pellissier

Talk: Some remarks about connectedness, Taylor expansion and injective relational semantics
12:30 – 14:00: Lunch
14:00 – 14:45: Lionel Vaux

Talk: Looking at cut elimination through the lens of Taylor expansion
14:45 – 15:15: Marco Solieri

Talk: Taylor-expansion, cut elimination and geometry of interaction
15:15 – 16:00: Damiano Mazza

Talk: Proof Nets in Space
16:00 – 16:15: Coffee break
16:15 – 16:45: Ugo Dal Lago

Talk: The Geometry of Synchronization
16:45 – 17:15: Anna Chiara Lai, Marco Pedicini and Silvia Rognone

Talk: Quantum entanglement and the Bell Matrix: the encoding in QMLL

9:15 – 10:00: Marc Bagnol

Talk 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.