Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Collaboration avec Compaq, Systems Research
Précédent : Actions régionales, nationales et
internationales Remonter : Actions régionales, nationales
et internationales Suivant : Collaboration avec Compaq, Systems
Research
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.