Laboratoire Spécification et Vérification

LSV and the Department of Computer Science invite applications for a tenured position as Assistant Professor in Computer Science / Maître de Conférence.

Amina Doumane receives the Gilles Kahn Dissertation Award of the Societé Informatique de France for her thesis On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. Amina's success is featured on Binaire and CNRS - INS2I news (in French).

The book "Le Temps des Algorithmes" by Serge Abiteboul and Gilles Dowek (éditions Le Pommier) has been distinguished with the Book Award of the event "Le Science se Livre". More on Binaire.

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)
• Machine learning and verification of infinite-state systems (PhD student)
• Verification of Stack-based Automata (PhD student)
• Multiplayer games over graphs with imperfect monitoring (PhD student)
• Effective concurrent infinite state systems (PhD student)
• Model Checking Well Structured Transition Systems (PhD student)
• Well Structured FIFO Automata (PhD student)