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
15
Mai
Séminaire Chocola
Daniel Gratzer, Elies Harington, Hiroshi Unno
Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
Événements passés
16
Nov
La géométrie cubique de la réécriture de dimension supérieure
Maxime Lucas
La réécriture de dimension supérieure a pour origine des questions portant autour du problème du mot pour les monoides. Plus récemment, il a été montré [...]
Grands cardinaux et compacité
Laura Fontanella
La théorie axiomatique des ensembles s'est développée à partir d'un projet fondationnel pour toutes les mathématiques, cependant le développement de la méthode du forcing a [...]
La théorie des ensembles cinquante ans après Cohen
Patrick Dehornoy
On présentera quelques résultats de théorie des ensembles récents, avec un accent sur l'hypothèse du continu et la possibilité de résoudre la question après les [...]
Two type-theoretic approaches to probabilistic termination
Charles Grellois
A fundamental result in lambda-calculus states that terms that admit a simple type are strongly normalizing: in other words, they always terminate. The simply-typed lambda-calculus [...]
Un contre-exemple à la conjecture de Thiagarajan sur les structures d'évènements régulières
Victor Chepoi
On présente un contre-exemple à la conjecture de Thiagarajan (1996 et 2002) affirmant que les structures d'évènements régulières correspondent exactement à celles obtenues comme dépliages [...]
Linear approximations, fibrations, intersection types
Luc Pellissier
We investigate intersection types from the “type systems as functors” viewpoint, as recently given by Melliès and Zeilberger. After recasting type-theoretic notions such as subject [...]
Théorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes
Simon Henry
Dans le cadre de la Journée "Autour de l’hypothèse homotopique de Grothendieck". Dans son manuscrit “À la poursuite des champs” Grothendieck propose une définition “d'infini-groupoïde” [...]
Globular models for weak higher dimensional structures
Edoardo Lanari
Dans le cadre de la Journée "Autour de l’hypothèse homotopique de Grothendieck". [su_spacer size="10"] The state of the art of higher category theory offers a [...]
Syntaxe et sémantique des diagrammes de preuve
Matteo Acclavio
TBA https://www.lmno.cnrs.fr/?q=equipes/agl
04
Mai
Opérateurs de réduction et complétion de systèmes de réécriture linéaires
Cyrille Chenavier
En réécriture, la confluence est une propriété garantissant que lorsque deux réductions sont issues d'un même terme, celles-ci confluent vers un terme commun. Dans cet [...]
