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
30
Apr
07
May
21
May
28
May
Événements passés
12
Sep
Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques
Cyrille Chenavier (INRIA, Lille)
On introduit les systèmes de réécriture topologiques comme généralisation des systèmes de réécriture abstraits, où l'on considère un espace topologique au lieu d'un ensemble de [...]
11
Jul
Checking correctness for recursive definitions with mixed inductive and coinductive types
Pierre Hyvernat (LAMA, Université Savoie Mont Blanc)
The Size-Change Principle (SCP) is a simple algorithm giving a partial termination test for recursive definitions. If the language is lazy, it also gives (by [...]
Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur
Charles Grellois (LIS, LIRICA team, Aix-Marseille Université)
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 (LIP, ENS Lyon)
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é (IMDEA Software Institute, Madrid)
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 (LIS, LIRICA team, Aix-Marseille Université)
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 [...]
07
Mar
Combinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL
Lionel Vaux Auclair (I2M, Aix-Marseille Université)
TBA (travail en collaboration avec Jules Chouquet)
