Précédent : Actions internationales Remonter : Actions internationales Suivant : Amérique
Précédent : Actions internationales Remonter :
Actions
internationales Suivant : Amérique
Laurent Théry s'est rendu à l'université de Rome La Sapienza dans le cadre de la préparation d'une proposition de constitution d'un TMR européen.
Joëlle Despeyroux est responsable local (site leader ) du groupe de travail « Types », qui fait suite au projet européen BRA « Types pour les preuves et les programmmes ». Ce groupe de travail comprend 15 sites répartis en Europe et a commencé le 15 sept 96, pour une durée de 3 ans.
Dans le cadre de ce groupe de travail, Yves Bertot s'est rendu
à l'université d'Edimbourg (Royaume-Uni) pour partager des
résultats sur les interfaces homme-machine de systèmes de
preuves, en particulier dans le domaine de l'interaction à la
souris (proof-by-pointing et drag-and-drop
).