Logique et Interactions

• Concurrent Realizability on Conjunctive Structures - 29/06/2023 - 11h15 - 12h00
• Strategies as Resource Terms, and their Categorical Semantics - 29/06/2023 - 10h30 - 11h15
• Simply typed β-convertibility is TOWER-complete even for safe λ-terms - 22/06/2023 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 15/06/2023 - 0h00 - 23h59
• Journées LHC et Métayer à Paris - 06/06/2023 - 09/06/2023 - 0h00 - 23h59
• Profinite lambda-terms and parametricity - 01/06/2023 - 11h00 - 12h30
• Caractérisation de H* par le développement de Taylor extensionnel - 25/05/2023 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 11/05/2023 - 0h00 - 23h59
• Quantitative inhabitation for different lambda calculi in a unifying framework - 04/05/2023 - 11h00 - 12h30
• Exponential functions and exponential connectives: turning the Taylor expansion into a monad - 20/04/2023 - 11h00 - 12h30
• Dimitri Ara - Théorie de l'homotopie des ∞-catégories strictes - 30/03/2023 - 14h30 - 18h00
• Gabriele Vanoni - Gabriele Vanoni - ANNULÉ - 23/03/2023 - 11h00 - 13h00
• Peter Dybjer - Generalized algebraic theories and categories with families - 09/03/2023 - 11h00 - 12h30
• Rémy Cerda - La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes - 02/03/2023 - 11h00 - 12h30
• Lionel Vaux Auclair - Développement de Taylor extensionnel des λ-termes purs - 09/02/2023 - 11h00 - 12h30
• Morgan Rogers - Toposes for monoid actions for complexity theory - 02/02/2023 - 11h00 - 12h30
• - Rencontre Chocola à Lyon - 26/01/2023 - Toute la journée
• Félix Castro - An interpretation (by parametricity) of E-HA^ω inside HA^ω - 12/01/2023 - 11h00 - 12h30
• Colin Riba - A linear monadic second-order logic over omega-words - 15/12/2022 - 11h00 - 12h30
• Giulio Guerrieri - The theory of call-by-value solvability - 01/12/2022 - 11h00 - 12h30