Projet : PROTHEO

previous up next contents
Précédent : Relations bilatérales internationales Remonter : Actions régionales, nationales et internationales Suivant : Diffusion de résultats


   
Accueils de chercheurs étrangers

-
Christopher Lynch, Université de Clarkson (Potsdam, USA), a travaillé dans l'équipe sur l'utilisation de la simplification dans la déduction avec contraintes.
-
David Plaisted, Université de Caroline du Nord, a travaillé sur les outils de démonstration automatique.
-
Gernot Salzer, Université Technique de Vienne (Autriche), a collaboré avec N. Hermann sur les contraintes ensemblistes et les schématisations récurrentes.
-
Mark Van den Brand, CWI et Université d'Amsterdam, a travaillé sur les outils d'analyse syntaxique de programmes ELAN.