On-going Working Groups (since 2024)
LMV
This working group is the general purpose working group of the LMV team. It is organized by the LMV team leader.
2025
- Monday, February 2, 2025, 2:00 PM, room SR3, TBA
2024 Second Semester
- Wednesday, October 23, 2024, 2:00 PM, room SR3, Talk by Jordan Ischard, SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs
- Wednesday, October 23, 2024, 2:00 PM, room SR3, Talk by Tomaz Kosar (University of Maribor), Language workbench Jetbrains MPS
- Monday, July 15, 2024, 11:00 AM, room SR3. Talk by Myriam Clouet. Refinement of requirements for critical systems
- Wednesday, July 10, 2024, 2:00 PM, room SR3. Talk by Marine Delvallez.
- Monday, June 24, 2024, 2:00 PM, room SR3. Talk by Térence Clastres. Deductive verification of reactive programs
Past Working Groups (since 2024)
λ-calculi & Linear Logic
This working group is organized by Jules Chouquet.
- Wednesday, June 5, 2024 10:30 AM, room SR1. Talk by Anaïs Halftmeyer about Curry-Howard correspondence and natural language processing
- Friday, May 24, 2024, 10:30 AM, room SR1. Introduction to linear logic: proof nets
- Tuesday, May 21, 2024, 10:30 AM, room E13. Typed lambda-calculus and foundations of Curry-Howard isomorphism
- Thursday, April 25, 2024, 2:00 PM, room SR1. Introduction to linear logic: exponentials, cut elimination
- Wednesday, April 24, 2024, 2:00 PM, room SR1. Introduction to lambda-calculus: Church-Rosser, normal forms, encodings
- Thursday, April 18, 2024, 10:30 AM, room SR3. Talk by Kostia Chardonnet: initiation to quantum lambda calculus
- Tuesday, April 16, 2024, 10:30 AM, room SR3. Introduction to lambda-calculus
- Thursday, April 11, 2024 2:00 PM, room SR1. Introduction to linear logic: Motivations, formulas, sequent calculus