FILOFOCS
PLANNING
  • 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
TROJKAT
  • Partenaires : LaBRI (Bordeaux), Université de Varsovie
  • Responsable : Thomas Colcombet
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
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