Projet : PARA

previous up next contents
Précédent : Enseignement universitaire Remonter : Diffusion de résultats Suivant : Références


   
Participation à des colloques, séminaires, invitations

PLDI'98, Montréal: Présentation de Fabrice Le Fessant.

Broadcast'98, Evora: Présentation de Fabrice Le Fessant.

DASIA'98, Athènes: A. Deutsch et G. Gonthier ont présenté, en commun avec leurs correspondants de l'Aérospatiale, leurs résultats sur l'analyse du code d'Ariane 502.

LICS'98, Indianapolis, et Workshop on formal methods for security : présentation de C. Fournet et G. Gonthier, avec M. Abadi sur leurs résultats sur l'analyse d'abstractions cryptographique.

ICALP'98, et SOAP (semantics of objects as processes), Aalborg : présentation de C. Fournet et G. Gonthier de leur résultat sur la classification des équivalences de processus. [[6]]

POPL'98: présentation de B. Blanchet, participation d'A. Deutsch.

UC Berkeley: séminaire invité de A. Deutsch et B. Blanchet, invitation d'Alex Aiken.

PROCOMET'98: présentation de C. Fournet. [[3]]

CONCUR'98, Confer-2, HLCL'98, Nice: participation Conchon, le Fessant, Maranget, Fournet, Lévy. Présentation de L. Maranget.

WESTAPP (Workshop on Explicit Substitution and their Applications), Tsukuba: conférence invitée de T. Hardin. Participation également à RTA'98 (Tsukuba).

CADE'98, Lindau, et Workshop CALCULEMUS: participation de T. Hardin.

Confer-2, Brighton: participation de C. Fournet, J.-J. Lévy, L. Maranget et D. Rémy, F. le Fessant.

Confer-2, Nice: S. Conchon, C. Fournet, L. Maranget, et J.-J. Lévy y ont assisté. Présentations de C. Fournet.



previous up next contents
Précédent : Enseignement universitaire Remonter : Diffusion de résultats Suivant : Références