Logique et Interactions

• Rémy Cerda - Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi - 23/11/2023 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 16/11/2023 - 0h00 - 23h59
• Antoine Allioux - Higher Structures in Homotopy Type Theory - 09/11/2023 - 11h00 - 12h30
• Matteo Acclavio, Gianluca Curzi - Infinitary cut elimination via finite approximations - 02/11/2023 - 11h00 - 12h30
• Marc de Visme - Graphical Languages for Quantum Computation - 26/10/2023 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 19/10/2023 - 0h00 - 23h59
• Pierre Clairambault - From Thin Concurrent Games to Relational Models - 12/10/2023 - 11h00 - 12h30
• Lionel Vaux-Auclair - Dans les réseaux de démonstration, on peut sauter à l’élastique en toute sécurité (et c’est la preuve de séquentialisation du LLHandbook) - 05/10/2023 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 28/09/2023 - 0h00 - 23h59
• Simon Forest - La bicatégorie cartésienne close des spans fins - 21/09/2023 - 11h00 - 12h30
• Félix Loubaton - Deux définitions alternatives des ω-catégories (et leurs généralisations homotopiques) - 14/09/2023 - 11h00 - 12h30
• Étienne Miquey - Concurrent Realizability on Conjunctive Structures - 29/06/2023 - 11h15 - 12h00
• Lison Blondeau-Patissier - Strategies as Resource Terms, and their Categorical Semantics - 29/06/2023 - 10h30 - 11h15
• Lê Thành Dũng (Tito) Nguyễn - 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
• Vincent Moreau - Profinite lambda-terms and parametricity - 01/06/2023 - 11h00 - 12h30
• Lionel Vaux-Auclair - 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
• Victor Arrial - Quantitative inhabitation for different lambda calculi in a unifying framework - 04/05/2023 - 11h00 - 12h30