Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Isabela Dramnesc, from the University of Timişoara in Romania, visited our team in June and July to study proving techniques in the Coq context.

Tsvetan Dunchev, from the University of Bologna, visited our team in July to work on ELPI, the λ-prolog interpreter.

Visits to International Teams

Yves Bertot organised a meeting with representants of University of Pennsylvania, Princeton University, Yale University, Harvard University, and the Massachusetts Institute of Technology in Boston in April. Janet Bertot, Philippe Nain, and Matthieu Sozeau from Inria also attended this meeting. The agenda of the meeting was preliminary discussions for the creation of a consortium around the Coq software system.

Enrico Tassi visited the team of Jesper Bengtson at the IT University in Copenhagen for a week at the end of September.

Cyril Cohen visited Chalmers university in Febrary and October to work on cubical type theory.

Cyril Cohen was invited by AIST in Japan for a one-week stay in Tsukuba in November to work on formalization problems for robotics.