Inria
Inria.fr
Inria Channel
Il y a 117 Résultats avec le mot clé : "Saclay - Île-de-France"
Partenariat scientifique
Forum 2011 Labo MSR-Inria
Le 12 avril prochain, l'Inria et Microsoft Research organisent, au Centre de conférence de Microsoft-France à Issy-les-Moulineaux, la journée annuelle de présentation des équipes de recherche du laboratoire commun. Lors de ce Forum 2011, les chercheurs rendront publics les travaux de leurs 8 équipes de recherche. Un programme chargé de conférences et de démonstrations, témoin de la qualité de la collaboration scientifique au sein de ce jeune laboratoire.
Mots-clés :
- Microsoft research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Accueil > Actualité > Actualités Inria > Forum 2011 Labo MSR-Inria
Laboratoire commun
Forum Microsoft Research Inria 2011
Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.
Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Intervenants : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure
Mots-clés :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011
Prix scientifique
Test of time award pour Dale Miller
Dale Miller, responsable de l’équipe-projet Parsifal, a reçu lors de la conférence LICS 2011 qui s’est tenue au mois de juin à Toronto le test of time award pour un papier publié en 1991.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Test of time award pour Dale Miller
© Inria / Photo Kaksonen
Algorithmique, programmation, logiciels et architectures
Apporter des réponses pour des échanges plus sûrs
Vérifier des protocoles cryptographiques, présents dans le commerce en ligne ou les distributeurs de billets, mais aussi mettre en place des outils de détection d’intrusion dans un système informatique, et ainsi alerter si une suite d’actions semblent malveillantes, tels sont les objectifs de l’équipe-projet Secsi (commune avec le LSV, le CNRS, et l’ENS Cachan). À l’occasion de la soutenance de l’habilitation à diriger des recherches (HDR) de trois de ses membres, focus sur leurs travaux de recherche.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Apporter des réponses pour des échanges plus sûrs
Hasnaa Zidani, équipe-projet Commands
Projet européen
SADCO optimisation à dimension européenne
À l’occasion de la première école d’été du projet européen SADCO, rencontre avec sa coordinatrice, Hasnaa Zidani, de l’équipe-projet Commands, qui développe ce projet sur le contrôle optimal et nous explique son envie de former les jeunes chercheurs grâce à ce programme.
Mots-clés :
Accueil > Centre > Saclay > Actualités > SADCO optimisation à dimension européenne
Yann Ponty, chercheur CNRS au sein de l'équipe AMIB
Événement
Retrouvez-nous pour la Fête de la Science !
Du 14 au 16 octobre 2011, jouez avec les sciences accompagnés de vos enfants sur le plateau de Saclay. Retrouvez les deux ateliers du centre Inria Saclay - Île-de-France dans le village des sciences organisé par Île-de-Science.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Retrouvez-nous pour la Fête de la Science !
Récompense
Best paper à la conférence GECCO
La conférence GECCO (Genetic and Evolutionary Computation Conference) est la conférence annuelle la plus importante sur les algorithmes évolutionnaires. L'article "Local-Meta-Model CMA-ES for Partially Separable Functions", de Zyed Bouzarkouna (IFP et équipe-projet Tao), Anne Auger (équipe-projet Tao) et Didier Yu Ding (IFP) a obtenu le prix du meilleur article dans la catégorie Stratégies d’évolution/Programmation évolutionnaire de la conférence GECCO.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Best paper à la conférence GECCO
© SemEval-2010
Distinction
SemEval-2010
Laurent Romary et Patrice Lopez ont été classés 1er sur 19 participants dans le cadre de la compétition SemEval-2010, pour la tâche « Extraction automatique de mots-clés dans des articles scientifiques ». Ils ont présenté leurs résultats au cours du workshop SemEval-2010 qui a eu lieu à Uppsala en Suède, le 16 juillet dernier.
Mots-clés :
Accueil > Centre > Saclay > Actualités > SemEval-2010
Événement
Un nouveau bâtiment pour le centre Inria Saclay Île-de-France
Le centre de recherche Inria Saclay - île-de-France s'installe dès aujourd'hui dans son nouveau bâtiment. Situé sur le campus de l'École Polytechnique de Palaiseau, ce bâtiment s'inscrit dans le cadre du programme Digiteo qui a permis l'émergence de trois nouveaux bâtiments : un premier sur le site du CEA à Saclay, un deuxième sur le plateau du Moulon et enfin le dernier sur le campus de l'École Polytechnique.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Un nouveau bâtiment pour le centre Inria Saclay Île-de-France
Relations internationales
Projet franco-japonais calcul haute performance
L’ANR-JST FP3C (Framework and Programming for Post Petascale Computing), coordonné en France par l’équipe-projet Grand-Large, souhaite relever les défis du calcul haute performance. Cette collaboration exceptionnelle entre la France et le Japon fait partie des 4 projets retenus parmi de très nombreux projets soumis pour cet appel.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Projet franco-japonais calcul haute performance
Centres de recherche Inria
