Précédent : Participation à des colloques Remonter : Diffusion des résultats Suivant : Animations scientifiques

Conférences invitées, tutoriels, cours, etc.

Didier Rémy a participé à la conférence LMO (Langage et Modèles à Objets) qui s'est tenue en octobre à Aigle, près de Lausanne. Il y a donné une conférence invitée sur la synthèse des types dans les langages à objets.

François Rouaix a présenté un exposé sur le Code Mobile au groupe de réflexion ``Autoroute de l'information et Recherche'' du MENESR.

Michel Mauny a participé à une table ronde sur le Génie Logiciel lors d'une rencontre Franco-Autrichienne organisée par le Ministère de l'Industrie à Linz, en Autriche. Il y a fait un exposé sur les retombées pratiques des études théoriques des systèmes de types.

Francois Rouaix a présenté un exposé sur la sécurité du code mobile lors de la journée ``Le Web : axes de recherche, impacts sur la communication'' organisée dans le cadre du grand séminaire de l'IRISA (8 novembre).

Pierre Weis a participé à la traduction d'un article consacré à Horus, publié dans le numéro de Pour la Science du mois de juillet 1996. Il a de plus rédigé un encadré dans l'article où il fait le point sur la recherche française en systèmes distribués et révèle les liens entre l'équipe américaine d'Horus et l'équipe de développement de Caml à l'Inria.

Valérie Ménissier-Morain a rendu visite à l'équipe Automated reasoning du laboratoire d'informatique de l'université de Cambridge dirigé par Lawrence Paulson. Durant cette semaine de la mi-mars, elle a exposé ses travaux sur l'arithmétique réelle exacte à l'université de Cambridge et à Imperial College à Londres.

Valérie Ménissier-Morain a été invitée par Abbas Edalat pour trois semaines en juillet 1996 au sein de ``Theory and formal methods'' d'Imperial College à Londres. Elle a aussi participé au groupe de travail inter-PRC ``Arithmétique des ordinateurs et géométrie algorithmique'' dirigé par Jean-Michel Muller.

Lors de l'atelier COMPROX, Valérie Ménissier-Morain a présenté ses travaux sur l'arithmétique réelle en précision arbitraire ainsi qu'une démonstration sur machine d'un prototype écrit en Caml.

Daniel de Rauglaudre a présenté le langage Chamau au CNET-Lannion.

François Rouaix a présenté un exposé récapitulatif sur La surcharge dans les langages statiquement typés au séminaire du LaMI, Université d'Evry (janvier 1996).

Didier Rémy a également participé au groupe de travail du projet Para sur les calculs distribués [7]. Il s'intéresse particulièrement aux problèmes de typage ainsi qu'aux objets distribués.

Michel Mauny et François Rouaix ont participé au Cebit de Hannovre (16-20 mars 1996), où ils ont proposé des démonstrations de MMM.

Michel Mauny a participé au Workshop LOGSEM, à Birmingham (Angleterre), afin de rencontrer les partenaires d'une proposition de Working Group actuellement à l'étude.

Précédent : Participation à des colloques Suivant : Animations scientifiques Remonter : Diffusion des résultats