76.

04 octobre 2003

Le LRI participe à la fête de la science 2013, avec la visite de scolaires le vendredi 11 octobre, et des animations pour le grand public le dimanche 13 octobre.

77.

17 juillet 2013

Marie-Claude Gaudel a reçu le titre de docteur Honoris Causa de l'université de York (UK) le 11 Juillet 2013

78.

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.

79.

17 juin 2013

Journées Sage 49
Laboratoire de mathématiques d'Orsay,
17 - 21 juin 2013

80.

20 juin 2013

14:00 -15:00
Petit amphi du bâtiment de Maths (425)
Georges Gonthier (Microsoft Research, Cambridge UK)
Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

81.

30 mai 2013

Fabio Martignon est nommé membre junior à l'Institut Universitaire de France pour 5 ans à compter du 1er octobre 2013

82.

22 avril 2013

83.

15 avril 2013

Voici les listes des candidats retenus pour les auditions

84.

27 mars 2013

Dans le cadre des RUE 2013, le robot NAO a présenté le LRI à notre ministre, Geneviève Fioraso, sur le stand de l'Université Paris-Sud.

85.

03 mars 2013

Développement de logiciels scientifiques - Aide à la maturation logicielle

86.

20 mars 2013

Using Theorem Provers for Testing - Foundations, Challenges and Future Directions - Burkhart Wolff
Mercredi 20 mars 14:30
Supélec, amphi F.3.05.

87.

16 février 2013

7 postes d'enseignants-chercheurs en informatique (27ème section) sont ouverts au concours à l'université Paris-Sud : 3 de professeurs et 3 de maîtres de conférences avec affectation au LRI, 1 de maître de conférences avec affectation au LIMSI ou au LRI.

88.

14 janvier 2013

Journée Portes Ouvertes FAST-LIMSI-LRI le vendredi 18 janvier

89.

03 décembre 2012

La campagne de recrutement 2013 de chercheur(e)s CNRS est ouverte jusqu'au 7 janvier 2013. Le LRI souhaite accueillir des candidatures à tout niveau (CR2, CR1, DR2) tant en section 06 et 07 qu'en sections 41, 21 et CID 51.

90.

07 décembre 2012

91.

04 décembre 2012

On the Future of High Performance Computing: How to Think for Peta and Exascale Computing.
LRI, 4 décembre 2012 - 15h

92.

07 avril 2013

Le LRI et l'Université des Sciences et Techniques de Trondheim en Norvège organisent pour la première fois en France la prochaine école d'hiver internationale d'optimisation stochastique et applications à l'énergie et aux ressources naturelles.

93.

12 novembre 2012

sur la recherche d'impliquants et la satisfaisabilité propositionnelle dans les environnements distribués et la biologie des systèmes

94.

11 septembre 2012

14h30, PUIO, petit amphi
Matrix completions
Monique Laurent, CWI, Amsterdam, and Tilburg University
http://www.digiteo.fr/code_qtyc9qbptu

95.

24 octobre 2012

Mercredi 24 octobre, 16:30 en salle 455

96.

27 septembre 2012

Le LRI accueille industriels, élèves et grand public à l'occasion de la Fête de la Science les 10, 12 et 14 octobre.

97.

12 septembre 2012

Le Laboratoire d'Excellence DigiCosme (ex DigiWorlds) est heureux de vous convier à son colloque d'inauguration les Mercredi 12 et Jeudi 13 Septembre 2012. Lieu : Amphithéâtre Gay-Lussac -- Ecole Polytechnique

98.

06 septembre 2012

Le LRI vient d'acquérir un robot NAO. Dans un premier temps, des travaux existants seront intégrés au sein du robot afin de réaliser des démonstrations. Dans une deuxième phase, le robot sera aussi un outil de recherche pour certaines équipes.

99.

27 septembre 2012

14h30 à Supélec (amphi F3 - 05)
The statistical approach to speech recognition and natural language processing: achievements and open problems
by Hermann Ney, professeur l’Information à RWTH d'Aachen, DIGITEO chair

100.

22 mai 2002