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 .
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).