Français Anglais
Accueil Annuaire Plan du site
Accueil > Les actualités du laboratoire
Autre news du laboratoire
#
Date
Titre
Bref
51.
04 juin 2014
Journée Calcul et Simulation à Paris Sud
Mercredi 4 Juin 2014 Auditorium Lehman Bat 200
52.
03 juin 2014
Voici le classement des candidats sur les différents postes, validé par le CA du 3 juin
53.
21 mai 2014
Titre: A combinatorial approach to the solitaire game
Conférencier: Antoine Deza, DR CNRS au LRI et titulaire de la Chaire Digiteo "Combinatorial Optimization"
54.
06 mai 2014
Titre: Optimisation Stochastique Multi-niveaux: Approximations, Bornes et Cohérence Temporelle.
Conférencier: Georg Pflug, Prof. Université de Vienne
Abstract: We discuss two aspects of multistage stochastic optimization. In the first pa
55.
21 juin 2014
L'assistant à la preuve Coq dont l'équipe Vals-Toccata a été l'un des acteurs majeurs pour l'établissement de ses fondements théoriques et son développement, a reçu le très prestigieux 2013 ACM Software System Award.
56.
07 mai 2014
Voici les listes des candidats retenus pour les auditions
57.
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
58.
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.
59.
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.
60.
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
61.
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
62.
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.
63.
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"
64.
17 décembre 2013
Machine Learning for Interpretable Probabilistic Structure of Brain Function.
Speaker : Dimitris Samaras, Stony Brook University, Digiteo Chair SuBSAmPLE
65.
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.
66.
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.
67.
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.
68.
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
69.
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.
70.
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.
71.
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
72.
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.
73.
17 juin 2013
Journées Sage 49
Laboratoire de mathématiques d'Orsay,
17 - 21 juin 2013
74.
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
75.
30 mai 2013
Fabio Martignon est nommé membre junior à l'Institut Universitaire de France pour 5 ans à compter du 1er octobre 2013
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 3 sur 8]