Logique et Interactions

• 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
• Cédric de Lacroix - Frobenius structure in star-autonomous categories - 17/11/2022 - 11h00 - 12h30
• Mauricio Guillermo - Vers une formulation algébrique de la réalisabilité concurrente : un travail en cours - 10/11/2022 - 11h00 - 12h30
• - Rencontre Chocola à Lyon - 20/10/2022 - Toute la journée
• - Conférence en l’honneur de 60 ans de Thomas Ehrhard (Paris) - 29/09/2022 - 30/09/2022 - Toute la journée
• 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