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
Pas d'évènements à afficher
Événements passés
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: [...]
14
Mar
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/seminaire-2024-03-14/ .
22
Fév
2-Dimensional Monads and Concurrency
This talk is about 2-dimensional categories (2-categories or bicategories) in semantics. A number of recent denotational models are defined as bicategories (typically based on games, [...]
21
Fév
15
Fév
Séminaire LSC: Newton-Raphson iteration for Cartesian differential categories
Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this talk, I will present a categorical framework to [...]
