Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Responsable
Fréquence

hebdomadaire (sauf conflit avec Chocola)

Jour-Horaires

Jeudi. 11h-12h30

Lieu

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

 

Contacts

lionel.vaux_at_univ-amu.fr

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

09 Oct

TBA

Rémi Di Guardia

09/10/2025    
11h00 - 12h30
23 Oct

TBA

Jad Koleilat

23/10/2025    
11h00 - 12h30

Événements passés

25 Sep

Linearization via Rewriting

Federico Olimpieri

We introduce the structural resource λ-calculus, a new formalism inwhich strongly normalizing terms of the λ-calculus can naturally berepresented, and at the same time any [...]
26 Juin

Séminaire Chocola à Lyon

Choudhury, Marshall, Pimentel

Voir: https://chocola.ens-lyon.fr/events/meeting-2025-06-26.
19 Juin

∞-categorical models of linear logic

Elies Harington

The notion of categorical model of linear logic is now well studied and established around the notion of linear-non-linear adjunction, which encompasses the previous notions [...]
05 Juin

Getting thin spans in order

Victor Blanchi

Recently, Clairambault and Forest introduced the cartesian closed bicategory of thin spans of groupoids. It is a proof-relevant denotational model, akin to Fiore et al's [...]
15 Mai

Séminaire Chocola

Daniel Gratzer, Elies Harington, Hiroshi Unno

Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
24 Avr

De la logique catégorique à la complexité descriptive catégorique [LSC]

Baptiste Chanus

La catégorie syntaxique est une construction qui permet de raisonner sur la logique à l'aide des outils de la théorie des catégories. D'un autre côté, [...]
17 Avr

Double indexed differential linear logic reconciling resources and differential operators

Simon Mirwasser

Graded Linear Logic is a central development of Linear Logic, quantifying the use of resources in proofs and programs. Differential Linear Logic, on the other [...]
01 Avr

Combinatorial proofs for classical and intuitionistic logic [Lirica]

Lutz Straßburger

(Séminaire de l’équipe Lirica au LIS) Combinatorial proofs, or “proofs without syntax”, form a graphical semantics of proof in various logics that is canonical yet [...]
27 Mar

Monotone weak distributive laws in categories of algebras [LSC]

Quentin Aristote

Within the study of the semantics of programming languages, computational effects may be modelled with monads, and weak distributive laws between monads are then a [...]
1 2 3 4 5 6 7 8 9 10 11 12
Secured By miniOrange