Français Anglais
Accueil Annuaire Plan du site
Accueil > Les actualités du laboratoire
Autre news du laboratoire
#
Date
Titre
Bref
51.
13 février 2014
Combien de mémoire ?
par Pierre Mc Kenzie, Université de Montréal et chaire Digiteo "Expressivity and computational complexity of counter machines"
52.
17 décembre 2013
Machine Learning for Interpretable Probabilistic Structure of Brain Function.
Speaker : Dimitris Samaras, Stony Brook University, Digiteo Chair SuBSAmPLE
53.
13 décembre 2013
A l'issue de plusieurs tours de vote, le bâtiment 650-PCRI prend le nom d'Ada Lovelace et le bâtiment 660-Digiteo Moulon celui de Claude Shannon.
54.
03 décembre 2013
attribué à Rémi Bardenet pour sa thèse intitulée "Towards adaptive learning and inference - Applications to hyperparameter tuning and astroparticle physics", préparée conjointement au LAL et au LRI sous la direction de Balász Kégl.
55.
03 décembre 2013
La campagne de recrutement 2014 de chercheur(e)s CNRS est ouverte du 2 décembre 2013 au 6 janvier 2014. 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, 53.
56.
05 décembre 2013
Deux conférences :
ENGAGEMENT RECOGNITION AND GENERATION FOR HUMAN-ROBOT INTERACTION, Charles Rich
ALWAYS-ON RELATIONAL AGENTS FOR THE SOCIAL SUPPORT OF ISOLATED OLDER ADULTS, Candice L. Sidner
57.
08 novembre 2003
13-15 novembre 2013
Orsay, France
Les 15èmes Journées Graphes et Algorithmes (JGA 2013) sont organisées par le LRI - Université Paris-Sud à Orsay.
58.
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.
59.
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
60.
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.
61.
17 juin 2013
Journées Sage 49
Laboratoire de mathématiques d'Orsay,
17 - 21 juin 2013
62.
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
63.
30 mai 2013
Fabio Martignon est nommé membre junior à l'Institut Universitaire de France pour 5 ans à compter du 1er octobre 2013
64.
22 avril 2013
65.
15 avril 2013
Voici les listes des candidats retenus pour les auditions
66.
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.
67.
03 mars 2013
Développement de logiciels scientifiques - Aide à la maturation logicielle
68.
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.
69.
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.
70.
14 janvier 2013
Journée Portes Ouvertes FAST-LIMSI-LRI le vendredi 18 janvier
71.
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.
72.
07 décembre 2012
73.
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
74.
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.
75.
12 novembre 2012
sur la recherche d'impliquants et la satisfaisabilité propositionnelle dans les environnements distribués et la biologie des systèmes
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 3 sur 7]