Skip to content

LMV Team

Languages, Models and Verification

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

Month: January 2024

[January 2024] Nicolas Schivre joins the team

Nicolas Schivre joins the team as a part-time research engineer on the SIOMediC project. Welcome!

Author lmvadmPosted on 15 January 202415 February 2024Leave a comment on [January 2024] Nicolas Schivre joins the team

[January 2024] Darine Rammal defends her PhD

The defense will take place Amphi Herbrand – LIFO Bat 3IA on Friday, January 19, 2024, 2:00 PM.
The PhD is entitled “Memory Safety for Synchronous Reactive Programming”.

Author lmvadmPosted on 1 January 20243 January 2024Leave a comment on [January 2024] Darine Rammal defends her PhD

News

  • [May 2025] Welcome to Paul Nicolas, Thomas Theault & Mohamed Haady Tiemtore
  • [April 2025] Talk by Leandro Gomes
  • [February 2025] Several positions available in the LMV Team
  • [January 2025] Talk by Loïc Sylvestre
  • [November 2024] Talk by Thibaut Benjamin

Lastest publications

  • A Mechanized Formalization of an FRP Language with Effects
  • FUNCTIONAL REACTIVE PROGRAMMING WITH EFFECTS, A MORE PERMISSIVE APPROACH
  • Formalisation d'une analyse de région pour Frama-C/WP

Archives

  • May 2025 (1)
  • 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 Groups
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress