Projet Lande

Précédent : Actions industrielles Remonter : Projet LANDE, Conception et validation Suivant : Diffusion des résultats

• Actions régionales
• Actions nationales
• Actions financées par la Commission Européenne
• Réseaux et groupes de travail internationaux
• Relations bilatérales internationales
• Accueil de chercheurs étrangers

Actions régionales, nationales et internationales

Actions régionales

M. Ducassé fait partie depuis 3 ans du jury régional du prix de la vocation féminine. Ce prix récompense des jeunes filles qui s'orientent vers des études scientifiques après le baccalauréat.

Actions nationales

Le projet LANDE est impliqué dans le GDR programmation (pôles «Langages fonctionnels» et «Programmation logique»).

Actions financées par la Commission Européenne

 

Le projet LANDE participe au working group Coordina (Esprit Working Group 24512, From Coordination Models to Applications, ref Inria: 1 97 C 905, durée 36 mois, début le 15 août 1997) dont le but est l'étude des langages et des modèles de coordination et d'architectures de logiciels. Les activités du groupe s'articulent autour d'études de cas fournies par les sociétés Signaal (Pays-Bas) et Xerox (France). Le projet inclut comme partenaire académiques le CWI, les universités de Berlin, Berne, Bologne, Chalmers, Genève, Leiden, Lisbonne, Londres (Imperial College) et Pise.

Réseaux et groupes de travail internationaux

M. Ducassé et T. Thorn sont membres de l'ACM (Association for Computing Machinery). M. Ducassé, S. Mallet et O. Ridoux sont membres de l'ALP (Association for Logic Programming).

Relations bilatérales internationales

Nous participons à un projet bilatéral avec l'université d'Hefei-Anhui (Chine). Cette collaboration est financée par le PRA franco-chinois et porte sur les langages de haut niveau pour le génie logiciel.

Accueil de chercheurs étrangers

Le projet a reçu:

• Hong Lin, Université de Hefei-Anhui, travail sur les architectures de logiciels; présentation au séminaire LANDE de ses résultats sur la sémantique et la mise en oeuvre parallèle de Gamma; visite d'une durée d'un mois.
• Lee Naish, Université de Melbourne, travail sur le débogage automatisé; présentation au séminaire LANDE de A higher order reconstruction of stepwise enhancement; visite d'une semaine.
• Zoltan Somogyi, Université de Melbourne, travail sur le traceur pour Mercury; présentation au séminaire LANDE de Termination analysis for Mercury; visite d'une semaine.
• Heribert Schütz, Université Ludwig-Maximilian de Munich, travail sur les bases de données déductives; cours de 15 heures à l'Insa sur ce même sujet; présentation au séminaire LANDE de Model Generation with Existentially Quantified Variables and Constraints; visite d'une semaine.

Le projet a par ailleurs accueilli un certain nombre de visiteurs étrangers pour des visites ponctuelles. Nous ne les passons pas en revue ici.

Précédent : Actions industrielles Remonter : Projet LANDE, Conception et validation Suivant : Diffusion des résultats