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.


Five LSV graduates earn faculty positions in 2015

Five recent PhD graduates from LSV obtained faculty positions in the current academic year:

Next Seminar

Designing Location Privacy Mechanisms for flexibility over time and space

Visit website for this news | Export event in iCalendar format

SEM Marco Stronati
Tuesday, December 01 2015 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Marco Stronati (LIX, Ecole Polytechnique)


3rd Saclay Seminar on Formal Methods - SASEFOR3

Visit website for this news | Export event in iCalendar format


The third SASEFOR meeting will take place at LRI (building 660's amphitheater) on November 24th, 2015

Top cited article in TCS

Visit website for this news

Top Cited in TCS

On the occasion of the 40th Anniversary of the journal Theoretical Computer Science, the 2001 article Well-Structured Transition Systems Everywhere! by Alain Finkel and Philippe Schnoebelen was listed among the top cited articles of 1974-2014.

Recent publications

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

P. Karandikar, M. Niewerth and Ph. SchnoebelenOn the state complexity of closures and interiors of regular languages with subwords and superwordsTheoretical Computer Science, 2015. To appear. PDF | BibTeX )
N. Bertrand, S. Haddad and E. LefaucheuxAccurate approximate diagnosability of stochastic systems.  Technical Report hal-01220954, HAL Inria, October 2015. 26 pages. Web page | PDF | BibTeX )
M. Blondin, A. Finkel, C. Haase and S. HaddadApproaching the Coverability Problem Continuously.  Research Report 1510.05724, Computing Research Repository, October 2015. 18 pages. Web page | 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, Dec 1
Tue, Dec 8
Tue, Dec 15
Tue, Jan 12


Ackermann Award 2015

Visit website for this news

Ackermann Award 2015

Mickael Randour receives the Ackermann Award 2015 for his thesis Synthesis in Multi-Criteria Quantitative Games at the University of Mons, Belgium. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Mickael Randour is currently a post-doc at LSV within the CASSTING project.

ACM PODS Alberto O. Mendelzon Test-of-Time Award

Visit website for this news

Luc Segoufin and Victor Vianu received the Test-of-time award at ACM PODS 2015, for their ACM PODS 2005 paper Views and Queries: Determinacy and Rewriting.

Best Paper Award at ICDT 2015

Visit website for this news

Best Paper Award at ICDT 2015

The paper Asymptotic Determinacy of Path Queries using Union-of-Paths Views by Nadime Francis has received the ICDT 2015 Best Student Paper Award.

Victor Vianu elected to Academia Europaea

Visit website for this news

Victor Vianu elected to Academia Europaea

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