Actions régionales, nationales et internationales

Actions financées par la Commission Européenne

Esprit LTR SYRF

Participants : Amar Bouali , Annie Ressouche , Robert de Simone

Nous participons au consortium Esprit LTR SYRF, en collaboration avec les projets Inria Ep-Atr et Spectre, ainsi que le GMD, l'université de Linköping et les sociétés Formal Methods Sweden, EDF, Schneider et SAAB. Le thème d'activité de ce consortium est l'étude, le développement et l'application des formalismes réactifs synchrones et de leur métholodogie de validation.

Les efforts de notre groupe portent plus spécialement sur les points suivants :

la combinaison de formalismes de programmation, en particulier l'intégration de programmes Esterel d'une part, Lustre ou Signal de l'autre, par le biais de formats communs,
la minimisation symbolique de machines à états finis représentant des programmes synchrones,
l'étude de réseaux asynchrones (possiblement distribués) de modules synchrones,
la traduction vers des langages de description de matériel,
l'étude de cas provenant de partenaires industriels.

Réseaux et groupes de travail internationaux

Le réseau HCM EXPRESS s'est achevé cette année (voir colloques et invitations). Nous participons au groupe de travail Esprit CONFER, qui regroupe une quinzaine de sites sur le thème de l'unification, en théorie et en pratique, du calcul fonctionnel et du calcul distribué.

Relations bilatérales internationales

Chine

G. Boudol est responsable du projet «Formal models of computing and their applications» du Laboratoire Franco-Chinois LIAMA, dont les partenaires principaux sont, outre le projet MEIJE, l'équipe «Lambda-calcul et langages fonctionnels» de P.-L. Curien et G. Longo au LIENS, ENS Paris, et le Computer Science Laboratory (Lin Huimin), Institute of Software, Pekin.

Pacifique et Asie du Sud

Dans le cadre du CEFIPRA (Centre Franco-Indien pour la Promotion de la Recherche Avancée), nous avons avec les équipes de P.S. Thiagarajan au SPIC Math. Inst. de Madras et de S. Prasad à l'IIT Delhi un projet intitulé «Specification and verification of distributed systems: the finite state and higher-order cases».

Amérique du Nord

D. Sangiorgi est responsable du projet «Static Types for Reasoning about Concurrent Systems», une collaboration INRIA-NSF avec Indiana University (USA).

Accueils de chercheurs étrangers

Dans le cadre du Réseau d'Excellence HCM Express nous avons reçu quatre chercheurs postdoctorants pour une durée de trois mois chacun (ce qui indique une forte attractivité de notre site au niveau du choix des candidats).

Dans le cadre d'une bourse postdoctorale CNR Italie nous avons reçu Michele Boreale, de l'université de Rome. Nous avons accueilli Josva Kleist, un étudiant danois, et Christine Röckl, pour une durée de trois mois chacun.

Nous avons accueilli également le professeur Matthew Hennessy pour une durée de trois mois, ainsi que Huimin Lin, de l'académie chinoise des Sciences de Beijing pour une durée de quelques semaines en décembre dans le cadre du laboratoire franco-chinois.

S. Prasad a fait une visite d'une semaine en juin dans le cadre du projet Franco-Indien (à la suite d'une visite de 3 semaines auprès de R. Amadio à Marseille), et B. Pierce a également visité le projet pendant une semaine en août, dans le cadre de la collaboration INRIA-NSF.

Précédent : Actions industrielles Remonter : Projet MEIJE, Parallélisme, Synchronisation et Suivant : Diffusion des résultats