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
Pas d'évènements à afficher
Événements passés
08
Fév
Coherent Taylor expansion as a bimonad in models of LL
The differential lambda calculus was introduced by Ehrhard and Regnier. This calculus features an operation of differentiation that extracts the best linear interpretation of a [...]
01
Fév
Lattices of Paths and Flat Dihomotopy Types
In this talk, I will describe ongoing work relating rewriting, quantales, and (directed) topology. The goal of this work is to describe the congruences of [...]
25
Jan
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/seminaire-2024-01-25/
14
Déc
07
Déc
Séminaire LSC: Glynn Winskel, Making concurrency functional
This talk bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to [...]
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 [...]
