Français Anglais
Accueil Annuaire Plan du site
Accueil > Les actualités du laboratoire
Autre news du laboratoire
#
Date
Titre
Bref
51.
07 mai 2014
Voici les listes des candidats retenus pour les auditions
52.
28 avril 2014
Titre : Adversary-Oriented Computing
Conférencier : Rachid Guerraoui, Prof. EPFL
Abstract: This talk will describe Adversary-Oriented Computing (AOC), a new paradigm to build high-assurance distributed programs. The underlying idea consist
53.
07 avril 2014
Le FabLab sera inauguré pour les membres du projet Digiscope mardi 8 avril 2014, au bâtiment Claude Shannon (660) sur le plateau du Moulon.
54.
31 mars 2014
8 postes d'enseignants-chercheurs en informatique (27ème section) sont ouverts au concours à l'université Paris-Sud avec affectation au LRI : 1 de professeur et 7 de maîtres de conférences.
55.
31 mars 2014
Title: The Satisfiability Modulo Theories solver Z3
Speaker: Nikolaj Bjorner, Principal Researcher at Microsoft Research, Redmond,
The Satisfiability Modulo Theories (SMT) solver Z3 from Microsoft Research powers a generation of tools, including SAGE, P
56.
03 mars 2014
L'équipe internationale associée Inria MIDWAY (Musical Interaction Design Workbench And technologY) réunit deux partenaires: l'équipe In|Situ| du LRI et d'Inria Saclay – Ile-de-France, et l'équipe Input Devices and Music Interaction Laboratory (IDMIL) du
57.
18 février 2014
Création de l'équipe associée R-LAS (Randomized Linear Algebra Software) entre Postale/ParSys et l'Université du Tennessee (Innovative Computing Laboratory), USA.
58.
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"
59.
17 décembre 2013
Machine Learning for Interpretable Probabilistic Structure of Brain Function.
Speaker : Dimitris Samaras, Stony Brook University, Digiteo Chair SuBSAmPLE
60.
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.
61.
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.
62.
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.
63.
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
64.
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.
65.
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.
66.
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
67.
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.
68.
17 juin 2013
Journées Sage 49
Laboratoire de mathématiques d'Orsay,
17 - 21 juin 2013
69.
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
70.
30 mai 2013
Fabio Martignon est nommé membre junior à l'Institut Universitaire de France pour 5 ans à compter du 1er octobre 2013
71.
22 avril 2013
72.
15 avril 2013
Voici les listes des candidats retenus pour les auditions
73.
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.
74.
03 mars 2013
Développement de logiciels scientifiques - Aide à la maturation logicielle
75.
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.
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 3 sur 8]