Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Le logiciel Coq reçoit l'ACM SIGPLAN Software award
Le logiciel Coq reçoit l'ACM SIGPLAN Software award
Le logiciel Coq reçoit l'ACM SIGPLAN Software award Le logiciel Coq reçoit l'ACM SIGPLAN Software award
05 juillet 2003

L'assistant de preuve Coq, fruit d'un travail collectif débuté dans les années 80 et mené principalement à INRIA, ENS Lyon, Université Paris-Sud et Université Paris Diderot reçoit en 2013 le software award de l'ACM SIGPLAN.

L'assistant de preuve Coq propose un environnement sophistiqué pour le développement de preuves mathématiques vérifiées par ordinateur. La preuve du théorème des quatre couleurs, du théorème de Feit-Thomson (classification des groupes finis) ou encore le développement d'un compilateur C optimisant complètement prouvé sont des exemples emblématiques des possibilités de Coq. Le langage sous-jacent à cet outil (le calcul des constructions) a été proposé par Coquand et Huet en 84 puis étendu par Coquand et Paulin. Le système Coq a été développé activement depuis cette époque avec de nombreuses versions successives et la contribution de plus de 30 personnes. Le développement a été coordonné par Gérard Huet puis par Christine Paulin (de 1996 à 2002) et actuellement par Hugo Herbelin.



Pour en savoir plus: http://www.sigplan.org/Awards/Software/Main
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.