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

Assistant Professor of Computer Science

Visit website for this news

LSV and the Department of Computer Science invite applications for a tenured position as Assistant Professor in Computer Science / Maître de Conférence.


"Le Temps des Algorithmes" earns book award

Visit website for this news

The book "Le Temps des Algorithmes" by Serge Abiteboul and Gilles Dowek (éditions Le Pommier) has been distinguished with the Book Award of the event "Le Science se Livre". More on Binaire.


News

Alain Finkel and Philippe Schnoebelen receive CAV Award

Visit website for this news

Alain Finkel and Philippe Schnoebelen receive CAV Award

Alain Finkel and Philippe Schnoebelen receive the 2017 CAV Award, jointly with the Swedish researchers Parosh Abdulla and Bengt Jonsson, for their contributions to the verification of infinite-state systems. The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.


Recent publications

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

W. K. Ho, J. Goubault-Larrecq, A. Jung and X. XiThe Ho-Zhao ProblemLogical Methods in Computer Science 14(1), pages 1-19, January 2018. Web page | PDF | BibTeX )
Th. Chatain, M. Comlan, D. Delfieu, L. Jezequel and O. H. RouxPomsets and Unfolding of Reset Petri NetsIn LATA'18, LNCS. Springer, April 2018. To appear. BibTeX )
S. HaddadMemoryless determinacy of finite parity games: Another simple proofInformation Processing Letters 132, pages 19-21, April 2018. 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

Today (Tue, Feb 20)
Tue, Feb 27
Tue, Mar 20

Awards

"Le Temps des Algorithmes" earns book award

Visit website for this news

The book "Le Temps des Algorithmes" by Serge Abiteboul and Gilles Dowek (éditions Le Pommier) has been distinguished with the Book Award of the event "Le Science se Livre". More on Binaire.