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
21
May
28
May
25
Jun
02
Jul
Événements passés
12
Sep
Automatisation des calculs dans les catégories supérieures et génération de preuves d'égalités
Thibaut Benjamin (Cambridge)
Dans cet exposé, je vais présenter une approche pour travailler avec les types d'identité supérieurs en théorie des types homotopique, s'appuyant sur un langage intermédiaire [...]
05
Sep
Inexpressivity of higher-order transducers and semi-quantitative semantics (work in progress) [LSC]
Lê Thành Dũng (Tito) Nguyễn (ÉNS Lyon)
Our goal is to generalize a little-known but powerful "bridge theorem" of Engelfriet and Maneth, which can be used for instance to refute in a [...]
20
Jun
Realizability Models for Large Cardinals
Richard Matthews (University of Cambridge)
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard [...]
30
May
Regular samplers and the De Finetti construction in Integrable Cones
Raphaëlle Crubilllé (LIS)
The starting point of this talk is the structure of the object !Bool in probabilistic coherent spaces. For the purpose of building a semantics interpretation [...]
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, [...]
