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
30
Apr
07
May
21
May
28
May
Événements passés
16
Apr
09
Apr
Double Toposes
Félix Loubaton (I2M, Aix-Marseille)
One perspective on (Grothendieck) toposes is to view them as a place where we can perform a "set-like" theory. The question of identifying place to [...]
02
Apr
26
Mar
Une interprétation générale du Fan Theorem par réalisabilité
Titouan Leclercq (I2M, Aix-Marseille)
Le Fan Theorem (FT) de Brouwer est un résultat central en mathématiques constructives, qui établit une notion de continuité. Ce résultat n'est cependant par vrai [...]
19
Mar
Affine λ-transducers with additive branching
Lê Thành Dũng (Tito) Nguyễn (LIS, Aix-Marseille)
This talk will cover the equivalence in expressive power between two models of computation for tree-to-tree functions: tree-to-tree Hennie machines, a variant of linear-time Turing [...]
12
Mar
05
Mar
19
Feb
Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten!
Rémy Cerda (Università di Bologna)
The standard notion of evaluation trees for the λ-calculus, namely Böhm trees, is quite ill-behaved with respect to the inputs of programs, namely free variables: [...]
12
Feb
Is typed realizability only predicative?
Félix Castro (I2M, Aix-Marseille)
In Kleene realizability, formulas are interpreted as sets of (untyped) programs. This approach allows for a sound interpretation of Higher-Order Logic (HOL): it leads to [...]
05
Feb
Séminaire Chocola à Lyon
Crubillé, Rogers, Wu (ÉNS Lyon)
Voir https://chocola.ens-lyon.fr/events/meeting-2026-02-05/ .
