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
15
Mai
Séminaire Chocola
Daniel Gratzer, Elies Harington, Hiroshi Unno
Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
Événements passés
A linear monadic second-order logic over omega-words
Colin Riba
(j.w.w. P. Pradic) We present LMSO, a linear logic-based variant of MSO over omega-words. LMSO can be seen as a logical syntax for a Curry-Howard-Lambek-like [...]
The theory of call-by-value solvability
Giulio Guerrieri
The semantics of the untyped (call-by-name) lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many [...]
Frobenius structure in star-autonomous categories
Cédric de Lacroix
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice [...]
Vers une formulation algébrique de la réalisabilité concurrente : un travail en cours
Mauricio Guillermo
Nous présentons quelques résultats du projet STIC-AmSud "An Algebrization Program for Concurrent Realizability". Dans une première partie nous exposons comme point de départ la Réalisabilité [...]
Rencontre Chocola à Lyon
Voir https://chocola.ens-lyon.fr/events/meeting-2022-10-20/ . Rencontre, 20 October 2022 We will be in Amphi B, 3rd floor, Monod site of the ENSL. Programme 10:30 – 12:00 [...]
29
Sep
Un aperçu des modèles mémoires faiblement cohérents
Léo Stefanesco
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
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
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
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 [...]
