Précédent : Jurys Remonter : Diffusion des résultats Suivant : Conférences et visites
Précédent : Jurys Remonter : Diffusion des résultats
Suivant : Conférences et visites
C. Paulin est responsable du pôle ``Preuves et Spécifications Algébriques'' du GDR Programmation.
G. Huet est membre de ``Academia Europæ'' et membre correspondant de l'Académie des Sciences. Il fait partie des comités de lecture des revues ``Journal of Symbolic Computation'', ``Journal of Applied Non-Classical Logics'', ``Journal of Logic and Computation'', ``International Journal on Foundations of Computer Science", ``Annals of Pure and Applied Logic'', et de la ``Revue d'Intelligence Artificielle". Il est membre du Comité de Pilotage du GIE-Dyade, et du Conseil Scientifique de VERIMAG. Il est membre du groupe de travail ``Systèmes Critiques'' à l'OFTA. Il est membre du ``Honorary Board" du RIDS (Research Institute for Declarative Systems) à Nijmegen. De janvier à juillet 1996, G. Huet a été Conseiller auprès de la Direction du développement. À partir de Janvier 1997 il sera Délégué aux Affaires Internationales à l'INRIA.
G. Huet a participé au Conseil Scientifique de VERIMAG à Grenoble.
G. Dowek est membre du comité de programme du symposium ``Higher Order Algebra 97'' et de la conférence ``Typed Lambda-Calculi and Applications 97''.
C. Paulin est membre du comité de programme de TPHOL'96 et TPHOL'97. Elle a été rédacteur invité d'un numéro spécial TSI. Elle a organisé le Comité Scientifique du PRC/GDR Programmation à Lyon. Elle est membre du groupe de réflexion prospective ``Maîtrise des systèmes complexes réactifs et sûrs'' commun au CNRS à la DRET et au MENESR.
Ph. Audebaud et C. Paulin ont organisé en collaboration avec René David de l'université de Chambéry une journée ``Logique Classique pour le Programmeur'' dans le cadre du PRC/GDR AMI.
E. Giménez et C. Paulin organisent la rencontre internationale annuelle TYPES'96.