Participation aux manifestations

Sixième Workshop CONFER

Le sixième workshop s'est tenu à l'ENS à Paris, du 10 au 15 avril. Y ont participé C. Fournet, G. Gonthier, F. Guillaume, T. Hardin, J.-J. Lévy, L. Maranget, P.-A. Melliès. G. Gonthier a présenté son travail sur la preuve d'algorithmes concurrents au Workshop CONFER d'avril. C. Fournet a aussi présenté le travail en cours sur la programmation distribuée d'ordre supérieur.

Septième Workshop CONFER

Le septième workshop s'est tenu à l'ECRC à Munich, du 11 au 13 octobre. Y ont participé C. Fournet, G. Gonthier, F. Guillaume, J.-J. Lévy, L. Maranget, P.-A. Melliès. Trois présentations ont eu lieu : par G. Gonthier le travail sur la programmation distribuée d'ordre supérieur, par C. Fournet la correspondance entre le join-calculus et le -calcul et par P.-A. Melliès la présentation abstraite de la normalisation.

LICS'95

T. Hardin a assisté à la conférence LICS où son article [4] a été présenté, à San Diego, 26-29 juin. Elle a aussi rendu visite à l'équipe PVS au SRI, Menlo Park.

Workshop on High Level Concurrent Languages

Notre groupe a été invité à un workshop au Newton Institute à Cambridge en octobre 95. Y ont participé C. Fournet, G. Gonthier, F. Guillaume et J.-J. Lévy. Notre travail sur la programmation distribuée d'ordre supérieur y a été présenté.

Workshop on Implementation of Functional Languages

L. Maranget et B. Pagano y ont assisté à Båstad, Suède, du 13 au 15 septembre.