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.
Editorial
Petition against the LPPR
The Laboratoire Méthodes Formelles issued a position statement against the French bill on the future financing of research (LPPR). The text can be found on the French version of this page .
News
CONCUR Best-Paper Award
Benedikt Bollig, Alain Finkel, and Amrita Suresh received the
Best-Paper Award
of CONCUR 2020 for their contribution
Bounded Reachability Problems are Decidable in FIFO Machines
. Among the four nominations, one more paper involved authors from LSV: Patricia Bouyer, Stephane Le Roux, Youssouf Oualhadj, Mickael Randour and Pierre Vandenhove,
Games Where You Can Play Optimally with Arena-Independent Finite Memory
.
Modelling Biological Networks -- A New Approach
In a new paper published in Nature Communications , Juraj Kolĉàk, Thomas Chatain, and Stefan Haar from LSV, together with Loïc Paulevé from LaBRI, propose an efficient method for modelling genome-scale biological networks, which escapes the limitations of Boolean Networks used today. The advance is covered by interviews with Loïc Paulevé and Stefan Haar in the news report of CNRS-INS2I and Inria (in French).
Safety and Privacy in the Time of Covid-19
Information technology is enrolled in the fight against the COVID-19 pandemic. Digital certificates of non-contamination, cyber-surveillance of quarantine and lockdown measures, contamination monitoring by contact tracing have already been deployed by some countries, and others are considering them. More about this.
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).
PhD Defense : Alessio Mansutti
- Reasoning with Separation Logic: Complexity, Expressive Power, Proof Systems
- Thursday, 10 December 2020 at 3:30pm
- ENS Paris-Saclay/Online
PhD Defense : Marie Fortin
- Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata
- Friday, 27 November 2020 at 10:30am
- ENS Paris-Saclay/Online