Logique et Interactions

• Paolo Pistone - Tropical Mathematics and The Lambda Calculus - 10/10/2024 - 11h00 - 12h30
• Louis Lemonnier - A recipe for the semantics of reversible programming [LSC] - 03/10/2024 - 10h30 - 12h00
• Pierre Clairambault - Morphismes cartésiens en jeux concurrents - 26/09/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 19/09/2024 - Toute la journée
• Thibaut Benjamin - Automatisation des calculs dans les catégories supérieures et génération de preuves d'égalités - 12/09/2024 - 11h00 - 12h30
• Lê Thành Dũng (Tito) Nguyễn - Inexpressivity of higher-order transducers and semi-quantitative semantics (work in progress) [LSC] - 05/09/2024 - 11h00 - 12h30
• Luigi Bernardi - Logic Education: Playing with True and False - 21/06/2024 - 10h00 - 13h00
• Richard Matthews - Realizability Models for Large Cardinals - 20/06/2024 - 11h00 - 12h30
• Rémy Cerda - Taylor Approximation and Infinitary Lambda-Calculi - 10/06/2024 - 14h00 - 18h00
• Raphaëlle Crubilllé - Regular samplers and the De Finetti construction in Integrable Cones - 30/05/2024 - 11h00 - 12h30
• Séminaire LSC - 18/04/2024 - 11h00 - 12h30
• Séminaire LSC: Coherence by Normalization for Linear Multicategorical Structures - 11/04/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 04/04/2024 - 0h00 - 23h59
• Craig-Lyndon interpolation as cut-introduction - 28/03/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 14/03/2024 - 0h00 - 23h59
• 2-Dimensional Monads and Concurrency - 22/02/2024 - 11h00 - 12h30
• Soutenance d'HDR - 21/02/2024 - 14h00 - 15h00
• Séminaire LSC: Newton-Raphson iteration for Cartesian differential categories - 15/02/2024 - 11h00 - 12h30
• Coherent Taylor expansion as a bimonad in models of LL - 08/02/2024 - 11h00 - 12h30
• Lattices of Paths and Flat Dihomotopy Types - 01/02/2024 - 11h00 - 12h30