Microsoft Research Inria Joint Centre (original) (raw)

• 
  
  Microsoft Research Inria Joint Centre
  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.
  
• 
  
  ACM Turing Award to Leslie Lamport
  On March 18th ACM has annouced the nomination of Leslie Lamport as the recipient of the 2013 ACM Turing Award.
  
• 
  
  Mathematical
  Components
  Team members have completed
  an axiom-free formalization of
  the proof of the Odd Order theorem,
  using theCoq proof assistant