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
30
Nov
Algebras in Relational Semantics
The well-known relational semantics of linear logic is constructed out of two kinds of free algebra construction: the powerset and the set of finite multisets [...]
23
Nov
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi
Une improvisation à partir de résultats récents adaptant les travaux de Kurz, Petrişan, Severi et de Vries à des types mixtes algébriques et coalgébriques.
16
Nov
09
Nov
Higher Structures in Homotopy Type Theory
The definition of algebraic structures on arbitrary types in homotopy type theory (HoTT) has proven elusive so far. This is due to types behaving like [...]
02
Nov
Séminaire LSC : Matteo Acclavio / Gianluca Curzi, Infinitary cut elimination via finite approximations
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor [...]
26
Oct
19
Oct
12
Oct
From Thin Concurrent Games to Relational Models
Denotational models can roughly be classified in two kinds: static models (domains, relations, coherence spaces, etc), which record atemporal final "states" of completed executions; and [...]
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 [...]
