Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: October 2021

[Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

Author lmvadmPosted on 4 October 202116 March 2022Leave a comment on [Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

News

[July 2025] Talk by André Maroneze
[July 2025] LMV Days!
[June 2025] Talk by Davide Catta
[June 2025] Five members of the LMV Team at the Journées Nationales du GdR GPL & Journées AFADL
[May 2025] Flo Groult reaches the regional final of MT180

Lastest publications

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
Une sémantique mécanisée d'un langage FRP avec effets

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress