Projet : OASIS - Animation de la Communauté scientifique

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00091000000000000000" id= "SECTION00091000000000000000">Animation de la Communauté scientifique</a></h2> <a name="OASIS_diffusion_animation" id= "OASIS_diffusion_animation"></a> <ul> <li>Isabelle Attali est membre du comité de direction du GDR ALP : Algorithmique, Langages et Programmation.</li> <li>Isabelle Attali et Denis Caromel ont participé au comité d'édition du numéro spécial de la revue « L'Objet » (éditions Hermès) sur le thème ``Formal Methods For Object Systems''.</li> <li>Françoise Baude participe au comité d'édition de la revue Calculateurs Parallèles, éditions Hermès (depuis Mars 96).</li> <li>Françoise Baude a participé au comité de programme de RenPar'11 (8 au 11 juin 1999) à Rennes.</li> <li>Denis Caromel participe au comité d'édition de la revue L'OBJET, éditions Hermès (depuis Janvier 97).</li> <li>Denis Caromel co-organise avec Jean-Marc Geib (LIFL) et Patrick Sallé (IRIT) l'action Inter-GDR PRO : Parallélisme, Répartition et Objets (GDR ALP : Algorithmique, Langages et Programmation et GDR ARP : Architecture, Réseaux et systèmes, Parallélisme)<br> Organisation des journées PRO : Recherches en cours et Applications Lille, 25-26 Novembre 1999.<br> Voir <a name="tex2html16" href= "http://www.inria.fr/oasis/PRO-Lille99" target="_top" id= "tex2html16">http://www.inria.fr/oasis/PRO-Lille99</a>.</li> <li>Denis Caromel a participé aux comités de programme de : <ul> <li>LMO'99, Villefranche sur Mer, 27-29 Janvier 1999.</li> <li>International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe'99 (Amsterdam) ; actes Springer Verlag, Lectures Notes in Computer Science (LNCS).</li> </ul> </li> <li>Denis Caromel a participé aux comités d'organisation de : <ul> <li>Workshop ``Java for Parallel and Distributed Computing'', Co-chair with S. Chaumette, G. Fox, April 1999, actes Springer, Lectures Notes in Computer Science (LNCS) [<a href="bibliographie_ct.html#JPDC99" target="contents">11</a>], within IPPS/SPDP 99.</li> <li>ISCOPE'99, Décembre 1999, San Francisco, actes Springer, Lectures Notes in Computer Science (LNCS).</li> </ul> </li> <li>Didier Parigot a organisé et Isabelle Attali a participé au Comité de Programme du workshop WAGA'99 [<a href="bibliographie_ct.html#Parigot99" target= "contents">12</a>] (2nd International Workshop on Attribute Grammars and their Applications).</li> <li>Plusieurs membres du projet ont participé à : <ul> <li>des jurys de thèse de doctorat en tant que : <ul> <li>directeur : Christophe Roudet (UNSA), Nathalie Furmento (UNSA, projet SLOOP)</li> <li>rapporteur : Ralf Lämmel (Rostock), Jean-Yves Vion-Dury (Grenoble), Abdelkrim Nimour (ENST Paris), Pascale Launay (IRISA), Houari TINE (INSA Lyon)</li> <li>président : Silvano Dal-Zilio (UNSA)</li> </ul> </li> <li>des jurys d'habilitation à diriger des recherches en tant que rapporteur : Jean-Louis Sourrouille (INSA LYON)</li> </ul>Plusieurs membres du projet ont évalué des articles soumis aux : <ul> <li>conférences suivantes :<br> WAGA'99, TYPES'98, ECOOP'99, HPCN'99, IPPS/SPDP'99, ICFP'99, ISCOPE'99, LICS'99, RTA'99, SCCC'99, ESOP'2000</li> <li>et revues suivantes : TSI, TAPOS, Concurrency Practice and Experience, Software Practice and Experience, The Computer Journal, TCS, Mathematical Structures in Computer Science, Journal of Functional Programming, Journal of Logic and Computation.</li> </ul> </li> </ul> <hr> </body>