Logique et Interactions

• Daniel Gratzer, Elies Harington, Hiroshi Unno - Séminaire Chocola - 15/05/2025 - Toute la journée
• Baptiste Chanus - De la logique catégorique à la complexité descriptive catégorique [LSC] - 24/04/2025 - 11h00 - 12h30
• Simon Mirwasser - Double indexed differential linear logic reconciling resources and differential operators - 17/04/2025 - 11h00 - 12h30
• Lutz Straßburger - Combinatorial proofs for classical and intuitionistic logic [Lirica] - 01/04/2025 - 10h00 - 11h30
• 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
• 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