Skip to content

Languages, Models and Verification

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

[November 2023] Jérémy Damour and Téo Bernier join the team

Jérémy Damour and Téo Bernier join the team as PhD student. Welcome!

Author lmvadmPosted on 30 November 202315 February 2024

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

Next Next post: [December 2023] 2 Postdoctoral Researcher Positions

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
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
Combining Deductive Verification with Shape Analysis

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