Laboratoire Spécification et Vérification

Benedikt Bollig, Marie Fortin, and Paul Gastin received the Best Paper Award at CONCUR 2018 for their paper It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".

Sylvain Schmitz has been nominated Junior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on the verification of resource-centric systems.

Verification of indistinguishability properties in cryptographic protocols -- Small attacks and efficient decision with SAT-Equiv

Monday, 26 November 2018 at 2:00pm

Amphithéâtre Chemla, ENS Paris-Saclay

Applying Formal Methods to Autonomous Vehicle Control

Monday, 26 November 2018 at 2:00pm

Amphithéâtre Marie Curie, ENS Paris-Saclay

Alain Finkel and Philippe Schnoebelen receive the 2017 CAV Award, jointly with the Swedish researchers Parosh Abdulla and Bengt Jonsson, for their contributions to the verification of infinite-state systems. The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. Notices of the American Mathematical Society features the award in its January 2018 issue (Notices Amer. Math. Soc. 2018:65(1) Mathematics People, page 50)

There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:

• Reachability in Petri Nets (PhD student)
• Model Checking Well Structured Transition Systems (PhD student)
• Well Structured FIFO Automata (PhD student)