Précédent : Diffusion de résultats Remonter :
Diffusion de
résultats Suivant : Enseignement
G. Huet 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" and ``Annals of Pure and Applied Logic''.
G. Dowek participe aux comités éditoriaux de l'édition 1998 des conférences Conference on automated deduction et Theorem proving in higher-order logics et de l'édition 1999 des conférences Logic in computer science, Conference on automated deduction et Theorem proving in higher-order logics. J. Goubault-Larrecq a participé au comité éditorial des conférences Tableaux'98 et 99 ainsi que des Journées francophones des langages applicatifs en 99.
C. Paulin est membre des comités éditoriaux des conférences Theorem proving in higher-order logics 98 et 99.
C. Paulin a été rapporteur de la thèse de Samir Farkh (Université de Savoie) et en collaboration avec E. Giménez de celle de Pablo Argon à l'École Centrale de Nantes. Elle a participé au jury de la thèse de Pierre Leleu (Ecole des Mines, Sophia-Antipolis). Elle a été ``opposant'' de la thèse de Gustavo Betarte à l'université Chalmers en Suède et est rapporteur de la thèse de Karsten Nyblad à l'université de Lyngby au Danemark.
G. Huet a reçu en juillet 98 le prix Herbrand décerné par la communauté des chercheurs intéressés par la démonstration automatique.
G. Dowek a participé l'an dernier à la rédaction d'un dictionnaire des concepts scientifiques (Le trésor- Dictionnaire des sciences) qui parait cette année en CD-Rom. D'autre part son livre ``La logique'' a été traduit en allemand.
Ch. Paulin est membre de l'équipe de direction du GDR ALP.