Projet : PARA

previous up next contents
Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Collaboration avec Compaq, Systems Research


   
Actions européennes

Nous sommes le site coordinateur du groupe de travail CONFER-2, (working group 21836), avec Cambridge (Milner), CWI (Klop), Edimbourg (Abamsky), ENS (Curien), KTH (Parrow), Inria Sophia (Boudol), Pise (Montanari), Bologne (Asperti), Sussex (Hennessy), Warwick (Walker) et le Cnet Lannion (Monin). Ce groupe constitue au niveau européen le principal groupe de réflexion sur les relations entre la fonctionnalité et la sémantique des processus mobiles.

Nous avons eu deux réunions à Brighton (3 jours en avril) et à Nice (2 jours en septembre).

Les rapports d'avancement se trouvent en http://para.inria.fr/confer.