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 Projets de recherche internationaux PLANNING 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 Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Partenaire : Universidad de Buenos Aires Responsable : Delia Kesner TROJKAT Trójkąt Partenaires : LaBRI (Bordeaux), Université de Varsovie Responsable : Thomas Colcombet ECOS SUD MINCYT Quality of automatic randomness Partenaire : Universidad de Buenos Aires Responsable : Olivier Carton 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 Actions émergentes à l’international 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 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 VIP Verification, Interaction, and Proofs Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing) Responsable : Pierre-Louis Curien Laboratoires de recherche internationaux 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 STRUCO Structures in Combinatorics Partenaire : Charles University (Prague) Responsable : Pierre Charbit Réseaux de recherche internationaux 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 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