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 |
