There are 2 Results with the keyword : "Partnership"
With the launch of a joint laboratory, the Toccata research team, which specialises in formal specification and computer-assisted proofs, is increasing its collaboration with AdaCore, the specialist publisher of development software for critical systems.
Signed on 6 March 2018 in Paris, this framework agreement puts into effect the creation of the BART joint research initiative (Blockchain Advanced Research & Technologies): a first in France in the field of the Blockchain. Around 30 researchers from four institutions are pooling their expertise and research efforts in order to remove the scientific obstacles linked to this disruptive technology, under a common roadmap defined for a duration of six years.
Inria Research Centers
- Saclay (2)