Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: July 2024

[July 2024] The two-year VéDySec project is funded by Agence de l’Innovation de Défense

Author lmvadmPosted on 26 July 2024Leave a comment on [July 2024] The two-year VéDySec project is funded by Agence de l’Innovation de Défense

News

[February 2025] Several positions available in the LMV Team
[January 2025] Talk by Loïc Sylvestre
[November 2024] Talk by Thibaut Benjamin
[November 2024] Poste de MCF dans l’équipe LMV au concours 2025
[November 2024] Frédéric Dabrowski defended his HDR

Lastest publications

A Mechanized Formalization of an FRP Language with Effects
Formalisation d'une analyse de région pour Frama-C/WP
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress