Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses

Month: December 2021

[Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”

Author lmvadmPosted on 21 December 202116 March 2022Leave a comment on [Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”

[Dec. 2021] SIOMEDIC Project 2022-2023 (99k€, funded by Région Centre Val de Loire).

SIOMediC: Sécurité de l’Internet des Objets Médicaux Connectés / Security of the Internet of Medical Things

Author lmvadmPosted on 21 December 202116 March 2022Leave a comment on [Dec. 2021] SIOMEDIC Project 2022-2023 (99k€, funded by Région Centre Val de Loire).

News

  • [September 2023] First SeSTeRce Day
  • [August 2023] Two first papers at iFM and SEFM
  • [July 2023] Project AcceptAlgo has been accepted
  • [July 2023] Frédéric Gava’s talk
  • [June 2023] WG Domain Theory

Archives

  • September 2023
  • August 2023
  • July 2023
  • June 2023
  • May 2023
  • April 2023
  • March 2023
  • February 2023
  • December 2022
  • November 2022
  • October 2022
  • April 2022
  • March 2022
  • February 2022
  • December 2021
  • October 2021
  • June 2021
  • May 2021
  • March 2021
  • December 2020
  • November 2020
  • September 2020
  • June 2019
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
LMV Team Proudly powered by WordPress