The all day workshop, will be held at the Alan Turing Institute on Wednesday 19th July 2017. Philippa Gardner will give a talk on Verified Trustworthy Software Systems.
The aim of the workshop is to promote discussion around the area of big proof and formal verification, and the challenges from academic and industry perspectives. The workshop will bring together mathematicians, computer scientists and logicians with those from relevant application areas, to explore the foundational, theoretical, and practical challenges in exploiting proof technology. A key expected output is a concrete, long-term research agenda for making computational inference a basic technology for formalising, creating, curating and disseminating mathematical knowledge in digital form.