Università Roma Tre, Dipartimento di Matematica e Fisica (Largo San Leonardo Murialdo, 1 - 00146 Roma), Room 311 (3rd floor)
Descrizione
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.