Précédent : Participation aux manifestations Remonter
: Diffusion des
résultats Suivant : Références
- G. Gonthier a également participé au Workshop sur le Code
Mobile organisé par le Consortium WEB à Boston en juillet.
- C. Fournet a séjourné à Cambridge du 1er août au 5 octobre.
Il a travaillé au Computer Laboratory, dans l'équipe de R.
Milner, avec B. Pierce, sur les objects concurrents (langages,
typage, héritage) et l'implémentation de canaux de
communication distribués pour Pict, et avec P. Sewel sur les
équivalences de programmes Pict, les action calculus
et join-calculus. C. Fournet a aussi été
affiliated member au Newton Institute, dans le cadre
du programme ``Semantics of Computation'', et a assisté aux
workshops : Advances in Type Systems for Computing
(ATSC), 14-18 Août, Summer School on Semantics and Logics
of Computation (SLC), 25-29 septembre, et HLCL (cf section
6.3). Il y a effectué plusieurs
présentations de l'article The reflexive CHAM and the
join-calculus.
- J.-J. Lévy a assisté à la conférence POPL 95, 23-28 janvier
à San Francisco. Il a rendu visite et travaillé avec M. Abadi
et B. Lampson à DEC/SRC, Palo Alto.
- L. Maranget a rendu visite à l'INRIA Lorraine (projet
EURECA) le 15 décembre pour y exposer ses résultats sur le
-calcul faible.