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

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

Recently ended