Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Coq reçoit le ACM Software System Award, parmi ses développeurs Christine Paulin et Jean-Christophe Filliâtre
Coq reçoit le ACM Software System Award, parmi ses développeurs Christine Paulin et Jean-Christophe Filliâtre
Coq reçoit le ACM Software System Award, parmi ses développeurs Christine Paulin et Jean-Christophe Filliâtre Coq reçoit le ACM Software System Award, parmi ses développeurs Christine Paulin et Jean-Christophe Filliâtre
21 juin 2014

L'assistant à la preuve Coq dont l'équipe Vals-Toccata a été l'un des acteurs majeurs pour l'établissement de ses fondements théoriques et son développement, a reçu le très prestigieux 2013 ACM Software System Award.
ACM présentera les  2013 Software System Award au banquet annuel des remises de récompenses, le 21 juin prochain.  C'est la première fois depuis 40 ans qu'une équipe française reçoit ce prix !


Pour en savoir plus: http://awards.acm.org/software_system/
News
Wanyu Liu reçoit le Prix Doctorants de l'ED STIC
01 décembre 2017
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Telecom, reçoit le premier prix (ex aequo) pour ses travaux sur "BIGnav: Information Theory meets Human-Computer Interaction".

Wendy Mackay Docteur Honoris Causa de l'Université d'Aarhus
15 septembre 2017
Wendy Mackay a reçu le 15 septembre le titre de Doctorem Scientarum Honoris Causa de l'Université d'Aarhus (Danemark) pour l’ensemble de sa carrière, notamment ses travaux sur la vidéo interactive, la conception participative et la réalité mixte.

La Fête de la Science au LRI
13 octobre 2017
À l'occasion de la Fête de la Science, le LRI accueille les scolaires le 13 octobre et le grand public le 15 octobre.