Il y a 125 Résultats avec le mot clé : "Saclay - Île-de-France"
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
Intervenant(s) : 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
Evénement
Interfaces de demain
L’Inria, en partenariat avec le Laboratoire de Recherche en Informatique (Université Paris-Sud 11 & CNRS), Télécom ParisTech, l’Institut de Recherche et d’Innovation et ACM SigCHI vous propose le 7 juillet 2011, de 19h à 21h au Centre Pompidou, un panorama des dernières recherches en intéraction homme-machine.
Lieu : Centre Pompidou (salle Piazza), Paris
Mots-clés :
Événement
Inria à la Nuit des Chercheurs
Pour la première année, le centre Inria Saclay – Île-de-France participe à la 6ème édition de la Nuit des Chercheurs qui se déroulera le 23 septembre 2011 à l’École Polytechnique à Palaiseau (91).
Initié par la Commission Européenne, cet événement a pour but de faire connaître le métier de chercheurs aux citoyens. Ainsi, durant une soirée, expositions, atelier et spectacles sont proposes sur des thèmes scientifiques.
Lieu : École Polytechnique - Entrée libre de 18h à minuit
Intervenant(s) : chercheurs de l'équipe Tanc
Mots-clés :
Accueil > Centre > Saclay > Agenda > Inria à la Nuit des Chercheurs
Événement
5th Seminar on High Performance Numerical Computing
Lieu : Orme des Merisiers du CEA/ SACLAY - Bâtiment 713 - Salle Galilée
Mots-clés :
Accueil > Centre > Saclay > Agenda > 5th Seminar on High Performance Numerical Computing
Workshop
Workshop Bioinformatique en Neuroimagerie
L'Alliance nationale pour les sciences de la vie et de la santé organise le 30 novembre prochain à Paris un workshop sur la bioinformatique en neuroimagerie.
Lieu : Amphithéâtre de l'Institut du Cerveau et de la Moelle Epinière, Paris 13è
Mots-clés :
Accueil > Centre > Saclay > Agenda > Workshop Bioinformatique en Neuroimagerie
Santé
Monolix Day 2011
To celebrate the release of version 4 of the Monolix Software, Inria and Lixoft invite you to the third Monolix Day.
Lieu : Maison de la recherche, Paris 7è
Intervenant(s) : Marc Lavielle, Jérôme Kalifa, Benjamin Ribba
Mots-clés :
JFLA 2012
Journée francophone des langages applicatifs 2012
Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs c'est-à-dire, de façon large et dans le désordre, les langages ensemblistes, fonctionnels, parenthétiques, à objets ou acteurs, à la fois sur les plans théoriques (nouveaux langages ou dialectes, sémantique de nouveaux traits, compilation, interprétation etc.) et pratiques (utilisation de ces langages, implantation, gestion de mémoire, algorithmes distribués ou parallèles, mesure de performances, etc.).
Lieu : Carnac
Intervenant(s) : Dimitrios Vytiniotis (Microsoft Research). Benjamin Grégoire (Inria Sophia-Antipolis--Méditerrannée)
Mots-clés :
Accueil > Centre > Saclay > Agenda > Journée francophone des langages applicatifs 2012
Événement
Séminaire Digiteo
Le RTRA Digiteo organise le 8 février prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Rudy Lauwereins, professeur à Katholieke Universiteitet, et aura pour thème : "The route to hidden electronics".
Lieu : PUIO (Pôle Universitaire d'Ingénierie d'Orsay)
Intervenant(s) : Rudy Lauwereins (Katholieke Universiteit Leuven, Belgium vice president of IMEC)
Mots-clés :
École de Printemps
International Spring School on Formalization of Mathematics
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library.
Lieu : Inria Sophia Antipolis - Méditerranée
Mots-clés :
Accueil > Centre > Saclay > Agenda > International Spring School on Formalization of Mathematics