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
Prix FIEEC CARNOT de la recherche appliquée
18 octobre 2019
Claude Marché remporte le premier prix FIEEC CARNOT de la recherche appliquée pour sa collaboration avec la société AdaCore.

Ouvrage Informatique au lycée
24 septembre 2019
Parution d'un ouvrage pour la spécialité NSI en classe de première, co-écrit par quatre membres du LRI.

CAV Award 2019
06 septembre 2019
Jean-Christophe Filliâtre reçoit le prix "CAV Award 2019", pour la conception et le développement de langages intermédiaires réutilisables pour la vérification.