Skip to content

Languages, Models and Verification

Presentation
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

[November 2023] WG Scalp Days
[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

Archives

November 2023
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