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
SWERC 2019-2020
25 janvier 2020
Trois membres du LRI contribuent à l'organisation du SWERC 2019-2020

Wendy Mackay nommée ACM Fellow
19 janvier 2020
pour ses contributions à l'Interaction Humain-Machine et son leadership au sein de l'ACM SIGCHI

Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.