Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Jim Lipton, professor at Wesleyan University (USA) has visited Deducteam from 9 to 14 March 2015.


Gaetan Gilbert did an internship with Arnaud Spiwack and Olivier Hermant.

Shuai Wang did an internship with Gilles Dowek.

Éric Uzena did an internship with Arnaud Spiwack and David Delahaye.

Visits to International Teams

Sabbatical programme

Olivier Hermant is a visiting professor at Wesleyan University (USA) since September 2015.