Skip to content

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