Laboratoire Spécification et Vérification

Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS de Cachan, 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.


Victor Vianu elected to Academia Europaea

Visit website for this news

Victor Vianu elected to Academia Europaea

Victor Vianu has been elected to the Informatics section of Academia Europaea. Victor Vianu currently holds an INRIA International Chair to work at LSV.

Next Seminar

Effectively regular downward closures

Visit website for this news | Export event in iCalendar format

SEM Georg Zetzsche
Tuesday, October 28 2014 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Georg Zetzsche (TU Kaiserslautern)


Bitcoins on Interstices

Visit website for this news


Interstices features an article of Stéphanie Delaune and Rémy Chrétien on algorithms that make bitcoins possible. (In French)

Your passport may leak

Visit website for this news


A post on vulnerabilities in biometric passport protocols by Stéphanie Delaune is included in the Science Review of the CNRS Institute on Information and Technology (INS2I). Read the article (in French)

Open Positions

See the job openings

There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:

Recent publications

Visit the corresponding web page Register to the RSS feed of LSV publications

H. Ponce de León, S. Haar and D. LonguetModel-based Testing for Concurrent Systems: Unfolding-based Test SelectionInternational Journal on Software Tools for Technology Transfer, 2014. To appear. PDF | BibTeX )
C. Aiswarya and P. GastinReasoning about distributed systems: WYSIWYGIn FSTTCS'14, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, December 2014. To appear. PDF | BibTeX )
F. Laroussinie and N. MarkeyAugmenting ATL with strategy contextsInformation and Computation, 2014. To appear. PDF | BibTeX )

About LSV

LSV Contact Information

Export in vCard format | Access information

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

Access information


Export agenda in iCalendar format | LSV seminars page

Tue, Oct 28
Tue, Nov 4
Tue, Nov 18


Best Paper Award at RTA-TLCA 2014

Visit website for this news

Best Paper Award at RTA-TLCA 2014

Sylvain Schmitz has received the Best Paper Award at RTA-TLCA 2014 for his paper Implicational Relevance Logic is 2-ExpTime-Complete during the Vienna Summer of Logic.

Serge Abiteboul receives the 2013 Milner Award

Serge Abiteboul receives the 2013 Milner Award

Serge Abiteboul receives the 2013 Royal Society Milner Award in recognition of his world-leading database research with significant scientific and industrial impact. He will deliver a lecture titled From data and information to knowledge: the Web of tomorrow at The Royal Society, London on 12 November 2013.