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
25
Jun
02
Jul
Événements passés
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/ .
29
Jan
Semantics of Fine-Grained Mode Checking
Ariadne Suo (IRIF, Paris Cité)
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information [...]
22
Jan
The spectral space of a round-based protocol
Cameron Calk (LIS)
An important question in the domain of distributed computing is that of task solvability : given a distributed task, the analog of a program specification [...]
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
Dec
11
Dec
Séminaire Chocola à Lyon
Cailler, Chardonnet, Paquet (…)
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-12-11/
