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.

Other International Collaborations

In 2015, we had scientific relations with several universities abroad, including:

• CWI, The Netherlands (Jurgen Vinju and Paul Klint),

• University of Málaga, Spain (F. Duran and C. Canal),

• University of Colorado, USA (Fabio Somenzi), and

• University of Utah, USA (Chris Myers and Zhen Zhang).