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.
Next Seminar
tba
Visit website for this news | Export event in iCalendar format
- Date
- Tuesday, April 20 2010 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Thomas Wahl (Oxford University)
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).
5th International Workshop on Security and Rewriting Techniques
Visit website for this news | Export event in iCalendar format
LSV co-organizes the 5th International Workshop on Security and Rewriting Techniques
(SecReT 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).
