Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Group
Seminar
Jobs

[April 2026] Eloi Perdereau joins the LMV team

Eloi Perdereau joins the team as a postdoctoral researcher in the project For-CoaLa. Welcome Eloi!

Author lmvadmPosted on 15 April 2026

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: [March 2026] Jolan Philippe at IAE conference on cybersecurity

Next Next post: [April 2026] The RADyD project is funded

News

[April 2026] The RADyD project is funded
[April 2026] Eloi Perdereau joins the LMV team
[March 2026] Jolan Philippe at IAE conference on cybersecurity
[March 2026] Talk by Guillaume Ambal
[December 2025] Lucas Ransan joins the LMV team

Lastest publications

Kairos : de la spécification temporelle de sûreté à la preuve locale
Deductively Verifying Functional Scalable Parallel Programs with Why3

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Group
Seminar
Jobs

LMV Team Proudly powered by WordPress