=====Accords de coopération internationale=====

==== Laboratoires de recherche internationaux ====

== FILOFOCS ==
  * [[https://www.filofocs.org|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


==== Projets de recherche internationaux ====

== PLANNING == 
  * [[https://www.irif.fr/~reza/pmwiki/pmwiki.php?n=Site.Math-AmSud2022-2023|PLANarity and distaNces IN Graph theory]]
  * Partenaires français : École Normale Supérieure, Université Clermont Auvergne, LIMOS, École des hautes études en sciences sociales-CNRS, Université Paris-Nord 
  * Partenaires internationaux : Universidade Federal do ABC, Universidade de São Paulo, Universidade Federal do Rio de Janeiro, Universidade Estadual de Campinas, Universidad de Valparaíso, Universidad Andrés Bello, Universidad de Chile, Universidad de Ingeniería y Tecnología, Universidad de Ingeniería y Tecnología.
  * Responsable : Reza Naserasr

== SINFIN ==
  * [[http://www.lia-sinfin.org|Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages]]
  * Partenaire : Universidad de Buenos Aires
  * Responsable : Delia Kesner

== TROJKAT ==
  * [[https://le-trojkat.labri.fr/|Trójkąt]]
  * Partenaires : LaBRI (Bordeaux), Université de Varsovie
  * Responsable : Thomas Colcombet 
==== Réseaux de recherche internationaux ====

== ALEA NETWORK ==
  * [[https://aleanetwork.net|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


==== Actions émergentes à l’international ====


== ALFRED ==
  * [[https://melbourne.office.cnrs.fr/project/iea-alfred/|Algorithms for Restricted Data Models]]
  * Partenaires : University of Melbourne (Australia)
  * Responsable : Adrian Vladu 

== ALIMALIO ==
  * ALiMaLiO : About the Limits of Map-Like Objects
  * Partenaires : University of Oxford
  * Responsable : Marie Albenque

== IEA INDE ==
  * Test d'équivalence des grammaires et des circuits : une approche unifiée
  * Partenaires : IIT Delhi
  * Responsable : Mahsa Shirmohammadi

==== Contrats européens ====

== QUANTALGO ==
  * [[http://quantalgo.ulb.be|Quantum Algorithms and Applications]]
  * [[https://www.quantera.eu|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 ==
  * [[https://www.irif.fr/~magniez/quantum-irif-iqc/|Quantum Information Processing]]
  * Partenaire : University of Waterloo (Ontario)
  * Responsable : Frédéric Magniez

== VIP ==
  * [[https://www.irif.fr/en/vip2018|Verification, Interaction, and  Proofs]]
  * Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing)
  * Responsable : Pierre-Louis Curien

==== Laboratoires de recherche internationaux ====

== JFLI ==
  * [[https://jfliwp.prod.lamp.cnrs.fr|Japanese-French Laboratory for Informatics]]
  * Partenaires : University of Tokyo, National Institute of Informatics, Keio University
  * Coordinateur pour l’axe Quantum Computing : Iordanis Kerenidis

== MAJULAB ==
  * [[http://majulab.cnrs.fr|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 ====

== STRUCO ==
  * [[https://www.irif.fr/~charbit/STRUCO/index.html|Structures in Combinatorics]]
  * Partenaire : Charles University (Prague)
  * Responsable : Pierre Charbit


==== Réseaux de recherche internationaux ====


== LL ==
  * [[http://linear-logic.org/|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

==== 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