Section: Dissemination

Popularization

H. Garavel participates to the program committee and organization committee of FMF (Formal Methods Forum (http://projects.laas.fr/IFSE/FMF)), a series of industrial conferences on formal methods set up by the competitivity clusters Aerospace Valley and Minalogic, with the support of Inria and many other partners. The 6th FMF conference, devoted to safety engineering, was held on January 26, 2016. The 7th FMF conference, devoted to formal methods and cybersecurity, is scheduled on January 31, 2017.

H. Garavel and R. Mateescu co-operated with Gérard Berry to prepare his lecture on explicit-state enumerative verification given at Collège de France on April 22, 2016.