Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > La Fête de la Science au LRI
La Fête de la Science au LRI
La Fête de la Science au LRI La Fête de la Science au LRI
10 octobre 2018

À l'occasion de la Fête de la Science, le LRI accueille les scolaires le 12 octobre et le grand public le 14 octobre.

Comme chaque année, le Laboratoire de Recherche en Informatique de l’Université Paris Sud participe à la fête de la science en proposant une série d’activités pour découvrir l’informatique sous tous ses aspects, futuristes (réalité virtuelle, écrans géants…), artistiques (jonglerie, automate interactif…), matériels (robotique, impression 3D) ou conceptuels (programmation, modélisation).

Le vendredi 12 octobre 2018, le LRI reçoit sur place des classes d’élèves du CP à la terminale tandis que le dimanche 14, nous accueillons au bâtiment 450 tout public intéressé par nos activités.

 
 


Pour en savoir plus: http://fetedelascience.lri.fr
News
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.

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" .