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
Professor Position Opening
The ENS Paris-Saclay opens a faculty position for a Professor in Computer Science starting September 2020. For more information and details on how to apply, please see the preliminary announcement.
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 : Mauricio Gonzalez
- Stochastic Games on Graphs with Applications to Smart-Grids Optimization
- Friday, 29 November 2019 at 10am
- Amphi Condorcet, ENS Paris-Saclay
