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
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.
Research Engineer temporary position at LSV
Le LSV souhaite recruter un ingénieur de recherche sur un contrat à durée déterminée de 6 mois (prolongeable). La date limite de candidature est le 16 juillet 2010.
News
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).
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.
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).
