The Centre's objective is to pursue
fundamental, long-term research in formal methods, software security, and the application of Computer Science research to the Sciences.
On March 18th ACM has annouced
the nomination of Leslie Lamport as the recipient of the 2013 ACM Turing Award.
Tools for Proofs
Dynamic Dictionary of Mathematical Functions
4D Cardiac MR Images
Microsoft Research and the Microsoft Research-Inria Joint Centre are pleased to announce a ...