Working Groups

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