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
14
Mar
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/seminaire-2024-03-14/ .
22
Fév
2-Dimensional Monads and Concurrency
This talk is about 2-dimensional categories (2-categories or bicategories) in semantics. A number of recent denotational models are defined as bicategories (typically based on games, [...]
21
Fév
15
Fév
Séminaire LSC: Newton-Raphson iteration for Cartesian differential categories
Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this talk, I will present a categorical framework to [...]
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 [...]
