» INTERNATIONAL » Le Programme Invités » Invités précédents » Invités 2008

Invités 2008

Nom / PrénomOrganisme d’origineThème de recherchePériode de présenceEn collaboration avec
Pr Cesar MunozNational Institute of Aerospace - USA"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"June / JulyInria
Pr Yan GuoChina Agriculture University - China"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"MayInria
Pr Artur ZivianiNational Laboratory for Scientific Computing - Brazil"Conception d’un modèle de dissémination des données sur un réseau de capteurs sans fil"September / NovemberInria
Pr Ivan StojmenovicUniversity of Ottawa - Canada"Développer l’axe réseaux de capteurs sur lequel travaille Hipercom et d’autres équipes de l’Inria (comme ASAP)"June / July and SeptemberInria
Pr Nancy Amato and Pr Lawrence RauchwergerTexas A&M University College Station - USA"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"June / JulyInria
Pr Moreno FalaschiDip. Di Scienze Matematiche e Informatiche, University Siena - Italy"Work on the foundations of Temporal Concurrent Constraint Programming"October / November / DecemberInria
Pr Dimitri SamarasComputer Science Dpt, Stony Brook University - USA"Extraction et induction de descripteurs pour l’analyse d’images biomédicales"June / SeptemberInria
Pr Burkhart WolffETH Zurich - Switzerland"Evaluation du système Z3 pour le but de la synthèse des données de test dans le domaine du génie logiel"August / OctoberLRI
Pr Carlo MeghiniIstituto di Scienza e TecSTI/CNR - Italy"Modélisation de documents et gestion de collections dans le cadre d’une bibliothèque numérique"September / OctoberLRI
Pr Scott KlemmerUniversité 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 / JulyLRI
Pr Martin RaussenAalborg University - Denmark"Development of softwre validations tools, especially how to exploit Max-plus algebras and of topological coverings in subdivisions of state spaces"NovemberCEA-LIST
Pr Branislav SelicCarlton 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"October / DecemberCEA-LIST
Pr Van OostromUniversity of Utrecht - Nederland"Collaborations dans le domaine des formalismes de calcul d’ordre supérieur qui interviennent en programmation et preuves de programmes"January / FebruaryLIX