Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Projet OpenDreamKit accepté
Projet OpenDreamKit accepté
Projet OpenDreamKit accepté Projet OpenDreamKit accepté
18 juin 2015

Le projet Européen H2020 OpenDreamKit (Open Digital Research Environment Toolkit for the Advancement of Mathematics), coordonné par le LRI, a été accepté.

Nous recrutons un ingénieur de recherche au LRI!


Pour en savoir plus: http://opendreamkit.org/
News
Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
16 mai 2019
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.

Martin Clochard reçoit le prix de thèse GDR GPL 2018
15 mai 2019
Martin Clochard a reçu le prix GDR GPL 2018 (http://gdr-gpl.cnrs.fr/node/361) pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels" .

Wanyu "Abby" Liu reçoit le 1er prix de thèse de Télécom ParisTech
05 avril 2019
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Télécom ParisTech, a reçu le premier prix de thèse de Télécom ParisTech pour sa thèse intitulée "La théorie de l'information comme outil unifié pour comprendre l'interaction humain-machine".