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.
