Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs

Month: December 2022

[Dec. 2022] Dara Ly defended his PhD

Dara Ly defended his PhD on December 5, 2022. Congratulations Dara!

Author lmvadmPosted on 6 December 2022Leave a comment on [Dec. 2022] Dara Ly defended his PhD

[Dec. 2022] Florian Groult joins the LMV Teams as a PhD Student

Florian’s work is funded by the Agence de l’Innovation de Défense (AID) and  Région Centre Val de Loire. 

Author lmvadmPosted on 1 December 20221 December 2022Leave a comment on [Dec. 2022] Florian Groult joins the LMV Teams as a PhD Student

News

  • [July 2025] Talk by Loïc Correnson
  • [July 2025] Talk by Virginia Niculescu
  • [July 2025] Talk by André Maroneze
  • [July 2025] LMV Days!
  • [June 2025] Talk by Davide Catta

Lastest publications

  • Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
  • Approches formelles pour les composants et outils système

Archives

  • July 2025 (4)
  • June 2025 (2)
  • May 2025 (2)
  • April 2025 (1)
  • February 2025 (1)
  • January 2025 (1)
  • November 2024 (3)
  • October 2024 (1)
  • July 2024 (1)
  • June 2024 (2)
  • May 2024 (1)
  • April 2024 (4)
  • March 2024 (1)
  • January 2024 (2)
  • December 2023 (1)
  • November 2023 (2)
  • September 2023 (1)
  • August 2023 (1)
  • July 2023 (2)
  • June 2023 (2)
  • May 2023 (3)
  • April 2023 (3)
  • February 2023 (4)
  • January 2023 (1)
  • December 2022 (2)
  • November 2022 (1)
  • October 2022 (1)
  • April 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • December 2021 (2)
  • October 2021 (1)
  • June 2021 (1)
  • May 2021 (1)
  • March 2021 (2)
  • December 2020 (2)
  • November 2020 (1)
  • September 2020 (1)
  • June 2019 (4)
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress