Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs

Author: lmvadm

[August 2023] Two first papers at iFM and SEFM

First papers for their first authors at iFM and SEFM: congratulations to Yani and Olivia!
https://hal.science/hal-04176159 and https://hal.science/hal-04173428

Author lmvadmPosted on 31 August 20236 September 2023Leave a comment on [August 2023] Two first papers at iFM and SEFM

[July 2023] Project AcceptAlgo has been accepted

Projects
Author lmvadmPosted on 11 July 2023Leave a comment on [July 2023] Project AcceptAlgo has been accepted

[July 2023] Frédéric Gava’s talk

Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm

Author lmvadmPosted on 1 July 202311 January 2024Leave a comment on [July 2023] Frédéric Gava’s talk

[June 2023] WG Domain Theory

The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month

Author lmvadmPosted on 27 June 2023Leave a comment on [June 2023] WG Domain Theory

[June 2023] Julien Tesson’s talk

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

Author lmvadmPosted on 1 June 202311 January 2024Leave 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

[Apr. 2023] Simon Robillard’s Talk

Analyse de boucle par quantification sur les itérations
SR3, April 18, 2023, 10:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res541

Author lmvadmPosted on 30 April 2023Leave a comment on [Apr. 2023] Simon Robillard’s Talk

[Apr. 2023] Simon Robillard’s Keynote

Automated Deduction
SR1, April 17, 2023, 13:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res536

Author lmvadmPosted on 30 April 2023Leave a comment on [Apr. 2023] Simon Robillard’s Keynote

Posts pagination

Previous page Page 1 … Page 3 Page 4 Page 5 … Page 7 Next page

News

  • [July 2025] Talk by Loïc Correnson
  • [July 2025] Talk by Virginia Niculescu
  • [July 2025] Talk by André Maroneze
  • [July 2025] LMV Days!
  • [June 2025] Talk by Davide Catta

Lastest publications

  • Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
  • Projet VÉDYSEC : Vérification Dynamique de Propriétés de Sécurité

Archives

  • July 2025 (4)
  • June 2025 (2)
  • May 2025 (2)
  • April 2025 (1)
  • February 2025 (1)
  • January 2025 (1)
  • November 2024 (3)
  • October 2024 (1)
  • July 2024 (1)
  • June 2024 (2)
  • May 2024 (1)
  • April 2024 (4)
  • March 2024 (1)
  • January 2024 (2)
  • December 2023 (1)
  • November 2023 (2)
  • September 2023 (1)
  • August 2023 (1)
  • July 2023 (2)
  • June 2023 (2)
  • May 2023 (3)
  • April 2023 (3)
  • February 2023 (4)
  • January 2023 (1)
  • December 2022 (2)
  • November 2022 (1)
  • October 2022 (1)
  • April 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • December 2021 (2)
  • October 2021 (1)
  • June 2021 (1)
  • May 2021 (1)
  • March 2021 (2)
  • December 2020 (2)
  • November 2020 (1)
  • September 2020 (1)
  • June 2019 (4)
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress