Actions nationales

Séminaire Coq-Cristal-Para

Notre groupe a un séminaire commun avec les projets COQ et CRISTAL de Rocquencourt.

Séminaire d'informatique de l'X

J.-J. Lévy participe à l'organisation du séminaire mensuel d'informatique de l'École Polytechnique qui a reçu en 1995 MM. Huet, Toueg, Perrin, Valduriez, Val Tannen, Lamport, et MacQueen.

Comité TSI

T. Hardin est depuis janvier 1994 membre du comité de rédaction de TSI.

Comité de réforme de l'informatique en classes préparatoires

J.-J. Lévy a participé au groupe de refonte du programme d'informatique en classes préparatoires, qui est mis en application en mathématiques supérieures à partir de septembre 1995. On a créé une nouvelle option ``mathématiques et informatique'' qui enseignera sur 2 ans en section MP les algorithmes de base, les principales méthodes de programmation, les automates finis, le calcul propositionnel et la programmation en Pascal ou Caml-light.

Administration INRIA

J.-J. Lévy est président du comité des projets de Rocquencourt, membre de la commission d'évaluation, membre du jury de recrutement de l'UR de Rocquencourt, 18 mai et 6 juin, et de l'INRIA-Lorraine, 1-2 juin (pour la troisième année consécutive).