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
George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
18 septembre 2018
George Manoussakis, est lauréat de prix de thèse (accessit) Ch. Delorme 2018. Il a soutenu sa thèse au LRI/Galac en Novembre 2017 sous la direction de J. Cohen et A. Deza. Depuis Septembre 2018 il est MdeC à l'Université de Versailles/Li-PaRAD.

TrackML dans Nature
21 janvier 2018
L'apprentissage automatique peut-il aider la physique des hautes énergies à découvrir et à caractériser de nouvelles particules ? TAO participe à l'organisation du challenge TrackML avec le CERN. La seconde phase de la compétition utilisera Codalab.

Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html