Sites Inria

Version française

Awards

Nathalie Lacaux (*) - 23/11/2018

Best paper award for Celtique Inria Project-team at the international conference ACM GPCE 2018

Celtique Inria project-team has received the  best paper award during the international conference ACM GPCE 2018 (17th ACM  International Conference on Generative Programming: Concepts & Experience) in November at Boston (USA).

This prize rewards the publication "Verification of High-Level Transformations with Inductive Refinement Types ", by Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej Wasowski .

Top