News

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!