Précédent : Europe de l'ouest Remonter : Actions internationales Suivant : Séjours de chercheurs
Précédent : Europe de l'ouest Remonter : Actions
internationales Suivant : Séjours de chercheurs
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.