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
18
Déc
Événements passés
A semantic study of higher-order model-checking
Charles Grellois (LIS, LIRICA team, Aix-Marseille Université)
Using higher-order recusion schemes, one can model the computation flow of functional programs, and produce trees abstracting their set of executions. The higher-order model-checking problem [...]
Topologies faibles et logique linéaire
Marie Kerjean (PPS, Université Paris-Diderot)
Je présenterai dans cet exposé un modèle de la logique linéaire différentielle où les formules sont interprétées par les espaces vectoriels topologiques localement convexes. La [...]
09
Oct
02
Oct
Programmation logique, unification et espace logarithmique
Clément Aubert (I2M, Aix-Marseille Université)
Nous présentons une construction algébrique qui a pour loi de composition l’unification de termes du premier ordre, et comment y représenter le calcul. La correspondance [...]
Sur le groupoïde de géométrie d'une variété équationnelle équilibrée
Laurent Poinsot (LIPN, Université Paris 13)
Patrick Dehornoy a construit un monoïde de fonctions partiellement définies sur une algèbre de termes sur un domaine d'opérateurs (signature) S, dit conoïde de géométrie, [...]
Coordinatizing MV algebras and AF C*-algebras by inverse monoids
Philip Scott (University of Ottawa)
Slides Joint work with M. Lawson.
Canonicity of groupoids laws using parametricity theory
Marc Lasson (University of Cambridge)
The synthetic approach to weak ω-groupoids promoted by the univalent foundation program is the idea that (homotopy) type theory should be the primitive language in [...]
Type theory modulo isomorphisms
Alejandro Díaz-Caro (INRIA Rocquencourt & Paris Ouest)
We defined a typed lambda-calculus where the isomorphisms between types are raised to the level of an equality relation. To this end, an equivalence relation [...]
