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.

Watch the event live!
April 23, 2013 | 9:30AM-1:00PM (ET)

Team members have completed
an axiom-free formalization of
the proof of the Odd Order theorem,
using theCoq proof assistant