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
28
Sep
Séminaire Chocola à Lyon
Voir https://chocola.ens-lyon.fr/events/meeting-2023-09-28/. Le matin en salle 435 (4ème étage -- à confirmer), et l'après-midi en amphi B. Ces deux salles sont sur le site [...]
21
Sep
La bicatégorie cartésienne close des spans fins
Dans le modèle Rel de la logique linéaire, les types sont interprétés par des ensembles, et les preuves/programmes par des relations. Une idée naturelle pour [...]
14
Sep
Deux définitions alternatives des ω-catégories (et leurs généralisations homotopiques)
Nous donnerons deux définitions alternatives des ω-catégories. La première repose sur la catégorie Θ de Joyal et la deuxième sur le nerf de Street et [...]
29
Juin
Concurrent Realizability on Conjunctive Structures
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose [...]
29
Juin
Strategies as Resource Terms, and their Categorical Semantics
As shown by Tsukada and Ong, normal (extensional) simply-typed resource terms correspond to playsin Hyland-Ong games, quotiented by Melliès’ homotopy equivalence. Though inspiring, their proofis [...]
22
Juin
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
We consider the following decision problem: given two simply typed λ-terms, are they β-convertible? Equivalently, do they have the same normal form? It is famously [...]
15
Juin
06
Juin
Journées LHC et Métayer à Paris
Voir : https://smimram.gitlabpages.inria.fr/lhc/journees/2023/04/01/journees.html
01
Juin
Profinite lambda-terms and parametricity
This talk will present a definition of profinite lambda-terms of any simple type. Profinite structures naturally appear in automata theory as a way to speak [...]
25
Mai
Caractérisation de H* par le développement de Taylor extensionnel
Le développement de Taylor extensionnel déjà présenté au séminaire le 9 février dernier valide les règles β et η : deux termes βη-convertibles ont des développements [...]
