Diffusion des résultats

Animation de la communauté scientifique

A. Benveniste a co-organisé «FEmSys'97» : Workshop on Formal Design of Safety Critical Enbedded Systems (Munich, 16-18 avril 1997).

Th. Gautier a fait partie du comité de programme de «ISLIP 1997» : Tenth Annual International Symposium on Languages for Intensional Programming (Victoria, Canada, 15-17 mai 1997).

Enseignement universitaire

Les membres de l'équipe participent à divers titres à la formation d'étudiants à l'université et à l'Insa.

P. Le Guernic, E. Rutten, Th. Gautier, B. Houssais et L. Besnard ont donné des cours de DEA, 5ème année Insa, DESS-Isa, DIIC 2ème année et 3ème année d'IUP (UBS) consacrés à la programmation temps réel.

Dans le cadre des formations de troisième cycle, nous avons assuré l'encadrement d'étudiants stagiaires de DEA informatique : Antoine Hahusseau (en co-encadrement avec Stéphane Donikian, projet Siames), Fernando Jimenez.

Participation à des colloques, séminaires, invitations

On pourra se reporter à la bibliographie pour la liste des colloques et congrès auxquels les membres de l'équipe ont participé.

E. Rutten a donné une conférence invitée au 22st IFAC/IFIP Workshop on Real Time Programming (WRTP'97, Lyon, France, September 15 - 17, 1997).

E. Rutten a présidé une session du «Euromicro Workshop on Real Time Systems 1997».

Précédent : Actions régionales, nationales et internationales Remonter : Projet EP-ATR, Environnement de programmation Suivant : Références