Meshing Lab : le laboratoire commun entre la PME Distene & l’équipe Gamma3
L’Inria Innovation Lab OSCAR entre la PME Safety Line & l’équipe Commands
L’Inria Innovation Lab Lollipox entre la PME Lixoft & l’équipe Xpop
LabCom ProofInUse : AdaCore & l’équipe-projet Toccata
DataShape et Fujitsu : le programme de recherche commun entre l’équipe DataShape s’engage avec Fujitsu.
Gamma3 et Lemma : l’équipe Gamma3 récompensé pour sa collaboration avec la société Lemma