Laboratoire Spécification et Vérification

Alain Finkel has been nominated a Senior Member of the Institut Universitaire de France.

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.

Jérémy Dubut received the Best Theory Paper Award at ETAPS 2019 for his contribution Trees in Partial Higher Dimensional Automata. After finishing his thesis at LSV, Jérémy joined the National Institute for Informatics in Tokyo.

The Spring School on Formal Methods and Machine Learning co-organised by Stefan Haar and Benedikt Bollig will take place on 4 -- 7 June 2019 at ENS Paris-Saclay.

The 11th International School on Rewriting (ISR), organized by Frédéric Blanqui and Olivier Hermant, will take place in Paris, at Mines ParisTech, on 1-6 July.

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.

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)