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.


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.


New articles in Pour la Science

Visit website for this news

Pour la Science

The popular science magazine Pour la Science features two articles contributed by LSV researchers to a special issue on The Digital Big Bang of November 2013: Un déluge de données by Serge Abiteboul and Pierre Sennelart, and Comment proteger nos données sensibles ? by Stéphanie Delaune and Rémy Chrétien.

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

N. Francis, L. Segoufin and C. SirangeloDatalog Rewritings of Regular Path Queries using ViewsIn ICDT'14, pages 107-118. March 2014. PDF | BibTeX )
J. Brault-BaronHypergraph Acyclicity Revisited.  Research Report 1403.7076, Computing Research Repository, February 2014. 32 pages. Web page | PDF | BibTeX )
F. Laroussinie and N. MarkeyAugmenting ATL with strategy contexts.  Research Report LSV-14-05, Laboratoire Spécification et Vérification, ENS Cachan, France, March 2014. 45 pages. 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, May 13
Tue, Jun 3


Outstanding Paper Award at Petri Nets 2013

Estíbaliz Fraca and Serge Haddad received the Outstanding Paper Award at Petri Nets 2013 for their paper Complexity Analysis of Continuous Petri Nets.