international:index

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

Accords de coopération internationale

Laboratoires de recherche internationaux

FILOFOCS

Projets de recherche internationaux

PLANNING

SINFIN

TROJKAT

ECOS SUD MINCYT

Réseaux de recherche internationaux

ALEA NETWORK

Actions émergentes à l’international

ALFRED

ALIMALIO

IEA INDE

Contrats européens

QUANTALGO

Anciennes coopérations

Actions émergentes à l’international

ACCA

QIP

VIP

Laboratoires de recherche internationaux

JFLI

MAJULAB

Projets de recherche internationaux

STRUCO

Réseaux de recherche internationaux

LL

Projets de Partenariats Hubert Curien

Pavle Savić (2016-17)

Parrot (2017-18)