Adresse URL du lien:
Renaud Vilmart, doctorant à l’Université de Lorraine au sein de l’équipe Mocqua, commune à Inria et au Loria, a obtenu le prix du meilleur papier étudiant, le Kleene Award à LICS, la grande conférence de logique en informatique, qui s’est déroulée du 24 au 27 juin dernier à Vancouver.