Précédent : Jurys de thèse Remonter : Diffusion des
résultats Suivant : Activités extérieures
- Conférence POPL
- G .Gonthier et C. Fournet ont presenté le
join-calcul et la machine chimique réflexive à la conférence
POPL'96 à St. Petersburg Beach, Floride, USA en
janvier[6].
- Conférence ICFP
- L. Maranget et B. Pagano ont présenté leur
articles sur backend des compilateurs fonctionnels
[8] à la conférence
ICFP'96, Philadelphie, en juin. La présentation de l'article
sur le calcul des dépendances [3] de J.-J. Lévy a été
effectuée par M. Abadi (Digital).
- Conférence CAV
- G. Gonthier a présenté la preuve de récupérateur de
mémoire concurrent réalisée en 1995 à la conférence CAV'96 à
New Brunsick, New Jersey, début août[7].
- Conférence CONCUR
- C. Fournet, J.-J. Lévy, L. Maranget ont
présenté leur article sur le calcul des agents mobiles
[5] à CONCUR'96, qui se
tenait à Pise, du 26 au 29 août.
- Conférence WWW
- C. Fournet, J.-J. Lévy ont participé à la
conférence Web, à Paris, du 6 au 10 mai.
- Colloque FMOODS
- C. Fournet a participé au colloque sur les Méthodes
formelles pour les systèmes répartis ouverts (FMOODS) à l'ENST
à Paris, du 4 au 6 mars
- Journées du CIRM
- C. Fournet a participé aux journées sur La logique et
les modèles de calcul au CIRM à Marseille, du 16 au 20
septembre.
- Workshop on Type Theory and Term
Rewriting
- T. Hardin et J.-J. Lévy ont participé à cette
réunion à Glasgow, du 9 au 14 septembre, et ont fait deux
présentations sur les Métavariables et la substitution
explicite et sur le calcul des dépendances pour les
Makefiles de Vesta [3].