Projet : COQ

previous up next contents
Précédent : Diffusion de résultats Remonter : Diffusion de résultats Suivant : Enseignement


Sous-sections


   
Animation de la Communauté scientifique

Participation à des comités éditoriaux de revues

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''.

Participation à des comités éditoriaux de conférences

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.

Jurys

G. Dowek a été rapporteur de la thèse de S. Coudert (Université d'Evry) et a fait partie des jurys de thèse de G. Chen (Ecole Normale Supérieure) et de G. Desfourneaux (Université de Grenoble).

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.

Distinctions

G. Huet est membre de ``Academia Europaea'' et membre correspondant de l'Académie des Sciences. Il est membre du ``Honorary Board" du RIDS (Research Institute for Declarative Systems) in Nijmegen.

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.

Littérature Scientifique

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.

Manifestations scientifiques

G. Dowek et C. Paulin co-organisent avec Y. Bertot et L. Théry du projet CROAP à l'INRIA Sophia-Antipolis et A. Hirschowitz de l'université de Nice, la conférence internationale TPHOLs' 99 qui se tiendra à Nice en septembre 1999.

Responsabilités professionnelles

Depuis Janvier 1997, Gérard Huet est Délégué aux Relations Internationales à l'INRIA.

Ch. Paulin est membre de l'équipe de direction du GDR ALP.



previous up next contents
Précédent : Diffusion de résultats Remonter : Diffusion de résultats Suivant : Enseignement