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
Pas d'évènements à afficher
Événements passés
Linear approximations, fibrations, intersection types
Luc Pellissier
We investigate intersection types from the “type systems as functors” viewpoint, as recently given by Melliès and Zeilberger. After recasting type-theoretic notions such as subject [...]
Théorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes
Simon Henry
Dans le cadre de la Journée "Autour de l’hypothèse homotopique de Grothendieck". Dans son manuscrit “À la poursuite des champs” Grothendieck propose une définition “d'infini-groupoïde” [...]
Globular models for weak higher dimensional structures
Edoardo Lanari
Dans le cadre de la Journée "Autour de l’hypothèse homotopique de Grothendieck". [su_spacer size="10"] The state of the art of higher category theory offers a [...]
Syntaxe et sémantique des diagrammes de preuve
Matteo Acclavio
TBA https://www.lmno.cnrs.fr/?q=equipes/agl
04
Mai
Opérateurs de réduction et complétion de systèmes de réécriture linéaires
Cyrille Chenavier
En réécriture, la confluence est une propriété garantissant que lorsque deux réductions sont issues d'un même terme, celles-ci confluent vers un terme commun. Dans cet [...]
Shapely monads and analytic functors
Tom Hirschowitz
In this work, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; [...]
The complete unsoundness of coinductive intersection types (and how to escape it)
Pierre Vial
Certain type assignment systems are known to guarantee or characterize normalization. The grammar of the types they feature is usually inductive. It is easy to [...]
Logique intuitionniste et stabilisation dans les circuits électroniques
Gérard Berry
Principe de la logique intuitionniste : au lieu de résoudre des équations logiques, se contenter de propager des faits prouvés. Médaille d’or 2014 du CNRS
Relational graph models and observational theories
Domenico Ruoppolo
On présente les modèles de graphes relationnels (rgm), une sous-classe des modèles relationnels du lambda-calcul pur (les objects réflexifs dans la catégorie cartésienne fermée MRel [...]
Monotonicity in Logic and Complexity
Anupam Das
Monotonicity is a fundamental notion in mathematics and computation. For usual real-valued functions R → R this simply corresponds to the notion that a function [...]
