Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

[May 2025] Welcome to Paul Nicolas, Thomas Theault & Mohamed Haady Tiemtore

Mohamed, Paul and Thomas join the LMV team for a BSc internship in May-July 2025

Author lmvadmPosted on 5 May 20255 May 2025

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment *

Name *

Email *

Website

Post navigation

Previous Previous post: [April 2025] Talk by Leandro Gomes

Next Next post: [May 2025] Flo Groult reaches the regional final of MT180

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