The ambitious goal of the Newton Institute Big Proof programme is to bring together mathematicians, logicians, and
computer scientists engaged in developing and applying proof technology. This
panel will draw together the thinking of the workshop participants as a contribution
to a key expected output of the programme: a concrete, long-term research
agenda for making computational inference a basic technology for formalising,
creating, curating, and disseminating mathematical knowledge in digital form.

Chair: Natarajan Shankar, Lead organiser of the Newton
Institute Big Proof programme, a staff
scientist in the Computer Science Laboratory at SRI International and creator
of the PVS verification system.
Panellists to include
Professor Sir Tim Gowers FRS, Fields medallist and widely read thinker
on mathematical issues, and Dr Patrick Ion, formerly editor of Mathematical Reviews, and founding member
of the IMU’s " International Mathematical Knowledge Trust”

The video for this talk should appear here if JavaScript is enabled.If it doesn't, something may have gone wrong with our embedded player.We'll get it fixed as soon as possible.