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.

Highlights

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.


News

Recent publications

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

D. Montoya, S. Abiteboul and P. SenellartHup-Me: Inferring and Reconciling a Timeline of User Activity with Smartphone and Personal DataIn SIGSPATIAL'15. November 2015. To appear. BibTeX )
C. Haase, J. Ouaknine and J. WorrellRelating Reachability Problems in Timed and Counter AutomataFundamenta Informaticae, 2015. To appear. PDF | BibTeX )
R. Chrétien, V. Cortier and S. DelauneChecking trace equivalence: How to get rid of nonces?  In ESORICS'15, LNCS. Springer, September 2015. To appear. PDF | 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.