Projet : PROTHEO

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.