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
20
Nov
Séminaire Chocola à Lyon
Marin, Walch, Wrigley
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-11-13/
27
Nov
11
Déc
Séminaire Chocola à Lyon
Cailler, Paquet, TBA
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-10-16/
18
Déc
Événements passés
02
Juin
19
Mai
Univalence dans la catégorie des catégories
Félix Loubaton
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
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
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
03
Mar
Automates implicites en λ-calcul typé
Lê Thành Dũng Nguyễn
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 [...]
13
Jan
Sémantique des jeux pour la logique modale CK
Davide Catta
Les logiques modales constructives sont obtenues en étendant la logique propositionnelle intuitionniste avec certains axiomes modaux. De nombreux systèmes de preuve sont connus pour ces [...]
Geometry of Interaction for ZX-Diagrams
Kostia Chardonnet
ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this work we propose [...]
