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.
There are several internship positions for Master's students interested in the research topics investigated at LSV.

Patricia Bouyer-Decitre and Nicolas Markey started in January 2013 a 5-years ERC project on the formal verification of interacting systems: EQualIS.
There are several open positions for PhD students, post-doctoral students, and an engineer position in this project. Please contact the PI if you are interested or if you want further details: Patricia Bouyer-Decitre.
Visit website for this news | Export event in iCalendar format

Visit the corresponding web page
You can register to the RSS feed listing recent publications at LSV.
Visit website for this news | Export event in iCalendar format

Visit website for this news | Export event in iCalendar format

Dietmar Berwanger co-organizes the first edition of the Highlights conference, to be held in Paris on September 18 21 2013.
Visit website for this news | Export event in iCalendar format

LSV will host the first edition of the verification work group in Cachan on June 17 18, 2013.
Visit website for this news | Export event in iCalendar format

The next MeFoSyLoMa seminar on real-time systems will take place at LSV on March 1st, 2013.
Export in vCard format | Access information
Export agenda in iCalendar format | LSV seminars page

Serge Abiteboul was honoured as a 2011 ACM Fellow for his contributions to the theory and practice of databases.

Collège de France designated Serge Abiteboul to the Annual Chair in Information Technology and Digital Sciences for 2011-2012.

Jean Goubault-Larrecq receives the 2011 CNRS Silver Medal.