Laboratoire Spécification et Vérification

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.

Former LSV PhD student Amina Doumane will receive the 2018 Ackermann Award for her dissertation On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It will be presented during the annual conference of the EACSL (CSL'18) to be held this year in Birmingham, UK.

Date

Tuesday, July 24 2018 at 11:00AM

Place

Salle de Conférence (Pavillon des Jardins)

Speaker

Markus Lohrey (University of Siegen)

On Effective Representations of Well Quasi-Orderings

Friday, 29 June 2018 at 2:00pm

Salle Condorcet, D'Alembert building, 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)
• 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)