Prix du meilleur poster GPL 2019

Huit posters et démonstrations ont été présentés lors des journées GPL 2019. Frédéric Dadeau a présenté ce jeudi les résultats du vote des participants à ces journées nationales. Deux prix ont été attribués, l'un à un poster et l'autre à une démo.

Le prix du meilleur poster est attribué à Théo Zimmermann (IRIF, Paris)
pour son poster intitulé "Défis dans le développement collaboratif et ouvert de l’assistant de preuve Coq et de son écosystème". Vous trouverez ici son poster et un résumé.

Le prix de la meilleure démo est attribué à Virgile Robles, Nikolai Kosmatov,
Virgile Prevosto, Louis Rilling (CEA/LIST) et Pascale Le Gall (Centrale Supélec)

pour leur démo intitulée " Sail Through Your C Code Either Statically or Dynamically with MetAcsl". Le poster est disponible ici.

Tags: