#

## Relations Internationales de l'INRIA

Coopérations par zones géographiques

VENEZUELA

Les relations entre l'INRIA et le Venezuela se situent à un niveau relativement bas. Depuis 1987, l'Institut a accueilli deux chercheurs vénézuéliens pendant des durées longues (4 ans et 5 ans) sur des problèmes de preuves de programmes et de représentation de connaissances.

Par ailleurs, deux étudiants préparent actuellement une thèse, l'un sur la modélisation des phénomènes aléatoires et l'autre sur la programmation en temps réel.

- Contact : Marie-Christine Imbert, INRIA, téléphone: +33 1 39 63 52 01,
    fax: +33 1 39 63 58 88, e-mail: Marie-Christine.Imbert@inria.fr

    Version anglaise

    Dernière mise à jour : 11 décembre 1996