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
Internships and Doctoral Studies at LSV
LSV offers several internship opportunities in all of its research axes.
News
Computational and Symbolic Proofs of Security
Visit website for this news | Export event in iCalendar format
LSV co-organizes the 37th Spring School on theoretical computer science and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security
(CosyProofs 2010).
23rd IEEE Computer Security Foundations Symposium
Visit website for this news | Export event in iCalendar format
Graham Steel is the General Chair of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010).
21st International Conference on Concurrency Theory
Visit website for this news | Export event in iCalendar format
LSV co-organizes the 21st International Conference on Concurrency Theory
(Concur 2010).
17th International Symposium on Temporal Representation and Reasoning
Visit website for this news | Export event in iCalendar format
Nicolas Markey is organizer and PC co-chair of the 17th International Symposium on Temporal Representation and Reasoning
(TIME'10).
Serge Abiteboul member of the Academy of Sciences
Serge Abiteboul has been elected member of the French Academy of Sciences.
Hubert Comon-Lundh receives the CNRS Silver Medal
Visit website for this news | Export event in iCalendar format
Hubert Comon-Lundh is the recipient of the CNRS Silver Medal in 2008. A workshop is organised at LSV on November 18--19, 2008.
François Laroussinie junior fellow of the IUF
François Laroussinie has been made a junior fellow of the Institut Universitaire de France.
