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
15th LSV Anniversary and Silver Medal Celebration for Jean Goubault-Larrecq
Visit website for this news | Export event in iCalendar format
LSV organises a Festive Workshop on 6–7 February 2012 on the occasion of the 15th Anniversary of the Laboratory and in celebration of the CNRS Silver Medal awarded to Jean Goubault-Larrecq.
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
Channel Synthesis for Finite Transducers
Visit website for this news | Export event in iCalendar format
- Date
- Tuesday, February 28 2012 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Mathieu Sassolas (Université Libre de Bruxelles)
Publications
Recent publications
Visit the corresponding web page
You can register to the RSS feed listing recent publications at LSV.
News
Laurent Doyen defends his habilitation thesis
Visit website for this news | Export event in iCalendar format
- Games and Automata: From Boolean to Quantitative Verification
- Tuesday, 13 March 2013, at 14:30
- Pavillon des Jardins, ENS Cachan
