Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

We had visits by Gilles Barthe (IMDEA, Madrid, Spain) for 2 weeks, Benedikt Schmidt (IMDEA), for 2 weeks, François-Xavier Standaert (Université Catholique de Louvain, Crypto Group, Belgium), for 1 week, Sebastian Faust (Ruhr-University Bochum, Germany) for 1 week, François Dupressoir (IMDEA) for 1 week, Pierre-Yves Strub (IMDEA), for 1 week, and Peter Schwabe (Radboud University, Nijmegen, the Netherlands) for 3 days.

Visits to International Teams

Benjamin Grégoire visited IMDEA (Madrid, Spain) for two one-week trips.

Yves Bertot, Maxime Dénès, and Enrico Tassi visited Princeton University in June for the kick-off meeting of the Expedition in Computing entitled “the science of deep specification” funded by the NSF foundation.

Enrico Tassi visited the team of Jesper Bengtson at the IT-University of Copenhagen, Denmark.

Anders Mörtberg visited the team of Thierry Coquand at Chalmers and University of Göteborg in Sweden.