Projet : PROTHEO

previous up next contents
Précédent : Actions nationales Remonter : Actions régionales, nationales et internationales Suivant : Réseaux et groupes de travail


   
Actions financées par la Commission Européenne

Nous participons au groupe de travail Basic Research Action d'ESPRIT qui, sous l'acronyme CCL II et le titre Construction of Computational Logics, fait intervenir les universités et les centres de recherche en informatique de Barcelone, Madrid, Munich, Orsay, Saarbrücken, ainsi que la société COSYTEC (Mehmet Dincbas).

Nous participons au Working Group ESPRIT CoFI, Common Framework Initiative for Algebraic Specification and Development, et plus particulièrement à la coordination du Tools Task Group.