Linear Logic: interaction, proofs and computation

Welcome

Dale Miller: A proof theory for model checking

Place de l'École - ENS Lyon

Dale Miller

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

Coffee break

Place de l'École - ENS Lyon

Linear logic, mathematics and computer science

Place de l'École - ENS Lyon

› Coeffects and graded linear logic (extended abstract) - Dominic Orchard, University of Kent 10:15-10:45 (30min)

› Semantics of linear logic and higher-order model-checking - Charles Grellois, FOCUS 10:45-11:15 (30min)

› Dissecting the PAM - Stefano Guerrini, LIPN, Institut Galilée, Univ. Paris Nord 13, Sorbonne Paris Cité 11:15-11:45 (30min)

› On Linear Modalities for Exchange, Weakening, and Contraction - Harley Eades, Computer Science 11:45-12:15 (30min)

Lunch

Place de l'École - ENS Lyon

Michele Pagani: The Free Exponential Modality of Probabilistic Coherence Spaces

Place de l'École - ENS Lyon

Michele Pagani

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

Linear logic, mathematics and computer science

Place de l'École - ENS Lyon

› A Geometry of Interaction for Classical, Probabilistic, and Quantum Effects - Benoît Valiron, Laboratoire de Recherche en Informatique 14:45-15:15 (30min)

› Coherence Spaces for Resource-Sensitive Computation in Analysis - Kei Matsumoto, RIMS, Kyoto 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

› Categorical combinatorics of non-deterministic innocent strategies - Clément Jacq, PPS - IRIF 16:00-16:30 (30min)

› Data and Function Types in Ludics - Alice Pavaux, Laboratoire d'Informatique de Paris-Nord 16:30-17:00 (30min)

› Typing of MCCS (Multiplicative Calculus of Communicating Systems) in Ludics - Stefano Del Vecchio, Dipartimento di Matematica [Roma TRE], Laboratoire d'Informatique de Paris-Nord 17:00-17:30 (30min)

› Commutative algebra with a view towards (dependent) linear logic - Paul-André Melliès, Equipe PPS, Laboratoire IRIF 17:30-18:00 (30min)