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

Five LSV graduates earn faculty positions in 2015

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


News

MOVEP 2016

Visit website for this news

The 12th summer school MOVEP will take place in Genoa, Italy, on 26 June-1st July 2016.


FORMATS 2016

Visit website for this news

The 14th FORMATS conference will take place in Quebec, Canada, on 24-26 August 2016.


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

L. Fribourg, É. Goubault, S. Mohamed and S. PutotA Topological Method for Finding Invariant Sets of Switched SystemsIn HSCC'16. ACM Press, April 2016. To appear. PDF | BibTeX )
P. Bouyer, M. Colange and N. MarkeySymbolic Optimal Reachability in Weighted Timed Automata.  Research Report 1602.00481, Computing Research Repository, February 2016. 30 pages. Web page | PDF | BibTeX )
J. Leroux and S. SchmitzIdeal Decompositions for Vector Addition SystemsIn STACS'16, Leibniz International Proceedings in Informatics 46, pages 1-12. Leibniz-Zentrum für Informatik, February 2016. 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

Tue, Mar 8
Tue, Apr 5

Awards

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.