Projects

Affiliations GDR

  • GDR IM: informatique mathématique
    • DAAL: data, automata, algebra & logic
    • LHC: logique, homotopie, catégories
    • SCALP: structures formelles pour le calcul et les preuves
    • Vérif: vérification
  • GDRI LL: linear logic

Current projects

  • CoREACT: Russ Harmer. ANR
  • QuaReMe: Matteo Mio. ANR
  • DyVerSe: Pierre Clairambault. ANR

Recently ended

  • CoVeCe: Damien Pous. ERC Starter
  • Repas: Matteo Mio (previously Filippo Bonchi). ANR
  • BioQurate: Russ Harmer. FIL projet transversal
  • LLIPIDO: Olivier Laurent. FIL projet transversal

Archive