Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: December 2025

[December 2025] Lucas Ransan joins the LMV team

Welcome!

Author lmvadmPosted on 3 December 2025Leave a comment on [December 2025] Lucas Ransan joins the LMV team

News

[December 2025] Lucas Ransan joins the LMV team
[October 2025] Tomaž Kosar visits the LMV team
[October 2025] Jordan Ischard defends his PhD thesis
[October 2025] Yani Ziani defends his PhD thesis
[September 2025] Welcome to Jolan Philippe!

Lastest publications

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
Projet VÉDYSEC : Vérification Dynamique de Propriétés de Sécurité

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress