previous up next top index
Précédent : Europe de l'ouest Remonter : Actions internationales Suivant : Séjours de chercheurs


Amérique

La coopération NSF-INRIA avec l'Université de l'Illinois à Urbana-Champaign se poursuit sur le thème de la résolution de contraintes et ses applications. Elle implique du côté américain N. Dershowitz, C. Liu et E. Reingold.

Une coopération NSF-CNRS avec l'Université de l'Etat de New York à Stony Brook est engagée sur le thème de la déduction avec contraintes et la parallélisation des preuves. Elle implique L. Bachmair et I.V. Ramakrishnan du côté américain.