Monthly Archives: March, 2014

26 March 2014 - Tools for Proofs
ACM Turing Award goes to Leslie Lamport
On March 18th ACM has announced the nomination of Leslie Lamport as the recipient of the  2013 ACM Turing Award. Our congratulations to Leslie! The annoucement On the ACM web page.  The news on the Microsoft RESEARCH website.