Logique et Interactions

• Alexis Saurin - Craig-Lyndon interpolation as cut-introduction - 28/03/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 14/03/2024 - 0h00 - 23h59
• Hugo Paquet - 2-Dimensional Monads and Concurrency - 22/02/2024 - 11h00 - 12h30
• Pierre Clairambault - Causal Investigations in Interactive Semantics - 21/02/2024 - 14h00 - 15h00
• Zeinab Galal - Séminaire LSC: Newton-Raphson iteration for Cartesian differential categories - 15/02/2024 - 11h00 - 12h30
• Cameron Calk - Lattices of Paths and Flat Dihomotopy Types - 01/02/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 25/01/2024 - Toute la journée
• Léonard Guetta - Construction de Grothendieck pour les omega-catégories strictes - 11/01/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 14/12/2023 - 0h00 - 23h59
• Glynn Winskel - Making concurrency functional - 07/12/2023 - 11h00 - 12h30
• Guy McCusker - Algebras in Relational Semantics - 30/11/2023 - 11h00 - 12h30
• 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