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
23
Oct
09
Oct
Cut-Expansion in Proof-Nets of Multiplicative Linear Logic
Rémi Di Guardia
Cut-elimination is a rewriting system defined in many logics, which has been widely studied. In general, a major result is to prove its weak normalization, [...]
02
Oct
25
Sep
Linearization via Rewriting
Federico Olimpieri
We introduce the structural resource λ-calculus, a new formalism inwhich strongly normalizing terms of the λ-calculus can naturally berepresented, and at the same time any [...]
26
Juin
Séminaire Chocola à Lyon
Choudhury, Marshall, Pimentel
Voir: https://chocola.ens-lyon.fr/events/meeting-2025-06-26.
19
Juin
∞-categorical models of linear logic
Elies Harington
The notion of categorical model of linear logic is now well studied and established around the notion of linear-non-linear adjunction, which encompasses the previous notions [...]
05
Juin
Getting thin spans in order
Victor Blanchi
Recently, Clairambault and Forest introduced the cartesian closed bicategory of thin spans of groupoids. It is a proof-relevant denotational model, akin to Fiore et al's [...]
15
Mai
Séminaire Chocola
Daniel Gratzer, Elies Harington, Hiroshi Unno
Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
24
Avr
De la logique catégorique à la complexité descriptive catégorique [LSC]
Baptiste Chanus
La catégorie syntaxique est une construction qui permet de raisonner sur la logique à l'aide des outils de la théorie des catégories. D'un autre côté, [...]
17
Avr
Double indexed differential linear logic reconciling resources and differential operators
Simon Mirwasser
Graded Linear Logic is a central development of Linear Logic, quantifying the use of resources in proofs and programs. Differential Linear Logic, on the other [...]
