Sites Inria

Awards

Nathalie Lacaux - 23/11/2018

Best paper award pour l'équipe Celtique à la conférence internationale ACM GPCE 2018

L’équipe-projet Celtique a reçu le best paper award lors de la conférence internationale ACM GPCE 2018 (17th ACM  International Conference on Generative Programming: Concepts & Experience) qui s’est tenue début novembre à Boston (USA).

Ce prix vient récompenser la publication "Verification of High-Level Transformations with Inductive Refinement Types ", de Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej Wasowski .

Haut de page

Suivez Inria