Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Current members
  • Projects
  • Publications
  • Software
  • Defended Theses

Month: June 2021

[Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

Author lmvadmPosted on 16 June 202116 March 2022Leave a comment on [Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

News

  • [Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.
  • [Mar. 2022] Computer Languages for the Internet of Things (Special issue of Journal of Computer Languages)
  • [Mar. 2022] Florian Groult joined LMV on a research engineer position
  • [Feb. 2022] DeSSUF project : new joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia (43k€, funded in the context of the Athena European University, http://www.athenaeuropeanuniversity.eu).
  • [Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”

Archives

  • 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
  • Current members
  • Projects
  • Publications
  • Software
  • Defended Theses
LMV Team Proudly powered by WordPress