Talks

• Open session: Correctness criteria

  Talks and micro-talks by Roberto Maieli, Vito Michele Abrusci, Beniamino Accattoli, Marc Bagnol, Thomas Ehrhard.

  • Dec. 22, 2015, 2:30 p.m.
• 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.

  • Dec. 22, 2015, 10:30 a.m.
• Marc Bagnol
  Talk TBA
  • Dec. 22, 2015, 9:15 a.m.
• Daniel De Carvalho
  Talk: The relational model is injective for Multiplicative Exponential Linear Logic
  • Dec. 21, 2015, 11:15 a.m.
• Ugo Dal Lago
  Talk: The Geometry of Synchronization
  • Dec. 21, 2015, 4:15 p.m.
• Anna Chiara Lai, Marco Pedicini and Silvia Rognone
  Talk: Quantum entanglement and the Bell Matrix: the encoding in QMLL
  • Dec. 21, 2015, 4:45 p.m.
• Damiano Mazza
  Talk: Proof Nets in Space
  • Dec. 21, 2015, 3:15 p.m.
• Marco Solieri
  Talk: Taylor-expansion, cut elimination and geometry of interaction
  • Dec. 21, 2015, 2:45 p.m.
• Lorenzo Tortora de Falco and Luc Pellissier
  Talk: Some remarks about connectedness, Taylor expansion and injective relational semantics
  • Dec. 21, 2015, noon
• Lionel Vaux
  Talk: Looking at cut elimination through the lens of Taylor expansion
  • Dec. 21, 2015, 2 p.m.