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
19
Fév
Événements passés
08
Jan
Approche fonctorielle des automates boustrophédons et des automates d'arbres
Victor Iwaniack (I2M, Aix-Marseille)
Dans leur article [1], Colcombet et Petrişan donnent une description des langages et des automates en tant que foncteurs : la reconnaissance devient l'extension d'un [...]
18
Déc
11
Déc
Séminaire Chocola à Lyon
Cailler, Chardonnet, Paquet (…)
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-12-11/
27
Nov
L'influence des travaux de Turing sur la philosophie de Gödel
Fabien Carbo-Gil (CGGG, Aix Marseille)
Les travaux de Turing ont participé à donner aux théorèmes d'incomplétude de Gödel toute leur portée en fournissant une définition explicite de la notion de [...]
20
Nov
Séminaire Chocola à Lyon
Marin, Walch, Wrigley (…)
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-11-13/
23
Oct
09
Oct
Cut-Expansion in Proof-Nets of Multiplicative Linear Logic
Rémi Di Guardia (IRIF, Paris Cité)
Cut-elimination is a rewriting system defined in many logics, which has been widely studied. In general, a major result is to prove its weak normalization, [...]
25
Sep
Linearization via Rewriting
Federico Olimpieri (LIS, Aix-Marseille)
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 (LIX & LIPN)
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 [...]
