Team, Visitors, External Collaborators
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

Alejandro Díaz-Caro (Buenos Aires) has visited Deducteam for two weeks.

Ying Jiang (Beijing) has visited Deducteam for three weeks.

Aristomenis-Dionysios Papadopoulos (Imperial College, London) has visited Deducteam. He worked with Frédéric Blanqui on the development of a rewrite tactic in Dedukti [27].

Visits to International Teams

Gilles Dowek has spent two weeks at the University of Buenos Aires.

Gilles Dowek has spent two weeks at the Institute of Aerospace (USA).