Laboratoire Spécification et Vérification
Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS Paris-Saclay, 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
Alain Finkel at Institut Universitaire de France
Alain Finkel has been nominated Senior Member of the Institut Universitaire de France. He speaks about his forthcoming projects in an inverview for the INS2I of CNRS (in French).
CMSB 2019 Best Paper Award
Hugues Mandon, Stefan Haar, and their co-authors received the Best Paper Award at CMSB 2019 for their contribution Sequential Reprogramming of Boolean Networks Made Practical.
ICALP 2019 Best Student Paper Award for Marie Fortin
Marie Fortin received the Best Student Paper Award in Track B at ICALP for her contribution FO = FO3 for linear orders with monotone binary relations.
News
PhD Defense: Hugues Mandon
- Algorithms for Cell Reprogramming Strategies in Boolean Networks
- Tuesday, 19 November 2019 at 2pm
- Amphi Chemla, ENS Paris-Saclay
PhD Defense: Adrien Koutsos
- Symbolic Proofs of Computational Indistinguishability
- Friday, 27 September 2019 at 2pm
- Pavillon des Jardins, ENS Paris-Saclay
