Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses

Month: May 2023

[June 2023] Julien Tesson’s talk

Pratique professionnelle de git
SR3, June 9, 2023, 14:00

Author lmvadmPosted on 30 May 2023Leave a comment on [June 2023] Julien Tesson’s talk

[May 2023] LMV Days

May 25-26, 2023 the team gathered at Château des Muids for a two days working session.

Author lmvadmPosted on 30 May 2023Leave a comment on [May 2023] LMV Days

[May 2023] Thierry Lecomte’s Talk

Thierry Lecomte is R&D Project Director at CLEARSY. His talks is entitled: “Formalization for securing critical applications”
When: May 17, 2023, 2PM-3PM
Where: SR1, LIFO, Université d’Orléans, France

Author lmvadmPosted on 3 May 2023Leave a comment on [May 2023] Thierry Lecomte’s Talk

[May 2023] CSUR Paper Accepted

Just Accepted: Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey by Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
https://doi.org/10.1145/3595376

Author lmvadmPosted on 3 May 2023Leave a comment on [May 2023] CSUR Paper Accepted

News

  • [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
  • [June 2023] WG Domain Theory

Archives

  • 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