Working Group – LMV Team

On-going Working Group (since 2024)

This working group is the general purpose working group of the LMV team. It is organised by the LMV team.

TBA: Talk by Lucas Ransan
Monday, July 20, 2026, 2PM, SR3: TBA
Monday, July 6, 2026, all day, SR3: All-partners meeting of the VéDySec project
Monday, June 29, 2026, 2PM, SR3: Talk by Michael Lienhardt, Software Product Lines: Concepts, semantics and Practice
Friday, June 26, 2026, 2PM, SR3: LMV Summer Day at Hôtel Dupanloup from 8:30AM
Monday, June 15, 2026, 2PM, SR3: Talk by Frédéric Loulergue, MechaPuppet: a verified compiler for a subset of Puppet
Monday, June 8, 2026, 3:15PM, SR3: Talk by Myriam Clouet on An Exploratory Mixed-methods Study on General Data Protection Regulation (GDPR) Compliance in Open-Source Software
Thursday, May 21, 2026, 2PM, SR3: Talk by Jean-Michel Couvreur on LTL
Monday, May 18, 2026, 8:15AM, SR3: Talks by Mohamed Haady Tiemtore and Nicolas Paul
Monday, April 13, 2026, 2PM, SR3: Talk by Olivia Proust
Monday-Tuesday March 30-31, 2026: Visit of the Scientific Council of the LIFO
Monday, March 23, 2026, 2PM, SR3 : Talk by Frederic Loulergue: Activity Report of the LMV Team 2022-2025
Monday, March 2, 2026, 2PM, SR3: Talk by Yohan Boichut on recent results
Monday, February 16, 2026, 2PM, SR Tower: Talk by Jules Chouquet on Multi-Agent Temporal Logics: Models & Proofs
Monday, February 9, 2026, 3PM, SR3: Talk by Frederic Loulergue on the paper “Formal Verification of a Distributed Dynamic Reconfiguration Protocol”
Monday, January 12, 2026, 2PM, SR3: Talk by Jolan Philippe on the paper “Kconfig metamodel: a first approach”

Monday, December 1, 2025, 11AM, SR3: Talk by Térence Clastres
Monday, November 24, 2025, 3PM, SR3: Team meeting about the team’s activities report
Monday, November 17, 2025, 2PM, SR1: LIFO Seminar by Meven Lennon-Bertrand
Monday, October 20, 2025, 2PM, SR1: LIFO Seminar by Tomaz Kosar
Monday, October 13, 2025, 1:45PM, SR3: Talk by Jordan Ischard
Monday, October 6, 2025, 1:45PM, SR3: Talk by Yani Ziani
Monday, September 29, 2025, 2PM, IRD: General assembly of LIFO
Monday, September 8, 2025, 1:30PM, SR3: New academic year meeting
Monday, July 16-17, 2025, LMV Days at Château des Muids
Monday, June 23, 2025, 2:00 PM, room SR3: Team meeting about the team’s activities report
Monday, May 19, 2025, 9:15AM, room SR3: Talk by Jérémy Damour, Formalisation d’une analyse de région pour Frama-C/WP
Monday, May 12, 2025, 2:00 PM, room SR3: Team meeting
Monday, March 24, 2025, 2:00 PM, room SR3: Talk by Jordan Ischard, A Mechanized Formalization of an FRP Language with Effects

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

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