University of Cambridge > > Isaac Newton Institute Seminar Series > Panel on future directions for Big Proof

Panel on future directions for Big Proof

Add to your list(s) Download to your calendar using vCal

  • UserNatarajan Shankar (); Patrick Ion (University of Michigan); William Timothy Gowers (University of Cambridge)
  • ClockFriday 14 July 2017, 14:30-15:30
  • HouseSeminar Room 1, Newton Institute.

If you have a question about this talk, please contact INI IT.

BPRW01 - Computer-aided mathematical proof

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”

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity