Planning

Week Mon. 07 Tue. 08 Wed. 09 Thu. 10 List

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]

Online user: 1

RSS Feed