Accords de coopération internationale Laboratoires de recherche internationaux FILOFOCS French-Israeli Laboratory on Foundations of Computer Science Partenaires: Tel-Aviv University, the Hebrew University of Jerusalem, the Weizmann Institute of Science Co-Directeur: Adi Rosén JFLI Japanese-French Laboratory for Informatics Partenaires : University of Tokyo, National Institute of Informatics, Keio University Coordinateur pour l’axe Quantum Computing : Iordanis Kerenidis MAJULAB International Joint Research Unit Partenaires : National University of Singapore, Nanyang Technological University Coordinateur pour l’axe Quantum Computer Science : Miklos Santha Projets de recherche internationaux SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Partenaire : Universidad de Buenos Aires Responsable : Delia Kesner STRUCO Structures in Combinatorics Partenaire : Charles University (Prague) Responsable : Pierre Charbit Réseaux de recherche internationaux ALEA NETWORK Alea Network Partenaires français : Université Paris Diderot, Sorbonne Universite, Université Paris 13, Universite Versailles St-Quentin en Yvelines, Université de Bordeaux Partenaires européens : Technische Universität Wien, The University Of Oxford, Ludwig-Maximilians-Universität, Lmu München Responsable : Vlady Ravelomanana LL Linear Logic Partenaires français : Université Paris Diderot, Aix-Marseille Université, Ecole Centrale de Marseille, Ecole Normale Supérieure de Lyon Partenaires italiens : Università degli Studi Roma Tre, Università di Bologna, Università degli Studi di Torino Responsable : Thomas Ehrhard Actions émergentes à l’international VIP Verification, Interaction, and Proofs Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing) Responsable : Pierre-Louis Curien Contrats européens QUANTALGO Quantum Algorithms and Applications QUANTERA program Partenaires européens : Université libre de Bruxelles, University of Bristol, Centrum Wiskunde & Informatica (Amsterdam), University of Latvia, Université Paris Diderot, University of Copenhagen, Atos (Bull SAS) Responsable : Miklos Santha Anciennes coopérations Actions émergentes à l’international ACCA Constraint Analysis through Analytic Combinatorics Partenaire : Technische Universität Wien Responsable : Vlady Ravelomanana QIP Quantum Information Processing Partenaire : University of Waterloo (Ontario) Responsable : Frédéric Magniez Projets de Partenariats Hubert Curien Pavle Savić (2016-17) Computational Logics and Higher Algebra Partenaire : Univ of Novi Sad, Serbia Responsable : Hugo Herbelin Parrot (2017-18) Mathematical structures for dualities in programming languages Partenaire : Univ. of Tallinn, Estonia Responsable : Hugo Herbelin