previous up next top index
Précédent : Séjours de chercheurs Remonter : Actions nationales et internationales Suivant : Diffusion des résultats


Responsabilités éditoriales et professionnelles

Eric Domenjoud est membre du conseil de laboratoire du CRIN.

Isabelle Gnaedig est chargée de Mission à la Communication pour l'INRIA Lorraine.

Claude Kirchner est vice-président de la Commission d'Evaluation de l'INRIA et membre du Comité des Projets de l'INRIA Lorraine.

Claude Kirchner est membre de la commission de spécialistes (27ème section) des universités de Nancy.

Claude Kirchner est président du comité d'organisation des conférences RTA (Rewriting Techniques and Applications) et membre du comité d'organisation des conférences LICS.

Claude Kirchner a été membre des comités de programme des conférences LICS'96 (27-30 juillet, New Brunswick, New Jersey), DISCO'96 (18-20 septembre, Karlsruhe, Allemagne), First International Workshop on Rewriting Logic and its Applications (3-6 septembre, Pacific Grove, Californie).

Claude Kirchner est membre des comités éditoriaux des revues Journal of Symbolic Computation, Journal of Logic Programming et Journal of the Egyptian Mathematical Society.

Claude Kirchner est membre du conseil d'administration de l'``European Association for Programming Languages and Systems''.

Hélène Kirchner est responsable du Comité des Bourses ainsi que membre du Comité des Projets de l'INRIA Lorraine et du conseil de laboratoire du CRIN en tant que responsable de l'axe LPCA.

Hélène Kirchner participe aux Commissions Recherche et Prospectives de SPECIF et à son Conseil d'Administration.

Hélène Kirchner est membre du groupe d'experts GE4 Informatique du MENESR.

Hélène Kirchner a été membre des comités de programmes de AMAST'96, FROCOS'96, JICSLP'96, CAAP'96 (présidente).

Hélène Kirchner est membre du groupe IFIP WG 14.3 (Foundations of Systems Specifications), et du comité éditorial du journal Annals of Mathematics and Artificial Intelligence.

Hélène Kirchner est responsable du groupe ``Déduction et Calcul Formel'' du GDR/PRC AMI depuis janvier 96.

Denis Lugiez est membre élu du conseil national des universités en 27ème section.

Denis Lugiez est responsable du groupe ``Méthodes Effectives de décidabilité'' du GDR/PRC AMI depuis janvier 96.

Michaël Rusinowitch est vice-président du Comité des Projets de l'INRIA Lorraine. Il est également membre du conseil de laboratoire du CRIN et responsable adjoint du DEA informatique de Nancy.

Michaël Rusinowitch a été membre des comités de programme suivants: International Conference on Automated Deduction (CADE-13), KI German Conference on Artificial Intelligence, IEEE International Conference on Tools with Artificial Intelligence, Deuxième Conférence Nationale sur la Résolution Pratique des Problèmes NP-complets.



previous up next top index Précédent : Séjours de chercheurs Suivant : Diffusion des résultats Remonter : Actions nationales et internationales