Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

[Dec. 2020] TAP 2021

TAP 2021 is co-chaired by F. Loulergue

Author lmvadmPosted on 10 December 202016 March 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: [Dec. 2020] Phd Defense : Salwa SOUAF, December 15th

Next Next post: [Mar. 2021] HLPP 2021, co-chaired by Frédéric Loulergue

News

[January 2025] Talk by Loïc Sylvestre
[November 2024] Talk by Thibaut Benjamin
[November 2024] Poste de MCF dans l’équipe LMV au concours 2025
[November 2024] Frédéric Dabrowski defended his HDR
[October 2024] Tomaž Kosar from the University of Maribor, Slovenia, visits the LMV team

Lastest publications

A Mechanized Formalization of an FRP Language with Effects
Formalisation d'une analyse de région pour Frama-C/WP
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress