Logique et Interactions

• Léo Stefanesco - Un aperçu des modèles mémoires faiblement cohérents - 15/09/2022 - 11h00 - 12h30
• Axel Kerinec - Why Are Proofs Relevant in Proof-Relevant Models? - 08/09/2022 - 11h00 - 12h30
• Victor Blanchi - Jeux concurrents et jeux de gabarits - 07/07/2022 - 11h00 - 12h30
• Simon Forest - Une méthode calculatoire pour les adjoints à gauche - 30/06/2022 - 11h00 - 12h30
• Workshop - Sequential algorithms and friends - 09/06/2022 - 10/06/2022 - 0h00
• - Chocola à Lyon - 02/06/2022 - Toute la journée
• Félix Loubaton - Univalence dans la catégorie des catégories - 19/05/2022 - 11h00 - 12h30
• Filippo Bonchi - Deconstructing Tarski's calculus of relations with Tape diagrams - 12/05/2022 - 11h00 - 12h30
• - Chocola à Lyon - 05/05/2022 - 10h30 - 16h30
• Chocola à Lyon - 31/03/2022 - Toute la journée
• William Troiani - Proof nets, rings, and ideals - 24/03/2022 - 11h00 - 12h30
• Paul-André Melliès - Les jeux de gabarit, un modèle homotopique de la logique linéaire différentielle - 17/03/2022 - 11h00 - 12h30
• Lê Thành Dũng Nguyễn - Automates implicites en λ-calcul typé - 03/03/2022 - 11h00 - 12h30
• Davide Catta - Sémantique des jeux pour la logique modale CK - 13/01/2022 - 10h30 - 12h00
• Kostia Chardonnet - Geometry of Interaction for ZX-Diagrams - 16/12/2021 - 11h00 - 12h30
• Rémy Cerda - Développement de Taylor en λ-calcul infinitaire, suite - 09/12/2021 - 11h00 - 12h30
• Rémy Cerda - Développement de Taylor en λ-calcul infinitaire - 25/11/2021 - 11h00 - 12h30
• Lionel Vaux Auclair - Sur la syntaxe de la sémantique quantitative - 18/11/2021 - 16h00 - 17h00
• Paul-André Melliès - Template games: a categorical combinatorics of scheduling and synchronisation - 18/11/2021 - 15h00 - 16h00
• Ugo Dal Lago - On counting quantifiers and randomised computation - 18/11/2021 - 14h00 - 15h00