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.

Highlights

CMSB 2019 Best Paper Award

Visit website for this news

Hugues Mandon, Stefan Haar, and their co-authors received the Best Paper Award at CMSB 2019 for their contribution Sequential Reprogramming of Boolean Networks Made Practical.

Alain Finkel nominated at Institut Universitaire de France

Visit website for this news

Alain Finkel nominated at Institut Universitaire de France

Alain Finkel has been nominated Senior Member of the Institut Universitaire de France.

ICALP 2019 Best Student Paper Award for Marie Fortin

Visit website for this news

Marie Fortin received the Best Student Paper Award in Track B at ICALP for her contribution FO = FO3 for linear orders with monotone binary relations.

News

PhD Defense: Samy Jaziri

Visit website for this news

Automata on Timed Structures
Tuesday, 24 September 2019 at 2pm
Pavillon des Jardins, ENS Paris-Saclay

PhD Defense: Adrien Koutsos

Visit website for this news

Adrien Koutsos - Home

Symbolic Proofs of Computational Indistinguishability
Friday, 27 September 2019 at 2pm
Pavillon des Jardins, ENS Paris-Saclay

About LSV

LSV Contact Information

Export in vCard format | Access information

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

Access information

Quick Links

Awards

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

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 in 2018, Jérémy joined the National Institute for Informatics in Tokyo.