Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… 2022, the French Ministry for Higher Education, Research and Innovation presented the winners of the Open Science … from 1995 to 2006 and were part of ensuring that the system be available for large academic and industrial … was the first French software to receive the ACM Software System Award in 2013. Guillaume Melquiond (Inria) is …Published on: Wed 16/02/2022 - 08:49