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
09
Déc
Développement de Taylor en λ-calcul infinitaire, suite
Rémy Cerda
Formalisme appuyé sur la logique linéaire de Girard, le développement de Taylor de λ-termes développé par Ehrhard et Regnier a été largement utilisé comme outil [...]
25
Nov
Développement de Taylor en λ-calcul infinitaire
Rémy Cerda
Formalisme appuyé sur la logique linéaire de Girard, le développement de Taylor de λ-termes développé par Ehrhard et Regnier a été largement utilisé comme outil [...]
Template games: a categorical combinatorics of scheduling and synchronisation
Paul-André Melliès
TBA
30
Sep
Une lecture technique de la syntaxe transcendantale
Boris ENG
Dans cet exposé, je présente une interprétation technique du projet de syntaxe transcendantale de Girard que j'ai réalisée avec Thomas Seiller. Ce projet esquisse un [...]
16
Sep
Injectivité positionnelle pour les stratégies innocentes
Lison Blondeau-Patissier
Melliès a montré que les stratégies innocentes étaient positionnelles dans les jeux asynchrones : leur comportement dépend de la position, et pas de l'ordre temporel [...]
Coherent differentiation
Thomas Ehrhard
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, [...]
Sémantiques relationnelles et traductions modales pour Generalized Basic Logic
Wesley Fussner
« Generalized Basic Logic » est une logique sous-structurelle située à l'intersection de la « Basic Logic » de Hájek et de la logique intuitionniste [...]
The concurrent games abstract machine
Pierre Clairambault
In this talk, I will introduce the concurrent games abstract machine: a multi-token machine for Idealized Parallel Algol (IPA), a higher-order concurrent programming language with [...]
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Giulio Guerrieri
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those [...]
