Monday, November 7, 2016

Time Event  
09:00 - 09:30 Welcome - Welcome  
09:30 - 12:00 An introduction to Linear Logic (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Jean-Baptiste Joinet  
12:00 - 13:30 Lunch (Salle "La Rotonde" (18 rue Chevreul, last floor))  
13:30 - 15:30 Linear Logic: multiplicatives (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Olivier Laurent  
15:30 - 16:00 Coffee break (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale))  
16:00 - 18:00 Linear Logic: multiplicatives (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Olivier Laurent  

Tuesday, November 8, 2016

Time Event  
08:30 - 10:00 Linear Logic: exponentials attack! (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Damiano Mazza  
10:00 - 10:30 Coffee break (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale))  
10:30 - 12:00 Linear Logic: denotational semantics (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Lionel Vaux  
12:00 - 13:30 Lunch (Salle "La Rotonde" (18 rue Chevreul, last floor))  
13:30 - 13:40 Opening (session Linear Logic & Philosophy) (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Michele Abrusci  
13:40 - 14:40 Le fantôme de la transparence (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Jean-Yves Girard  
14:40 - 15:25 Proof-forms vs. formal-proofs: linear logical re-evaluation of early modern logics and consideration of the next generation-notion of “proof”. (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Mitsuhiro Okada  
15:25 - 15:45 Break (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale))  
15:45 - 16:30 Linear Logic and the analysis of the computational time (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Jean-Baptiste Joinet  
16:30 - 17:15 A computational analysis of logical operators (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Mattia Petrolo  
17:15 - 18:00 Polymorphism and the notion of type: the input of linear logic (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Paolo Pistone  

Wednesday, November 9, 2016

Time Event  
08:30 - 09:00 Welcome - Welcome  
09:00 - 10:00 Dale Miller: A proof theory for model checking (Place de l'École - ENS Lyon) - Dale Miller
 
10:00 - 10:15 Coffee break (Place de l'École - ENS Lyon)  
10:15 - 12:15 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
10:15 - 10:45 › Coeffects and graded linear logic (extended abstract) - Dominic Orchard, University of Kent  
10:45 - 11:15 › Semantics of linear logic and higher-order model-checking - Charles Grellois, FOCUS  
11:15 - 11:45 › Dissecting the PAM - Stefano Guerrini, LIPN, Institut Galilée, Univ. Paris Nord 13, Sorbonne Paris Cité  
11:45 - 12:15 › On Linear Modalities for Exchange, Weakening, and Contraction - Harley Eades, Computer Science  
12:15 - 13:45 Lunch (Place de l'École - ENS Lyon)  
13:45 - 14:45 Michele Pagani: The Free Exponential Modality of Probabilistic Coherence Spaces (Place de l'École - ENS Lyon) - Michele Pagani
 
14:45 - 15:45 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
14:45 - 15:15 › A Geometry of Interaction for Classical, Probabilistic, and Quantum Effects - Benoît Valiron, Laboratoire de Recherche en Informatique  
15:15 - 15:45 › Coherence Spaces for Resource-Sensitive Computation in Analysis - Kei Matsumoto, RIMS, Kyoto University  
15:45 - 16:00 Coffee break (Place de l'École - ENS Lyon)  
16:00 - 18:00 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
16:00 - 16:30 › Categorical combinatorics of non-deterministic innocent strategies - Clément Jacq, PPS - IRIF  
16:30 - 17:00 › Data and Function Types in Ludics - Alice Pavaux, Laboratoire d'Informatique de Paris-Nord  
17:00 - 17:30 › 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:30 - 18:00 › Commutative algebra with a view towards (dependent) linear logic - Paul-André Melliès, Equipe PPS, Laboratoire IRIF  

Thursday, November 10, 2016

Time Event  
09:00 - 10:00 Elaine Pimentel: A unified view of modal and substructural logics (Place de l'École - ENS Lyon) - Elaine Pimentel
 
10:00 - 10:15 Coffee break (Place de l'École - ENS Lyon)  
10:15 - 11:15 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
10:15 - 10:45 › The Expressivity of Some Fragments of Subexponential Logic - Kaustuv Chaudhuri, PARSIFAL  
10:45 - 11:15 › Comparing BOX and ! via polarities - Sonia Marin, INRIA Saclay  
11:15 - 12:15 Kazushige Terui: On predicative fragments of System F (Place de l'École - ENS Lyon) - Kazushige Terui
 
12:15 - 13:45 Lunch (Place de l'École - ENS Lyon)  
13:45 - 14:45 Willem Heijltjes: On MALL proof nets (Place de l'École - ENS Lyon) - Willem Heijltjes
 
14:45 - 15:45 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
14:45 - 15:15 › Proof diagram for linear logic - Matteo Acclavio, Institut de Mathématiques de Marseille  
15:15 - 15:45 › The dark side of multiplicatives: non sequentializable connectives of linear logic - Maieli Roberto, Department of Mathematics and Physics, “Roma Tre“ University  
15:45 - 16:00 Coffee break (Place de l'École - ENS Lyon)  
16:00 - 17:30 Linear logic, mathematics and computer science (Place de l'École - ENS Lyon)  
16:00 - 16:30 › A Semantic Account of Metric Preservation - Arthur Azevedo de Amorim, University of Pennsylvania  
16:30 - 17:00 › Theorem proving for first-order linear logic - Richard Moot, LaBRI, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier  
17:00 - 17:30 › Linear Logic Properly Displayed - Giuseppe Greco, Delft University of Technology [[Delft]