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
Internship Positions Available
There are several internship positions for Master's students interested in the research topics investigated at LSV.
ERC EQualIS
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.
Next Seminar
Deterministically Communicating MDPs
Visit website for this news | Export event in iCalendar format
- Date
- Tuesday, May 28 2013 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Madhavan Mukund (Chennai Mathematical Institute)
Publications
Recent publications
Visit the corresponding web page
You can register to the RSS feed listing recent publications at LSV.
News
PhD Defense: Ocan Sankur
Visit website for this news | Export event in iCalendar format
- Robustness in Timed Automata: Analysis, Synthesis, Implementation
- Friday, 24 May 2013, at 2pm
- Pavillon des Jardins, ENS Cachan
Highlights Conference
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.
GT-Verif
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.
MeFoSyLoMa Seminar
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.
