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
Finding Resolution in unexpected places: Girard's formula outside its usual setting
Peter Hines
WEBINAIRE (visio: https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef) Abstract: This is not a talk about Linear Logic or the Geometry of Interaction; these feature, very briefly, as historical background & [...]
Théorie des types pour les oméga-catégories faibles
Thibaut Benjamin
Les oméga-catégories faibles sont une généralisation des catégories dans lesquelle chaque catégorie possède non seulement des objets et des flèches, mais aussi des cellules de [...]
05
Déc
Un programme d'algebrisation pour la réalisabilité ? (annulé)
Mauricio Guillermo
Dans cet exposé, je me propose d'introduire les motivations du programme de travail qu'on poursuit à Montevideo depuis un moment. On remonte à la lecture [...]
Homologie des infini-catégories strictes
Léonard Guetta
Dans cet exposé, je présenterai une partie des travaux que j'ai effectués au cours de ma thèse et qui s'articulent autour de la théorie de [...]
On discrete idempotent paths
Luigi Santocanale
The set of discrete lattice paths from (0, 0) to (n, n) with North and East steps (i.e. words w ∈ { x, y } [...]
Quasi-polynomial techniques for parity games and and other problems
Karoliina Lehtinen
Séminaire commun avec les équipes MoVe et Lirica du LIS Parity games are central to the verification and synthesis of reactive systems: various model-checking, realisability [...]
12
Sep
Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques
Cyrille Chenavier
On introduit les systèmes de réécriture topologiques comme généralisation des systèmes de réécriture abstraits, où l'on considère un espace topologique au lieu d'un ensemble de [...]
11
Juil
Checking correctness for recursive definitions with mixed inductive and coinductive types
Pierre Hyvernat
The Size-Change Principle (SCP) is a simple algorithm giving a partial termination test for recursive definitions. If the language is lazy, it also gives (by [...]
Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur
Charles Grellois
Au cours des vingt dernières années, il y a eu beaucoup de progrès sur le model-checking des programmes probabilistes et des programmes fonctionnels, mais le [...]
