L'inria, au grand dam de nombre de ses salariés, a pactisé avec l'ennemi pour créer un laboratoire commun de recherche.
Pour le moment, les Forces du Mal ne semblent pas avoir imposé leur maléfiques brevets logiciels, et permettent même de libérer les sources et informations sur leur projet par une licence agréée par le Camp du Bien.
On y trouve divers axes de recherches très intéressants :
Secure Distributed Computations and their Proofs et Tools and Methodologies for Formal Specifications (…)
Journal Le labo commun Inria-Microsoft
2
fév.
2009
