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

Open Engineer position at LSV

Visit website for this news

Un poste d'ingénieur de recherche au CNRS affecté au LSV est ouvert au concours dans le cadre de la campagne de recrutement 2010. La date limite de candidature est le 9 juillet 2010.


News

4th International Workshop on Analysis of Security APIs

Visit website for this news | Export event in iCalendar format

Graham Steel organizes the 4th International Workshop on Analysis of Security APIs (ASA-4), a satellite workshop of FLoC 2010.


About 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 (Fri, Sep 3)
Mon, Sep 6
Tue, Sep 7
Wed, Sep 8
Tue, Oct 26

Awards

Serge Abiteboul member of the Academy of Sciences

Serge Abiteboul at the Academy of Sciences

Serge Abiteboul has been elected member of the French Academy of Sciences.


François Laroussinie junior fellow of the IUF

François Laroussinie junior fellow of the IUF

François Laroussinie has been made a junior fellow of the Institut Universitaire de France.