Section: Dissemination

Popularization

H. Garavel participates to the committee in charge of organizing the Aerospace Valley series of industrial conferences on formal methods. The first conference, held on November 13, 2012, was a success, as it attracted 85 participants, among which 61 industrialists from 33 different companies.

R. Mateescu published a report about the 17th workshop on Formal Methods for Industrial Critical Systems [21] .

In the context of the 20th anniversary of the Inria research center in Montbonnot, H. Garavel contributed to the collection of articles describing the evolution of computer sciences during the last 20 years [20] .