Programme
| Heures |
événement |
(+)
|
|
09:00 - 09:30
|
Accueil - Accueil des participants |
|
|
09:30 - 12:00
|
Introduction à la Logique Linéaire (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Jean-Baptiste Joinet |
|
|
12:00 - 13:30
|
Déjeuner (Salle "La Rotonde" (18 rue Chevreul, last floor)) |
|
|
13:30 - 15:30
|
Logique Linéaire : les multiplicatifs (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Olivier Laurent |
|
|
15:30 - 16:00
|
Pause café (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)) |
|
|
16:00 - 18:00
|
Logique Linéaire : les multiplicatifs (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Olivier Laurent |
|
| Heures |
événement |
(+)
|
|
08:30 - 10:00
|
Logique Linéaire: l'arrivée des exponentiels (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Damiano Mazza |
|
|
10:00 - 10:30
|
Pause café (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)) |
|
|
10:30 - 12:00
|
Logique Linéaire : sémantique dénotationelle (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Lionel Vaux |
|
|
12:00 - 13:30
|
Déjeuner (Salle "La Rotonde" (18 rue Chevreul, last floor)) |
|
|
13:30 - 13:40
|
Introduction à la session "Logique linéaire et Philosophie" (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
|
Pause (Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)) |
|
|
15:45 - 16:30
|
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 |
|
|
16:30 - 17:15
|
Une analyse computationnelle des opérateurs logiques (Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)) - Mattia Petrolo |
|
|
17:15 - 18:00
|
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 |
|
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Accueil - Accueil des participants |
|
|
09:00 - 10:00
|
Dale Miller : A proof theory for model checking (Place de l'École - ENS Lyon) - Dale Miller |
|
|
10:00 - 10:15
|
Pause café (Place de l'École - ENS Lyon) |
|
|
10:15 - 12:15
|
Logique linéaire, mathématiques et informatique (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
|
Déjeuner (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
|
Logique linéaire, mathématiques et informatique (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
|
Pause café (Place de l'École - ENS Lyon) |
|
|
16:00 - 18:00
|
Logique linéaire, mathématiques et informatique (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 |
|
| Heures |
événement |
(+)
|
|
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
|
Pause café (Place de l'École - ENS Lyon) |
|
|
10:15 - 11:15
|
Logique linéaire, mathématiques et informatique (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
|
Déjeuner (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
|
Logique linéaire, mathématiques et informatique (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
|
Pause café (Place de l'École - ENS Lyon) |
|
|
16:00 - 17:30
|
Logique linéaire, mathématiques et informatique (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] |
|
|
