Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
A. Díaz-Caro (Universidad Nacional de Quilmes, Argentina) visited Deducteam 3 weeks.
Visits to International Teams
Research Stays Abroad
F. Thiré has visited the Computation and Logic Group at McGill University for three months.
G. Dowek has visited the university of Quilmes in Buenos Aires for two weeks.
G. Dowek has visited the Pontifical University at Rio for three weeks.