Skip to content

LMV Team

Languages, Models and Verification

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

Month: May 2021

[May 2021] GT Clap – Journées GPL – 17 Juin 2021

RDV le pour le 17 juin 2021 pour le GT CLAP aux Journées du GDR GPL!

http://compilfr.ens-lyon.fr/journees-gdr/

Author lmvadmPosted on 27 May 202116 March 2022Leave a comment on [May 2021] GT Clap – Journées GPL – 17 Juin 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