Logique et Interactions

• Boris ENG - Une lecture technique de la syntaxe transcendantale - 30/09/2021 - 11h00 - 12h30
• Lison Blondeau-Patissier - Injectivité positionnelle pour les stratégies innocentes - 16/09/2021 - 11h00 - 12h30
• Thomas Ehrhard - Coherent differentiation - 09/09/2021 - 11h00 - 12h30
• Wesley Fussner - Sémantiques relationnelles et traductions modales pour Generalized Basic Logic - 08/07/2021 - 10h30 - 11h30
• Pierre Clairambault - The concurrent games abstract machine - 24/06/2021 - 10h30 - 11h30
• Giulio Guerrieri - Gluing resource proof-structures: inhabitation and inverting the Taylor expansion - 10/06/2021 - 10h30 - 11h30
• Guilhem Jaber - Compositional relational reasoning via operational game semantics - 27/05/2021 - 10h30 - 11h30
• Ambroise Lafont - Spécification mathématique de langages de programmation via les monades et leurs modules - 29/04/2021 - 10h30 - 11h30
• Étienne Miquey - Evidenced frames: a unifying framework broadening realizability models - 15/04/2021 - 10h30 - 11h30
• Giulio Guerrieri - Gluing resource proof-structures: inhabitation and inverting the Taylor expansion - 01/04/2021 - 10h30 - 11h30
• Simon Forest - Une extension du cadre de Batanin pour les catégories supérieures - 18/03/2021 - 10h30 - 11h30
• Raphaëlle Crubillé - On higher-order cryptography - Raphaëlle Crubillé - 21/01/2021 - 10h30 - 11h30
• Luidnel Maignan - The Bicategory of “Open Functors” and its Friends – Luidnel Maignan - 07/01/2021 - 10h30 - 11h30
• Federico Olimpieri - Intersection Types and Resource Calculi in the Denotational Semantics of λ-calculus - 27/11/2020 - 14h00 - 16h00
• Christine Tasson - A multicategorical approach to mixed linear-non-linear substitution - Christine Tasson - 26/11/2020 - 11h00 - 12h30
• Un groupoïde d’arbres de permutations (suite) - 12/11/2020 - 11h00 - 12h30
• Lionel Vaux Auclair - Un groupoïde d’arbres de permutations - 08/10/2020 - 11h00 - 12h30
• Peter Hines - Finding Resolution in unexpected places: Girard's formula outside its usual setting - 02/07/2020 - 10h00 - 11h00
• Thibaut Benjamin - Théorie des types pour les oméga-catégories faibles - 13/02/2020 - 11h00 - 12h30
• Mauricio Guillermo - Un programme d'algebrisation pour la réalisabilité ? (annulé) - 05/12/2019 - 11h00 - 12h30