Nous formons un groupe du GDR/PRC Programmation. C. Paulin est responsable du pôle ``Preuves et Spécifications Algébriques'' de ce GDR. Cette année, nous participons à l'Action de Soutien de Programmes du ministère de la recherche et de l'enseignement supérieur intitulée ``Développement d'outils de démonstration pour la vérification de programmes de type industriel''.
G. Huet est membre de ``Academia Europaea'' et membre correspondant de l'Académie des Sciences. Il est membre élu de la Commission d'Evaluation de l'INRIA. 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é Scientifique de l'IRISA, ainsi que de celui du LIFL-URA 369 (Lille) et de celui du LIP (Lyon). Il est membre du Conseil Scientifique du PRC ``Maths-Info" et du ``Honorary Board" du RIDS (Research Institute for Declarative Systems) in Nijmegen.
G. Huet et Ch. Paulin sont membres du comité de programme de la conférence ``Mathematics of Program Construction 95''. G. Huet est membre du comité de programme de la conférence ``15th conference on Software Technology and Theoretical Computer Science'' qui se tiendra à Bangalore en décembre.
G. Dowek est membre du comité de programme du symposium ``Higher Order Algebra 95'' et de la conférence ``Typed Lambda-Calculi and Applications 97''.