Précédent : Enseignement universitaire Remonter : Diffusion de résultats Suivant : Références
Précédent : Enseignement universitaire
Remonter : Diffusion de résultats Suivant :
Références
Mireille Ducassé a présenté ses activités d'enseignement de la méthode B à la session sur l'éducation de la conférence international sur B [[21]]. Elle a également passé une semaine à IC-Parc, Londres, au sujet du débogage dans Eclipse, un système de programmation logique avec contraintes en novembre 1998.
Pascal Fradet et Daniel Le Métayer ont présenté leurs travaux sur les types graphes, les architectures de logiciels et le test à l'Institut de Mathématiques de l'Academia Sinica (Pékin), l'Institut du Logiciel (Pékin) et l'University of Science and Technology of China (Hefei). Daniel Le Métayer a par ailleurs été invité au workshop NSF-CNR ROSATEA (Role of Software Architectures for Testing and Analysis) à Marsala. Il a également présenté, avec Thomas Jensen, les activités du projet sur la vérification de politiques de sécurité à la journée de rencontre Inria-Industrie ``Telecom et multimedia''.
Thomas Jensen a présenté l'Action de Collaboration Java Card à la conférence européenne EMMSEC'98 à Bordeaux. Il a également représenté le projet LANDE au workshop Ercim sur les langages de programmation à Pise.
Erwan Jahier, dans le cadre du projet ARGo, a passé un mois à l'université de Melbourne, Australie, au sujet du traceur de base de Mercury, en février 1998. Il a par ailleurs assisté à l'école ``Jeunes chercheurs'' du GDR Programmation à Nantes et aux journées ``Doctoriales'' à Dinard.
Michaël Périn a participé à l'École ``Jeunes chercheurs'' MOVEP'98 à Nantes. Siegfried Rouvrais a assisté à ``Summer School on specification, verification and refinement'' à Turku (Finlande) et à l'école ``Jeunes chercheurs'' du GDR Programmation à Nantes.
Tommy Thorn a présenté les travaux de notre groupe sur la formalisation de la sémantique de Java à l'université de Princeton (États-Unis).
Lionel Van Aertryck a effectué des présentations et démonstrations du prototype CASTING à la conférence B (Montpellier) et aux journées du groupe de travail BUG (Paris).