Projet : COQ

Précédent : Actions nationales Remonter : Actions régionales, nationales et internationales Suivant : Actions internationales

   
Actions européennes

Projet LTR TYPES

Le Working Group ESPRIT ``TYPES'' a démarré officiellement en septembre 96. Il porte sur le développement assisté par ordinateur de preuves et de programmes et regroupe principalement des équipes de Cambridge, Edinburgh, Göteborg, Helsinki, Manchester, Munich, Nijmegen, Oxford, Paris 7, Turin, Udine et Utrecht. Ch. Paulin fait partie du comité de 3 personnes qui pilote ce groupe.