Skip to content

Languages, Models and Verification

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

[Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.

Author lmvadmPosted on 7 April 2022

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Post navigation

Previous Previous post: [Mar. 2022] Computer Languages for the Internet of Things (Special issue of Journal of Computer Languages)

Next Next post: [Oct. 2022] A teams of students chose a LMV proposal for their DILLXP project

News

[April 2024] Two new WG: Lambda and LL
[April 2024] Kostia Chardonnet’s talk
[April 2024] Marine Delvallez & Julien Glorian join the team
[April 2024] Téo Bernier presents his work at FASE
[March 2024] Armaël Gueneau’s talk

Lastest publications

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Combining Deductive Verification with Shape Analysis
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Archives

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
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

LMV Team Proudly powered by WordPress