Diffusion des résultats

Animation de la communauté scientifique

Nous avons organisé la réunion de normalisation internationale ISO SC21/WG7 consacrée à la définition d'EXTENDED-LOTOS, qui a eu lieu du 9 au 12 décembre 1996 à l'INRIA Rhône-Alpes.
Nous avons participé à la création du ``Club des Méthodes Formelles'' de l'INRIA Rhône-Alpes à un double titre : d'une part dans le cadre d'un séminaire donné par Ch. Pecheur et M. Sighireanu le 26 juin 1997, et d'autre part en organisant le 24 juillet 1997 une journée consacrée aux outils CADP à l'intention du monde académique et industriel.
H. Garavel est membre du comité de rédaction de la revue TSI (Technique et Science Informatiques). En collaboration avec Roland Groz (France Telecom/CNET) et Claude Jard (IRISA), il a été responsable de deux numéros thématiques de cette revue consacrés au thème ``Méthodes formelles : Validation de systèmes complexes'' [8,9].

H. Garavel assure le cours ``Temps Réel'' destiné aux étudiants en 3e année de l'ENSIMAG (24 heures annuelles).
H. Garavel a organisé plusieurs séances de travaux pratiques consacrées à la spécification et la validation de protocoles à l'ENST Paris (8 heures annuelles) et à l'ENSERG (16 heures annuelles).
M. Sighireanu est monitrice à l'Université Joseph Fourier (64 heures annuelles). Elle a participé à l'enseignements de langages de programmation à l'Ecole d'Informatique (niveau licence).

Nous avons présenté des communications dans plusieurs conférences et colloques internationaux (voir à ce sujet la liste de nos publications).
Ch. Pecheur a participé à l'Ecole Européenne ``Methods and Tools for the Verification of Infinite State Systems'' organisée à Grenoble du 23 au 25 mars 1997.
H. Garavel et R. Mateescu ont participé au second colloque international ERCIM ``Formal Methods in Industrial Critical Systems'' qui s'est tenu à Cesena (Italie) les 4 et 5 juillet 1997.
H. Garavel a participé à la réunion de normalisation consacrée à E-LOTOS, organisée à Helsinki (Finlande) du 14 au 18 juillet 1997.
Ch. Pecheur a participé au Colloque Francophone sur l'Ingénierie des Protocoles CFIP'97 qui s'est tenu à Liège (Belgique) du 29 septembre au 2 octobre 1997.
H. Garavel a participé au 11e colloque COST 247 qui s'est tenu à Stirling (Ecosse) les 13 et 14 octobre 1997. A cette occasion, il a présenté les résultats obtenus par Ch. Pecheur dans l'étude du protocole CO4.

Précédent : Actions régionales, nationales et internationales Remonter : Action Vasy-RA, Validation de Systèmes Suivant : Références