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.

News

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-Strucutured Transition Systems Everywhere! by Alain Finkel and Philippe Schnoebelen was listed among the top cited articles of 1974-2014.


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

J. ReichertDécidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2015. PDF | BibTeX )
P. KarandikarSubwords : automata, embedding problems, and verification.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France and Chennai Mathematical Institute, India, February 2015. PDF | BibTeX )
R. Lazic and S. SchmitzThe Ideal View on Rackoff's Coverability TechniqueIn RP'15, LNCS. Springer, September 2015. To appear. BibTeX )

About LSV

LSV Contact Information

Export in vCard format | Access information

LSV photo
Address
LSV, CNRS & ENS de Cachan
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

Agenda

Export agenda in iCalendar format | LSV seminars page

No entries.

Awards

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.


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.