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
Practical Subtyping for System F
Christophe Raffalli
We present a rich type system with subtyping for an extension of System F. Our type constructors include sum and product types, universal and existential [...]
Transfinite games and the sequoidal exponential
John Gowers
Laird a introduit la notion de catégorie sequoïdale – une extension de la structure de catégorie monoïdale par un nouveau connecteur ⊘ (le sequoïde) dont [...]
Effectuses, land of probabilities
Titouan Carette
Curry-Howard isomorphism is a well known game which consists in translating concepts of computer science into logical ones and vice versa. Thus, when physicists came [...]
Aspects of 2-algebras: operads, bimodules and analytic functors
André Joyal
We exploit the analogy between the notion of symmetric monoidal closed category and that of commutative ring. We say that a presentable monoidal closed category [...]
29
Sep
On some toposes of topological setoids
Fabio Pasquali
By “category topological setoids” we mean a category whose objects are pairs (A,R) where A is a topological space and R is an equivalence relation [...]
Homological computations for term rewriting systems
Samuel Mimram
An important problem in universal algebra consists in finding presentations of algebraic theories by generators and relations, which are as small as possible. Exhibiting lower [...]
Une sémantique des jeux parallèle pour PCF
Pierre Clairambault
PCF est le langage paradigmatique pour la programmation séquentielle d'ordre supérieur. Mais bien que séquentiel, étant purement fonctionnel, son ordre d'évaluation ne peut être observé [...]
