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
23
Jan
Le λ-calcul est quantifiable
Valentin Maestracci
Sur la base de l’article The Lambda Calculus is Quantifiable à CSL 2025 avec Paolo Pistone : We introduce several quantitative methods for the lambda-calculus [...]
19
Déc
Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (3/3)
Christine Vespa
Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]
12
Déc
Partial Markov Categories [LSC]
Mario Román
Partial Markov categories are a careful blend of Markov categories (from categorical probability theory) and cartesian restriction categories (from the algebraic theory of partial computations). [...]
06
Déc
Coalgebraic causal processes [LSC]
Elena Di Lavore
Effectful streams are a coinductive semantic universe for effectful dataflow programs. Under some conditions, effectful streams generalise causal stream functions, which are classically known to [...]
28
Nov
Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (2/2)
Christine Vespa
Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]
21
Nov
14
Nov
Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (1/2)
Christine Vespa
Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]
24
Oct
Böhm and Taylor for all
Aloÿs Dufour
Böhm approximations, used in the definition of Böhm trees, are a staple of the semantics of the lambda-calculus. Introduced more recently by Ehrhard and Regnier, [...]
17
Oct
Séminaire Chocola à Lyon
Voir: https://chocola.ens-lyon.fr/events/meeting-2024-10-17/ .
10
Oct
Tropical Mathematics and The Lambda Calculus
Paolo Pistone
We explore the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two [...]
