Section: Partnerships and Cooperations

International Initiatives

H. Garavel is a member of IFIP (International Federation for Information Processing) Technical Committee 1 (Foundations of Computer Science) Working Group 1.8 on Concurrency Theory chaired successively by Luca Aceto and Jos Baeten.

Inria International Partners

Informal International Partners

Saarland University (Germany): we collaborate on a regular basis with the DEPEND (Dependable Systems and Software) research group headed by Holger Hermanns, who received an ERC Advanced Grant (“POWVER”) in 2016.

Other International Collaborations

In 2017, we had scientific relations with several universities and institutes abroad, including:

• University of Málaga, Spain (Francisco Duran),

• University of Boumerdes, Algeria (Sarah Chabane),

• Saarland University, Germany (Alexander Graf-Brill),

• ISTI/CNR, Pisa, Italy (Franco Mazzanti),

• FBK, Torino, Italy (Gianni Zampedri),

• RWTH Aachen, Germany (Christian Dehnert),

• University of Twente, The Netherlands (Enno Ruijters),

• University of York, UK (Jan Staunton),

• University Rio Grande do Norte, Brazil (Wellison Raul Mariz Santos),

• University of Cali, Colombia (Camilo Rocha),

• Utah State University, USA (Nazmus Sakib and Zhen Zhang).