FILOFOCS
SINFIN
TROJKAT
  • Partenaires : LaBRI (Bordeaux), Université de Varsovie
  • Responsable : Thomas Colcombet
ECOS
  • ECOS (lien) : Quality of automatic randomness
  • Partenraires : Université Paris Nord, Argentine
  • Responsable : Olivier Carton
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
ALFRED
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
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
ACCA
  • Constraint Analysis through Analytic Combinatorics
  • Partenaire : Technische Universität Wien
  • Responsable : Vlady Ravelomanana
QIP
VIP
JFLI
MAJULAB
  • Partenaires : National University of Singapore, Nanyang Technological University
  • Coordinateur pour l’axe Quantum Computer Science : Miklos Santha
STRUCO
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
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