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
12
Fév
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 [...]
19
Fév
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: [...]
Événements passés
Un aperçu des modèles mémoires faiblement cohérents
Léo Stefanesco (Max Planck Institute for Software Systems)
Le modèle le plus couramment utilisé pour étudier les programmes concurrents est celui de la cohérence séquentielle (SC), où les opérations des différents processus sont [...]
08
Sep
Why Are Proofs Relevant in Proof-Relevant Models?
Axel Kerinec (LIPN, Université Sorbonne Paris Nord)
Relational models of 𝜆-calculus can be presented as type systems, the relational interpretation of a 𝜆-term being given by the set of its typings. Within [...]
07
Juil
Jeux concurrents et jeux de gabarits
Victor Blanchi (ÉNS PSL, Paris & I2M, Aix-Marseille)
La sémantique des jeux permet de modéliser finement un langage de programmation en s'intéressant à l'interaction entre un programme et son environnement. Ce champ regroupe [...]
Une méthode calculatoire pour les adjoints à gauche
Simon Forest (I2M, Aix-Marseille)
Les catégories sont, en toute généralité, des objets beaucoup trop gros pour faire l'objet d'un traitement informatique. En effet, une structure dont les éléments (objets [...]
09
Juin
Sequential algorithms and friends
Workshop (CIRM, Luminy, Marseille)
WORKSHOP The purpose of this workshop is to survey the state of the art of sequential algorithms, and to explore connections, whether well established or [...]
02
Juin
19
Mai
Univalence dans la catégorie des catégories
Félix Loubaton (Laboratoire J. A. Dieudonné, Nice)
En s'inspirant de la théorie des types homotopiques, on définira la notion d'univers et d'univalence dans la catégorie des catégories. On essayera ensuite de montrer [...]
Deconstructing Tarski's calculus of relations with Tape diagrams
Filippo Bonchi (Università degli Studi di Pisa)
The category Rel of sets and relations carries two different monoidal tensors given by disjoint union (particles interpretation) and Cartesian product (waves). Tape diagrams provides [...]
05
Mai
31
Mar
