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
Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur
Charles Grellois
Au cours des vingt dernières années, il y a eu beaucoup de progrès sur le model-checking des programmes probabilistes et des programmes fonctionnels, mais le [...]
Concurrent Games with side-information
Aurore Alcolei
Game semantics is an interactive denotational semantics: a denotation specifies the behaviour of a term/proof with respect to its environment. As such it is one [...]
Probabilistic stable functions on discrete cones are power series
Raphaëlle Crubillé
The category of probabilistic coherence spaces (PCoh_!), introduced by Danos and Ehrhard, is a fully abstract model for PCF with *discrete* probabilities, where morphisms can [...]
Quantales MIX *-autonomes et l'ordre faible continu
Luigi Santocanale
L'ensemble des permutations sur une ensemble fini possède la structure de treillis connue comme l'ordre faible de Bruhat. Cette structure s'étend aux mots sur un [...]
Combinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL
Lionel Vaux Auclair
TBA (travail en collaboration avec Jules Chouquet)
Lambda Calculus and Probabilistic Computation
Claudia Faggian
In order to model higher-order probabilistic computation, a natural approach is to take the lambda calculus as a paradigm, and to enrich it with an [...]
Un modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α)
Laura Fontanella, Guillaume Geoffroy
TBA Laura FONTANELLA Guillaume GEOFFROY
17
Jan
Towards a Proof Theory of the Riesz Modal Logic
Christophe Lucas
It has recently been shown that two Riesz-modal-logic formulas are semantically equivalent if and only if they are equivalent when interpreted in all "modal Riesz [...]
