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
Compositional relational reasoning via operational game semantics
Guilhem Jaber
We use operational game models as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts drawn from a hierarchy of [...]
Spécification mathématique de langages de programmation via les monades et leurs modules
Ambroise Lafont
La recherche dans le domaine des langages de programmation s'appuie traditionnellement sur une définition de syntaxe modulo renommage des variables liées, avec la sémantique opérationnelle [...]
Evidenced frames: a unifying framework broadening realizability models
Étienne Miquey
Constructive foundations have for decades been built upon realizability models for higher-order logic and type theory. However, traditional realizability models have a rather limited notion [...]
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 [...]
Une extension du cadre de Batanin pour les catégories supérieures
Simon Forest
Les catégories supérieures sont une généralisation des catégories usuelles où l'on a non seulement des cellules en dimension 0 et 1 (des objets et des [...]
On higher-order cryptography - Raphaëlle Crubillé
Raphaëlle Crubillé
Type-two constructions abound in cryptography: adversaries for encryption and authentication schemes, if active, are modeled as algorithms having access to oracles, i.e. as second-order algorithms. [...]
The Bicategory of “Open Functors” and its Friends – Luidnel Maignan
Luidnel Maignan
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. The adjective open is added here to mean [...]
A multicategorical approach to mixed linear-non-linear substitution - Christine Tasson
Christine Tasson
I will present a colimit construction of 2-monad that we studied with Martin Hyland with the purpose of understanding the mixed linear-non-linear framework at play [...]
12
Nov
Un groupoïde d’arbres de permutations (suite)
La dernière fois, j’ai introduit une notion d’arbres de permutations, qui s’organisent en un groupoïde agissant sur les arbres planaires enracinés avec feuilles étiquetées, c.-à-d. [...]
08
Oct
Un groupoïde d’arbres de permutations
Lionel Vaux Auclair
J’introduirai une notion d’arbres de permutations, qui s’organisent en un groupoïde agissant sur les arbres planaires enracinés avec feuilles étiquetées, c.-à-d. les termes du premier [...]
