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
EATCS Distinguished Dissertation Award 2016
Georg Zetzsche has received the Distinguished Dissertation Award 2016 of the EATCS for his thesis Monoids as storage mechanisms at the University of Kaiserslautern, Germany. Georg Zetzsche is currently a post-doc at LSV in the INFINI axis.
Hubert Comon at Institut Universitaire de France
Professor Hubert Comon will be named Senior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on Computer Security and Formal Methods.
Next Seminar
Analyzing Timed Systems Using Tree Automata
Visit website for this news | Export event in iCalendar format
- Date
- Tuesday, October 04 2016 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Paul Gastin (LSV)
News
Stéphanie Delaune awarded ERC Starting Grant
Stéphanie Delaune received an ERC Starting Grant for her project POPSTAR - Physical properties Of security Protocols with an Application To contactless Systems. The objective of the project is to develop foundations and practical tools to analyse the security and privacy of modern security protocols that establish and rely on physical properties.
Stéphanie is a CNRS-Researcher, she has been a member of LSV since 2007 before joining the EMSEC team at IRISA, Rennes in September 2016.
MeFoSyLoMa Seminar
Visit website for this news | Export event in iCalendar format
The next MeFoSyLoMa Seminar will be organised by Serge Haddad on 30 September at 14:00. Venue: Salle Renaudeau (Bâtiment Laplace) ENS Cachan.
Open Positions
There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:
- Effective concurrent infinite state systems (PhD student)
- Model Checking Well Structured Transition Systems (PhD student)
- Well Structured FIFO Automata (PhD student)
Recent publications
Visit the corresponding web page Register to the RSS feed of LSV publications
| • | . Unfolding of Parametric Logical Regulatory Networks. In SASB'16, ENTCS. Elsevier Science Publishers, September 2016. To appear. ( Web page | PDF | BibTeX ) |
| • | . Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. In HSB'16, LNBI. Springer, October 2016. To appear. ( PDF | BibTeX ) |
| • | . MCC'2015 - The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency 11, pages 262-273, 2016. ( Web page | PDF | BibTeX ) |
