Skip to content

LMV Team

Languages, Models and Verification

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

Month: December 2020

[Dec. 2020] TAP 2021

TAP 2021 is co-chaired by F. Loulergue



Author lmvadmPosted on 10 December 202016 March 2022Leave a comment on [Dec. 2020] TAP 2021

[Dec. 2020] Phd Defense : Salwa SOUAF, December 15th

09H30 : Methodes formelles et Sécurité en informatique en nuages

Author lmvadmPosted on 10 December 202016 March 2022Leave a comment on [Dec. 2020] Phd Defense : Salwa SOUAF, December 15th

News

  • [April 2026] The RADyD project is funded
  • [April 2026] Eloi Perdereau joins the LMV team
  • [March 2026] Jolan Philippe at IAE conference on cybersecurity
  • [March 2026] Talk by Guillaume Ambal
  • [December 2025] Lucas Ransan joins the LMV team

Latest publications

  • Kostia Chardonnet, Jules Chouquet, Axel Kerinec. Approximation theory for distant Bang calculus. FSCD 2026 - 11th International Conference on Formal Structures for Computation and Deduction, Jul 2026, Lisbonne, Portugal. ⟨hal-05518907v2⟩
  • Frédéric Loulergue, Mohamed Haady Tiemtore. MechaPuppet: a semantics and a verified compiler for a Subset of Puppet in Why3 (version 0.5). 2026, ⟨swh:1:dir:dd4b37755da5c737d555c6a9761f6fc291d27472;origin=https://hal.archives-ouvertes.fr/hal-05622814;visit=swh:1:snp:3faf5f1423ead20154463bb56779115100baf81c;anchor=swh:1:rel:caa9e0ecb299b5a6abd0cdf735aab8d3a85934f1;path=/⟩. ⟨hal-05622814⟩

Archives

  • April 2026 (2)
  • March 2026 (2)
  • December 2025 (1)
  • October 2025 (1)
  • September 2025 (3)
  • 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 Group
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress