Skip to content

Languages, Models and Verification

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

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

Next Next post: [July 2023] Project AcceptAlgo has been accepted

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