Linear Logic: interaction, proofs and computation

Elaine Pimentel: A unified view of modal and substructural logics

Place de l'École - ENS Lyon

Elaine Pimentel

https://ll2016.sciencesconf.org/data/program/pimentel.txt

Coffee break

Place de l'École - ENS Lyon

Linear logic, mathematics and computer science

Place de l'École - ENS Lyon

› The Expressivity of Some Fragments of Subexponential Logic - Kaustuv Chaudhuri, PARSIFAL 10:15-10:45 (30min)

› Comparing BOX and ! via polarities - Sonia Marin, INRIA Saclay 10:45-11:15 (30min)

Kazushige Terui: On predicative fragments of System F

Place de l'École - ENS Lyon

Kazushige Terui

https://ll2016.sciencesconf.org/data/program/terui.txt

Lunch

Place de l'École - ENS Lyon

Willem Heijltjes: On MALL proof nets

Place de l'École - ENS Lyon

Willem Heijltjes

https://ll2016.sciencesconf.org/data/program/heijltjes.txt

Linear logic, mathematics and computer science

Place de l'École - ENS Lyon

› Proof diagram for linear logic - Matteo Acclavio, Institut de Mathématiques de Marseille 14:45-15:15 (30min)

› The dark side of multiplicatives: non sequentializable connectives of linear logic - Maieli Roberto, Department of Mathematics and Physics, “Roma Tre“ University 15:15-15:45 (30min)

Coffee break

Place de l'École - ENS Lyon

Linear logic, mathematics and computer science

Place de l'École - ENS Lyon

› A Semantic Account of Metric Preservation - Arthur Azevedo de Amorim, University of Pennsylvania 16:00-16:30 (30min)

› Theorem proving for first-order linear logic - Richard Moot, LaBRI, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 16:30-17:00 (30min)

› Linear Logic Properly Displayed - Giuseppe Greco, Delft University of Technology [[Delft] 17:00-17:30 (30min)