Localisation

Adresse

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
3 place Victor Hugo
Case 19
13331 Marseille Cedex 3

Responsables
Fréquence

hebdomadaire (sauf conflit avec Chocola)

Jour-Horaires

Jeudi. 11h-12h30 (iCal)

Lieu

Luminy (accès), salle de séminaire (304-306)

 

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

26 Sep

Morphismes cartésiens en jeux concurrents

Pierre Clairambault

On comprend désormais bien comment relier les jeux aux modèles quantitatifs tels que le modèle relationnel: il suffit d'"oublier le temps" ou la causalité, et [...]
03 Oct

TBA [LSC]

Louis Lemonnier

03/10/2024    
11h00 - 12h30
10 Oct

Tropical Mathematics and The Lambda Calculus

Paolo Pistone

10/10/2024    
11h00 - 12h30
We explore the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two [...]
17 Oct

Séminaire Chocola à Lyon

Séminaire CHoCoLa à Lyon

Voir: https://chocola.ens-lyon.fr/events/meeting-2024-10-17/ .
24 Oct

Böhm and Taylor for all

Aloÿs Dufour

Böhm approximations, used in the definition of Böhm trees, are a staple of the semantics of the lambda-calculus. Introduced more recently by Ehrhard and Regnier, [...]
14 Nov

Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (1/2)

Christine Vespa

Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]
21 Nov

Séminaire Chocola à Lyon

Voir: https://chocola.ens-lyon.fr/events/meeting-2024-11-21/.
28 Nov

Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (2/2)

Christine Vespa

Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]

Événements passés

19 Sep

Séminaire Chocola à Lyon

Voir: https://chocola.ens-lyon.fr/events/meeting-2024-09-19/ .
12 Sep

Automatisation des calculs dans les catégories supérieures et génération de preuves d'égalités

Thibaut Benjamin

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

05/09/2024    
11h00 - 12h30
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 Juin

Realizability Models for Large Cardinals

Richard Matthews

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 Mai

Regular samplers and the De Finetti construction in Integrable Cones

Raphaëlle Crubilllé

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 [...]
18 Avr
11 Avr

Séminaire LSC: Coherence by Normalization for Linear Multicategorical Structures

11/04/2024    
11h00 - 12h30
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 Avr

Séminaire Chocola à Lyon

Voir: https://chocola.ens-lyon.fr/events/meeting-2024-04-04/ .
28 Mar

Craig-Lyndon interpolation as cut-introduction

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

Séminaire Chocola à Lyon

Voir: https://chocola.ens-lyon.fr/events/seminaire-2024-03-14/ .
1 2 3 4 5 6 7 8 9 10 11 12
Secured By miniOrange