Projects

Affiliations GDR

  • GDR IM: informatique mathématique
    • ALGA: automata, logic, games & algebra
    • Bioss: biologie systémique symbolique
    • GeoCal: géométrie du calcul
    • LAC: logique, algèbre & calcul
    • Vérif: vérification
  • GDR GPL: génie de la programmation et du logiciel
    • LTP: langages, types & preuves
  • GDRI LL: linear logic

Current projects

  • QuaReMe: Matteo Mio. ANR
  • DyVerSe: Pierre Clairambault. ANR
  • Repas: Matteo Mio (previously Filippo Bonchi). ANR
  • CoVeCe: Damien Pous. ERC Starter

Recently ended