Séminaire Logique et Interactions
Le séminaire Logique et Interaction est le séminaire de l’équipe LDP de l’I2M. Il est conjoint au séminaire de l’équipe LSC du LIS.
Une liste de diffusion (modérée) pour recevoir les annonces d’exposés : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.
Les prochains séminaires
20
Nov
Séminaire Chocola à Lyon
Marin, Walch, Wrigley
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-11-13/
27
Nov
11
Déc
Séminaire Chocola à Lyon
Cailler, Paquet, TBA
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-10-16/
18
Déc
Événements passés
26
Sep
Morphismes cartésiens en jeux concurrents
Pierre Clairambault
On comprend désormais bien comment relier les jeux aux modèles quantitatifs tels que le modèle relationnel: il suffit d'"oublier le temps" ou la causalité, et [...]
19
Sep
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/meeting-2024-09-19/ .
12
Sep
Automatisation des calculs dans les catégories supérieures et génération de preuves d'égalités
Thibaut Benjamin
Dans cet exposé, je vais présenter une approche pour travailler avec les types d'identité supérieurs en théorie des types homotopique, s'appuyant sur un langage intermédiaire [...]
05
Sep
Inexpressivity of higher-order transducers and semi-quantitative semantics (work in progress) [LSC]
Lê Thành Dũng (Tito) Nguyễn
Our goal is to generalize a little-known but powerful "bridge theorem" of Engelfriet and Maneth, which can be used for instance to refute in a [...]
20
Juin
Realizability Models for Large Cardinals
Richard Matthews
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard [...]
30
Mai
Regular samplers and the De Finetti construction in Integrable Cones
Raphaëlle Crubilllé
The starting point of this talk is the structure of the object !Bool in probabilistic coherent spaces. For the purpose of building a semantics interpretation [...]
18
Avr
11
Avr
Séminaire LSC: Coherence by Normalization for Linear Multicategorical Structures
We establish a formal correspondence between resource calculi and appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For [...]
04
Avr
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/meeting-2024-04-04/ .
28
Mar
Craig-Lyndon interpolation as cut-introduction
In this talk, I will present a proof-relevant Craig-Lyndon interpolation theorem for first-order LL (linear logic). This interpolation result is proof-relevant in the following sense: [...]
