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 Assistant Professor Position in Informatics
We have an opening for a tenured Assistant Professor position in Informatics (Maître de Conférence). The announcement is available.
Internship Positions available
There are several internship positions for Master's students interested in the research topics investigated at LSV.
Serge Abiteboul designated Chair at Collège de France
Collège de France designated Serge Abiteboul to the Annual Chair in Information Technology and Digital Sciences for 2011-2012.
Next Seminar
(to be announced)
Visit website for this news | Export event in iCalendar format
- Date
- Tuesday, May 22 2012 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Pierre Mounier-Kuhn (CNRS, Université Paris-Sorbonne)
Publications
Recent publications
Visit the corresponding web page
You can register to the RSS feed listing recent publications at LSV.
News
MeFoSyLoMa Seminar
Visit website for this news | Export event in iCalendar format
Serge Haddad organizes the next MeFoSyLoMa seminar on verification tools at LSV.
