Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Group
  • Seminar
  • Jobs

Month: April 2026

[April 2026] The RADyD project is funded


The RADyD project (Résilience par Adaptation Dynamique pour le traitement de Données / Resilience through Dynamic Adaptation for Data Processing) has been accepted and is funded by the BQR program of the University of Orléans.
It is a collaboration between the LMV (Frédéric Loulergue, Jolan Philippe) and Pamda teams (Patrick Marcel).

Author lmvadmPosted on 15 April 2026Leave a comment on [April 2026] The RADyD project is funded

[April 2026] Eloi Perdereau joins the LMV team

Eloi Perdereau joins the team as a postdoctoral researcher in the project For-CoaLa. Welcome Eloi!

Author lmvadmPosted on 15 April 2026Leave a comment on [April 2026] Eloi Perdereau joins the LMV team

News

  • [April 2026] The RADyD project is funded
  • [April 2026] Eloi Perdereau joins the LMV team
  • [March 2026] Jolan Philippe at IAE conference on cybersecurity
  • [March 2026] Talk by Guillaume Ambal
  • [December 2025] Lucas Ransan joins the LMV team

Lastest publications

  • Kairos : de la spécification temporelle de sûreté à la preuve locale
  • Deductively Verifying Functional Scalable Parallel Programs with Why3

Archives

  • April 2026 (2)
  • March 2026 (2)
  • December 2025 (1)
  • October 2025 (1)
  • September 2025 (3)
  • July 2025 (4)
  • June 2025 (2)
  • May 2025 (2)
  • April 2025 (1)
  • February 2025 (1)
  • January 2025 (1)
  • November 2024 (3)
  • October 2024 (1)
  • July 2024 (1)
  • June 2024 (2)
  • May 2024 (1)
  • April 2024 (4)
  • March 2024 (1)
  • January 2024 (2)
  • December 2023 (1)
  • November 2023 (2)
  • September 2023 (1)
  • August 2023 (1)
  • July 2023 (2)
  • June 2023 (2)
  • May 2023 (3)
  • April 2023 (3)
  • February 2023 (4)
  • January 2023 (1)
  • December 2022 (2)
  • November 2022 (1)
  • October 2022 (1)
  • April 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • December 2021 (2)
  • October 2021 (1)
  • June 2021 (1)
  • May 2021 (1)
  • March 2021 (2)
  • December 2020 (2)
  • November 2020 (1)
  • September 2020 (1)
  • June 2019 (4)
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Group
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress