Description
Ce colloque se compose d'exposés invités et de contributions en rapport avec la logique linéaire et ses liens avec les mathématiques et l'informatique, dont en particulier mais pas exclusivement:
- réseaux de démonstration
- sémantique dénotationnelle et catégorique, sémantique de jeux
- systèmes de types linéaires
- complexité calculatoire implicite
Localization
Le colloque aura lieu à l'ENS de Lyon.
Programme
Vous pouvez consulter le programme prévisionnel (cliquer sur une session pour voir les détails).
Orateurs invités
Exposés
- Proof diagram for linear logic (Matteo Acclavio)
- A Semantic Account of Metric Preservation (Arthur Azevedo De Amorim)
- The Expressivity of Some Fragments of Subexponential Logic (Kaustuv Chaudhuri)
- Typing of MCCS (Multiplicative Calculus of Communicating Systems) in Ludics (Stefano Del Vecchio)
- On Linear Modalities for Exchange, Weakening, and Contraction (Harley Eades)
- Linear Logic Properly Displayed (Giuseppe Greco)
- Semantics of linear logic and higher-order model-checking (Charles Grellois)
- Dissecting the PAM (Stefano Guerrini)
- Categorical combinatorics of non-deterministic innocent strategies (Clément Jacq)
- The dark side of multiplicatives: non sequentializable connectives of linear logic (Roberto Maieli)
- Comparing BOX and ! via polarities (Sonia Marin)
- Coherence Spaces for Resource-Sensitive Computation in Analysis (Kei Matsumoto)
- Commutative algebra with a view towards (dependent) linear logic (Paul-André Melliès)
- Theorem proving for first-order linear logic (Richard Moot)
- Coeffects and graded linear logic (Dominic Orchard)
- Data and Function Types in Ludics (Alice Pavaux)
- A Geometry of Interaction for Classical, Probabilistic, and Quantum Effects (Benoît Valiron)
