Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

[February 2025] Several positions available in the LMV Team

Check out the Job page!

Author lmvadmPosted on 27 February 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: [January 2025] Talk by Loïc Sylvestre

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

News

[April 2025] Talk by Leandro Gomes
[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

Lastest publications

A Mechanized Formalization of an FRP Language with Effects
FUNCTIONAL REACTIVE PROGRAMMING WITH EFFECTS, A MORE PERMISSIVE APPROACH
Formalisation d'une analyse de région pour Frama-C/WP

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress