Précédent : Diffusion de résultats Remonter : Diffusion de résultats Suivant : Enseignement universitaire
Précédent : Diffusion de résultats Remonter :
Diffusion de résultats Suivant :
Enseignement universitaire
Isabelle Attali fait partie du comité de direction du PRC/GDR ALP (Algorithmique, Logique et Programmation).
Isabelle Attali fait partie des comités de programme de GTLD'99 (Third International Workshop on Generating Tools from Language Definitions, voir http://www.cwi.nl/ jan/ASF+SDF99cfp.html) et WAGA'99 (2nd International Workshop on Attribute Grammars and their Applications, voir http://www-rocq.inria.fr/oscar/waga99.html).
Yves Bertot et Laurent Théry ont fait partie du comité de programme du colloque international UITP (User-Interfaces for Theorem Provers) qui s'est tenu à Eindhoven (Pays-Bas) du 13 au 16 juillet 1998.
Laurent Théry a fait partie du comité de programme de la conférence TPHOLs'98 (Theorem Proving in Higher Order Logics).
Laurent Théry et Yves Bertot font partie du comité de programme et du comité d'organisation de la conférence TPHOLs'99.
Joëlle Despeyroux est responsable scientifique de l'école d'été Types qui aura lieu en septembre 1999.
Des membres du projet ont effectué des revues d'articles pour les conférences Types'97 (1), TPHOL'98 (2), LICS'98(1).