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
18
Déc
Événements passés
05
Oct
Dans les réseaux de démonstration, on peut sauter à l’élastique en toute sécurité (et c’est la preuve de séquentialisation du LLHandbook)
(...)
Dans un cours d’introduction à la logique linéaire, si on parle de réseaux, on énonce généralement un résultat de séquentialisation : tout réseau est la [...]
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 [...]
