Laboratoire Spécification et Vérification

Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS Paris-Saclay, and is also affiliated to the French Centre National de la Recherche Scientifique (CNRS) as UMR 8643. Research at LSV is focused on the verification of critical software and systems, as well as on the verification of computer system security.


CAV Award 2019

Visit website for this news

Jean-Christophe Filliâtre (CNRS, VALS / LRI), our future colleague within the Formal-Methods Lab at Paris-Saclay, receives the 2019 CAV Award, jointly with Rustan Leino, for the design and development of reusable intermediate verification languages which significantly simplified and accelerated the building of automated deductive verifiers.

The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. Two years ago, our colleagues Alain Finkel and Philippe Schnoebelen received the CAV Award 2017 for their groundbreaking work on the verification of infinite-state systems.

ETAPS 2019 Best Theory Paper Award for Jérémy Dubut

Visit website for this news

Best Theory Paper ETAPS 2019

Jérémy Dubut received the Best Theory Paper Award at ETAPS 2019 for his contribution Trees in Partial Higher Dimensional Automata. After finishing his thesis at LSV, Jérémy joined the National Institute for Informatics in Tokyo.


Sylvain Schmitz nominated at Institut Universitaire de France

Visit website for this news

Sylvain Schmitz nominated at Institut Universitaire de France

Sylvain Schmitz has been nominated Junior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on the verification of resource-centric systems.

About LSV

LSV Contact Information

Export in vCard format | Access information

LSV photo
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
+33 1 47 40 75 20
+33 1 47 40 75 21

Access information

Quick Links


Amina Doumane receives the 2018 Ackermann Award

Visit website for this news

Former LSV PhD student Amina Doumane will receive the 2018 Ackermann Award for her dissertation On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It will be presented during the annual conference of the EACSL (CSL'18) to be held this year in Birmingham, UK.

Lucca Hirschi receives dissertation award of pré-GDR Sécurité Informatique

Visit website for this news

Lucca Hirschi received the dissertation award of the CNRS group Sécurité Informatique for his thesis Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice prepared at LSV.