Programme

Semaine Lun. 07 Mar. 08 Mer. 09 Jeu. 10 Liste

	Lun. 07	Mar. 08	Mer. 09	Jeu. 10
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Accueil 9:00 - 9:30 (30min) Accueil Accueil des participants Introduction à la Logique Linéaire 9:30 - 12:00 (2h30) Introduction à la Logique Linéaire Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Jean-Baptiste Joinet Déjeuner 12:00 - 13:30 (1h30) Déjeuner Salle "La Rotonde" (18 rue Chevreul, last floor) Logique Linéaire : les multiplicatifs 13:30 - 15:30 (2h) Logique Linéaire : les multiplicatifs Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Olivier Laurent Pause café 15:30 - 16:00 (30min) Pause café Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale) Logique Linéaire : les multiplicatifs 16:00 - 18:00 (2h) Logique Linéaire : les multiplicatifs Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Olivier Laurent	Logique Linéaire: l'arrivée des exponentiels 8:30 - 10:00 (1h30) Logique Linéaire: l'arrivée des exponentiels Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Damiano Mazza Pause café 10:00 - 10:30 (30min) Pause café Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale) Logique Linéaire : sémantique dénotationelle 10:30 - 12:00 (1h30) Logique Linéaire : sémantique dénotationelle Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Lionel Vaux Déjeuner 12:00 - 13:30 (1h30) Déjeuner Salle "La Rotonde" (18 rue Chevreul, last floor) Introduction à la session "Logique linéaire et Philosophie" 13:30 - 13:40 (10min) Introduction à la session "Logique linéaire et Philosophie" Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Michele Abrusci Le fantôme de la transparence 13:40 - 14:40 (1h) Le fantôme de la transparence Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Jean-Yves Girard Proof-forms vs. formal-proofs: linear logical re-evaluation of early modern logics and consideration of the next generation-notion of “proof”. 14:40 - 15:25 (45min) 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 Pause 15:25 - 15:45 (20min) Pause Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale) La logique linéaire et l'analyse du temps computationnel 15:45 - 16:30 (45min) La logique linéaire et l'analyse du temps computationnel Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Jean-Baptiste Joinet Une analyse computationnelle des opérateurs logiques 16:30 - 17:15 (45min) Une analyse computationnelle des opérateurs logiques Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Mattia Petrolo Le polymorphisme et la notion de type: l'apport de la logique linéaire 17:15 - 18:00 (45min) Le polymorphisme et la notion de type: l'apport de la logique linéaire Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée) Paolo Pistone	Accueil 8:30 - 9:00 (30min) Accueil Accueil des participants Dale Miller : A proof theory for model checking 9:00 - 10:00 (1h) Dale Miller : A proof theory for model checking Place de l'École - ENS Lyon Dale Miller https://ll2016.sciencesconf.org/data/program/miller.txt Pause café 10:00 - 10:15 (15min) Pause café Place de l'École - ENS Lyon Logique linéaire, mathématiques et informatique 10:15 - 12:15 (2h) Logique linéaire, mathématiques et informatique 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) Déjeuner 12:15 - 13:45 (1h30) Déjeuner Place de l'École - ENS Lyon Michele Pagani : The Free Exponential Modality of Probabilistic Coherence Spaces 13:45 - 14:45 (1h) 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 Logique linéaire, mathématiques et informatique 14:45 - 15:45 (1h) Logique linéaire, mathématiques et informatique 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) Pause café 15:45 - 16:00 (15min) Pause café Place de l'École - ENS Lyon Logique linéaire, mathématiques et informatique 16:00 - 18:00 (2h) Logique linéaire, mathématiques et informatique 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)	Elaine Pimentel : A unified view of modal and substructural logics 9:00 - 10:00 (1h) 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 Pause café 10:00 - 10:15 (15min) Pause café Place de l'École - ENS Lyon Logique linéaire, mathématiques et informatique 10:15 - 11:15 (1h) Logique linéaire, mathématiques et informatique 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 11:15 - 12:15 (1h) Kazushige Terui : On predicative fragments of System F Place de l'École - ENS Lyon Kazushige Terui https://ll2016.sciencesconf.org/data/program/terui.txt Déjeuner 12:15 - 13:45 (1h30) Déjeuner Place de l'École - ENS Lyon Willem Heijltjes : On MALL proof nets 13:45 - 14:45 (1h) Willem Heijltjes : On MALL proof nets Place de l'École - ENS Lyon Willem Heijltjes https://ll2016.sciencesconf.org/data/program/heijltjes.txt Logique linéaire, mathématiques et informatique 14:45 - 15:45 (1h) Logique linéaire, mathématiques et informatique 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) Pause café 15:45 - 16:00 (15min) Pause café Place de l'École - ENS Lyon Logique linéaire, mathématiques et informatique 16:00 - 17:30 (1h30) Logique linéaire, mathématiques et informatique 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)

Personnes connectées : 1

Flux RSS