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
• ReciProg: Denis Kuperberg. ANR
• QuaReMe: Matteo Mio. ANR
• DyVerSe: Pierre Clairambault. ANR

Archive

• CoVeCe: Damien Pous. ERC Starter
• Repas: Matteo Mio (previously Filippo Bonchi). ANR
• BioQurate: Russ Harmer. FIL projet transversal
• LLIPIDO: Olivier Laurent. FIL projet transversal
• Elica: Patrick Baillot. ANR
• Big Mechanism: Russ Harmer. DARPA
• Communicating with Computers: Russ Harmer. DARPA
• PACE: Daniel Hirschkoff. ANR