EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

Awards

  • The ERC Consolidator grant VESTA on verified static analysis was awarded to David Pichardie and launched in September 2018.

  • The ANR project scrypt led by Frédéric Besson was accepted and starts in February 2019.

Best Paper Award:
[19]
A. Salim Al-Sibahi, A. S. Dimovski, T. Jensen, A. Wasowski.

Verification of High-Level Transformations with Inductive Refinement Types, in: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Boston, United States, November 2018, pp. 1-14.

https://hal.inria.fr/hal-01898058