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
28
Juin
21
Juin
The true concurrency of Herbrand's theorem
Pierre Clairambault
Herbrand's theorem, widely regarded as a cornerstone of proof theory, exposes some of the constructive content of classical logic. In its simplest form, it reduces [...]
Representing permutations without permutations, or the expressive power of sequence types
Pierre Vial
An intersection type system with given features (strict or not, idempotent or not, relevant or not, rigid or not...) characterizing, e.g., a notion of normalization [...]
Petites catégories comme modèles des types d'homotopie
Andrea Gagna
La théorie de l'homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible [...]
Logical by-need
Alexis Saurin
L'analyse de l'appel par nécessité (aussi appelé évaluation paresseuse) est complexe, d'autant plus lorsqu'on considère des opérateurs de contrôle. Ceci suggère de faire appel à [...]
Completeness for identity-free Kleene lattices
Amina Doumane
We provide a finite set of axioms for identity-free Kleene lattices, which we prove sound and complete for the equational theory of their relational models. [...]
Les familles de catégories en géométrie et algèbre
Eduard Balzin
Dans cet exposé on parlera des problèmes mathématiques qui peuvent être étudiés en utilisant le formalisme des familles de catégories. Beaucoup d’exemples de familles proviennent [...]
Les petites catégories comme modèles des types d'homotopie (2ème partie)
Andrea Gagna
La théorie de l'homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible [...]
Une preuve assistée par ordinateur de l'irrationalité de zeta(3)
Assia Mahboubi
L'étude des valeurs de la fonction zeta de Riemann aux entiers impairs est encore aujourd'hui un sujet de recherche actif en théorie des nombres. R. [...]
