Projet : PROTHEO

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


   
Animation de la Communauté scientifique

On trouvera ci-dessous la liste des responsabilités assumées par les membres du projet.

$ \bullet$
Alexander Bockmayr : membre du comité de programme de CP'98 et de LODEC'98.
$ \bullet$
Adel Bouhoula : membre du Département de Formation Doctorale Informatique.
$ \bullet$
Eric Domenjoud : membre du du Comité d'Hygiène et de Sécurité du Loria et du groupe de réflexion sur l'articulation des moyens informatiques de la faculté des sciences de l'UHP-Nancy 1.
$ \bullet$
Nicolas Hermann : membre de la commission de spécialistes (27ème section) de l'Université Henri Poincaré - Nanc; membre du comité de programme de SOFSEM'98; représentant du LORIA aux Doctoriales'98.
$ \bullet$
Claude Kirchner : membre de la Commission d'Évaluation de l'INRIA, Président du Comité des Projets de l'INRIA-Lorraine et du LORIA; membre du Comité de Direction du LORIA, membre de la commission de spécialistes (27ème section) de l'INPL, de l'Université de Metz et de Paris 6; membre du comité scientifique du LIP6, membre du comité scientifique du «Laboratório de Inteligência Artificial e Ciência de Computodores», laboratoire d'informatique de l'université de Porto (Portugal);

Membre des comités éditoriaux des journaux: Journal of Automated Reasoning, Journal of Symbolic Computation, Journal of Logic Programming et Journal of the Egyptian Mathematical Society;

Membre des comités de programmes des conférences CADE'98: «Conference on Automated Deduction» (Co-Président du comité de programme), WRLA'98: «International Workshop on Rewriting Logic and Applications» (Co-Président du comité de programme et d'organisation), ASIAN'98: «Asian Computing Science Conference»;

Vice président du groupe de travail IFIP WG 1.6 sur la réécriture. Membre du conseil d'administration de CADE-inc (Board of trustees) 98.

$ \bullet$
Hélène Kirchner : responsable de l'axe LPCA (Logiques, Preuves, Contraintes et Algorithmes), membre du Comité de Direction du LORIA, membre du Comité des Projets de l'INRIA-Lorraine; membre nommé du Conseil de laboratoire du LORIA; membre de la commission de spécialistes (27ème section) de Nancy; expertises au MENESR;

membre du Comité éditorial de la revue Annals of Mathematics and Artificial Intelligence,

membre des comités de programme des conférences Maths & AI'98, CADE-15 (co-chair), WRLA'98 (co-chair);

membre des groupes IFIP WG 1.3 (Foundations of Systems Specifications) et IFIP WG 1.6 (Term Rewriting); responsable du Tools Task Group of CoFI (Common Framework Initiative for Algebraic Specifications).

$ \bullet$
Christophe Ringeissen : membre du comité de programme de FROCOS'98 et co-animateur avec Philippe Devienne du groupe du GDR ALP «Collaboration de Solveurs».
$ \bullet$
Michaël Rusinowitch : président de la section d'audition du jury CR INRIA-Lorraine en 1998; responsable-adjoint du DEA Informatique de Nancy; membre du Département de Formation Doctorale Informatique;

co-chairman de 10th International Conference on Rewriting Techniques and Applications; membre du comité de programme de Mathematical Foundations of Computer Science en 1999 et du Workshop on First-Order Theorem-Proving 1998; membre du comité d'organisation des journées Systèmes Infinis du GDR/ALP (Cachan, novembre 1998) et des journées Modélisation et Vérification du CIRM (Marseille, décembre 1998);

membre du groupe IFIP WG 1.6 (Term Rewriting).

$ \bullet$
Laurent Vigneron: membre élu du conseil de laboratoire du LORIA (à partir d'avril 1998); représentant du projet PROTHEO à la COMIN.



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