Logique et Interactions

• Quentin Aristote - Monotone weak distributive laws in categories of algebras [LSC] - 27/03/2025 - 11h00 - 12h30
• Simon Vilmin - The E-base of finite semidistributive closure lattices [LSC] - 20/03/2025 - 11h00 - 12h30
• Barrett, di Lavore, Fernandez - Séminaire Chocola à Lyon - 13/03/2025 - Toute la journée
• Lê Thành Dũng (Tito) Nguyễn - Slightly Non-Linear Higher-Order Tree Transducers - 06/03/2025 - 11h00 - 12h30
• Pablo Donato - Graphes existentiels, calcul floral, théorie des topes [LSC] - 27/02/2025 - 11h00 - 12h30
• Simon Forest - Méthodes calculatoires en théorie des catégories - 13/02/2025 - 11h00 - 12h30
• Hsu, Katsumata, Maestracci - Séminaire Chocola à Lyon - 06/02/2025 - Toute la journée
• Uli Fahrenberg - Higher-Dimensional Automata Theory [LSC] - 30/01/2025 - 11h00 - 12h30
• Valentin Maestracci - Le λ-calcul est quantifiable - 23/01/2025 - 11h00 - 12h30
• Christine Vespa - Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (3/3) - 19/12/2024 - 11h00 - 12h30
• Mario Román - Partial Markov Categories [LSC] - 12/12/2024 - 11h00 - 12h30
• Elena Di Lavore - Coalgebraic causal processes [LSC] - 06/12/2024 - 11h00 - 12h30
• Christine Vespa - Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (2/2) - 28/11/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 21/11/2024 - Toute la journée
• Christine Vespa - Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (1/2) - 14/11/2024 - 11h00 - 12h30
• Aloÿs Dufour - Böhm and Taylor for all - 24/10/2024 - 11h00 - 12h30
• Séminaire Chocola à Lyon - 17/10/2024 - Toute la journée
• 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