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

[May 2025] Flo Groult reaches the regional final of MT180
[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

Lastest publications

A Mechanized Formalization of an FRP Language with Effects
FUNCTIONAL REACTIVE PROGRAMMING WITH EFFECTS, A MORE PERMISSIVE APPROACH

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress