Laboratoires de recherche internationaux

JFLI
MAJULAB
  • Partenaires : National University of Singapore, Nanyang Technological University
  • Coordinateur pour l’axe Quantum Computer Science : Miklos Santha

Projets de recherche internationaux

FILOFOCS
SINFIN
STRUCO

Réseaux de recherche internationaux

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

ACCA
  • Constraint Analysis through Analytic Combinatorics
  • Partenaire : Technische Universität Wien
  • Responsable : Vlady Ravelomanana
QIP
VIP

Contrats européens

QUANTALGO
  • 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

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