Le projet Lande est impliqué dans le GDR programmation (pôles ``Langages fonctionnels'' et ``Programmation logique'') et Y. Bekkers fait partie de son équipe de direction. Nous sommes également engagés dans une action soutenue par la Dred et qui regroupe des projets de l'Inria Rocquencourt (Cristal), de l'ENS, de l'École des Mines et du Laas sur le thème des ``Méthodes formelles et langages de haut niveau''.
O. Ridoux est membre du comité de direction de l'Association Française de Programmation Logique et par Contraintes. M. Ducassé est membre du BUG ( B User Group).