Skip to content

Languages, Models and Verification

Presentation
Current members
Projects
Publications
Software
Defended Theses

Month: October 2021

[Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

Author lmvadmPosted on 4 October 202116 March 2022Leave a comment on [Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

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