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.
Adaptative Combinatorial Search for E-science
Secure Distributed Computations and their Proofs
Scientific Image and Video Mining
On July 17th Leslie Lamport will give his Turing Award lecture at the ACM PODC 2014 Conference, ...