Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: June 2021

[Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

Author lmvadmPosted on 16 June 202116 March 2022Leave a comment on [Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

News

[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
[May 2025] Welcome to Paul Nicolas, Thomas Theault & Mohamed Haady Tiemtore
[April 2025] Talk by Leandro Gomes

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