navigation

Changer la langue :

Langue / language

Rechercher

 

Programme invités 2008

Date de première publication : Wednesday 4 February 2009 par Jules Gasté

 

Prénom / Nom Etablissement Thème de recherche Période En collaboration avec
Pr Cesar Munoz National Institute of Aerospace - Etats-Unis
"Spécification et la vérification de programmes incluant du calcul flottant dans le cadre de programmes Java prouvés en PVS et modélisation et preuve d'algorithmes de contrôle aérien"
Juin / Juillet INRIA
Pr Yan Guo

China Agriculture University - Chine

 "Cooperation with the Digiplante team to adapt the mathematical model of plant growth and the simulation software to new plants (pine, rice, cotton) and experimental data analysis"
Mai INRIA
Pr Artur Ziviani National Laboratory for Scientific Computing - Brésil "Conception d'un modèle de dissémination des données sur un réseau de capteurs sans fil"
Septembre / Novembre
 INRIA
Pr Ivan Stojmenovic
University of Ottawa - Canada
"Développer l'axe réseaux de capteurs sur lequel travaille Hipercom et d'autres équipes de l'INRIA (comme ASAP)"
Juin / Juillet et Septembre
 INRIA
Pr Nancy Amato et Pr Lawrence Rauchwerger
Texas A&M University College Station - Etats-Unis
"Collaboration sur la tolérance aux pannes et le reciblage de STAPL à des intergiciels efficaces et flexibles permettant de faciliter la programmation parallèle de grands systèmes"
Juin / Juillet
 INRIA
Pr Moreno Falaschi
Dip. Di Scienze Matematiche e Informatiche, University Siena - Italie
"Work on the foundations of Temporal Concurrent Constraint Programming"
Octobre / Novembre / Decembre
 INRIA
Pr Dimitri Samaras
Computer Science Dpt, Stony Brook University - Etats-Unis
"Extraction et induction de descripteurs pour l'analyse d'images biomédicales"
Juin / Septembre
 INRIA
Pr Burkhart Wolff
ETH Zurich - Suisse
"Evaluation du système Z3 pour le but de la synthèse des données de test dans le domaine du génie logiel"
Aôut / Octobre
 LRI
Pr Carlo Meghini
Istituto di Scienza e TecSTI/CNR - Italie
 "Modélisation de documents et gestion de collections dans le cadre d'une bibliothèque numérique"
Septembre / Octobre
 LRI
Pr Scott Klemmer
 Université de Stanford - USA
 "Mise en place de collaborations sur les thématiques communes des deux équipes : papier interactif, "design workbench", interaction avec mur d'images"
June / July
 LRI
Pr Martin Raussen
Aalborg University - Danemark
"Development of softwre validations tools, especially how to exploit Max-plus algebras and of topological coverings in subdivisions of state spaces"
Novembre CEA-LIST
Pr Branislav Selic
Carlton University - Canada
"New technical directions for the ACCORD/UML modeling initiative and outline promising strategic evolutionary and research directions for the framework and its related toolset"
Octobre / Decembre
 CEA-LIST
Pr Van Oostrom
University of Utrecht - Pays-Bas "Collaborations dans le domaine des formalismes de calcul d'ordre supérieur qui interviennent en programmation et preuves de programmes"
Janvier / Février
 LIX
Pr Pierre Hansen
 HEC Montréal - Canada "Reformulations in mathematical programming"
October to March 2009
 LIX

 

 

Programme Invités 2009

 

Moreno Falaschi - Chercheur invité en 2008