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
Une méthode calculatoire pour les adjoints à gauche
Simon Forest (I2M, Aix-Marseille)
Les catégories sont, en toute généralité, des objets beaucoup trop gros pour faire l'objet d'un traitement informatique. En effet, une structure dont les éléments (objets [...]
09
Juin
Sequential algorithms and friends
Workshop (CIRM, Luminy, Marseille)
WORKSHOP The purpose of this workshop is to survey the state of the art of sequential algorithms, and to explore connections, whether well established or [...]
02
Juin
19
Mai
Univalence dans la catégorie des catégories
Félix Loubaton (Laboratoire J. A. Dieudonné, Nice)
En s'inspirant de la théorie des types homotopiques, on définira la notion d'univers et d'univalence dans la catégorie des catégories. On essayera ensuite de montrer [...]
Deconstructing Tarski's calculus of relations with Tape diagrams
Filippo Bonchi (Università degli Studi di Pisa)
The category Rel of sets and relations carries two different monoidal tensors given by disjoint union (particles interpretation) and Cartesian product (waves). Tape diagrams provides [...]
05
Mai
31
Mar
24
Mar
Proof nets, rings, and ideals
William Troiani (LIPN, Université Sorbonne Paris Nord)
What is cut elimination? When Gentzen wrote down the rewriting processes associated with his logical systems, what seemingly external mathematical structure was he also encapsulating? [...]
17
Mar
Les jeux de gabarit, un modèle homotopique de la logique linéaire différentielle
Paul-André Melliès (IRIF, Paris Cité)
03
Mar
Automates implicites en λ-calcul typé
Lê Thành Dũng Nguyễn (IRISA, Rennes)
La correspondance preuves-programmes fait intervenir des langages de programmation totaux, qui ne sont donc pas Turing-complets. Quels prédicats ou quelles fonctions peut-on définir par des [...]
