Projet : PROTHEO

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


Sous-sections


   
Relations bilatérales internationales

Europe

Nous entretenons des relations avec l'université d'Amsterdam et le CWI dans le domaine de la réécriture et des spécifications formelles algébriques; avec les universités de Kaiserslautern et de Saarbrücken, le DFKI et le MPI, dans le domaine de la démonstration automatique.

Méditerranée, Maghreb et Proche-Orient

Nous sommes en relation avec l'université de Tunis au travers d'enseignements et d'accueil d'étudiants.

Japon

Nous participons au projet japonais CafeOBJ, Research and Development of Integrated Environment on Networks for Algebraic Specification Language, dont le responsable est K. Futatsugi (JAIST). Adel Bouhoula et Hélène Kirchner ont été invités à participer au Cafe symposium qui s'est déroulé à Numazu, avril 1998.

Amérique du Nord

Une coopération CNRS est engagée avec l'Université de l'Illinois à Urbana-Champaign, sur les thèmes résolution de contraintes, spécifications orientées objets. Elle implique du côté américain Uday Reddy.