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
16
Jul
Événements passés
11
Apr
Séminaire LSC: Coherence by Normalization for Linear Multicategorical Structures
Federico Olimpieri (LIS, Aix-Marseille)
We establish a formal correspondence between resource calculi and appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For [...]
04
Apr
28
Mar
Craig-Lyndon interpolation as cut-introduction
Alexis Saurin (IRIF)
In this talk, I will present a proof-relevant Craig-Lyndon interpolation theorem for first-order LL (linear logic). This interpolation result is proof-relevant in the following sense: [...]
14
Mar
22
Feb
2-Dimensional Monads and Concurrency
Hugo Paquet (LIPN)
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
Feb
Causal Investigations in Interactive Semantics
Pierre Clairambault (LIS)
Soutenance d'HdR Jury: - Dan Ghica, rewiever, Huawei Central Software Institute and professor at the University of Birmingham, - Delia Kesner, examiner, professor at IRIF, [...]
15
Feb
Séminaire LSC: Newton-Raphson iteration for Cartesian differential categories
Zeinab Galal (University of Bologna)
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 [...]
01
Feb
Lattices of Paths and Flat Dihomotopy Types
Cameron Calk (LIS)
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
11
Jan
Construction de Grothendieck pour les omega-catégories strictes
Léonard Guetta (Utrecht)
Le but de cet exposé est de présenter un travail récent en collaboration avec Dimitri Ara et Andrea Gagna, dans lequel nous avons étudié les [...]
