BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Panel on future directions for Big Proof - Natarajan Shankar ()\; 
 Patrick Ion (University of Michigan)\; William Timothy Gowers (University 
 of Cambridge)
DTSTART:20170714T133000Z
DTEND:20170714T143000Z
UID:TALK73280@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:<span>The ambitious goal of the Newton Institute Big Proof&nbs
 p\; programme is to bring&nbsp\; 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\, lo
 ng-term research agenda for making computational inference a basic technol
 ogy for formalising\, creating\, curating\, and disseminating mathematical
  knowledge in digital form.&nbsp\;<br></span><br>  Chair: Natarajan Shanka
 r\, Lead organiser of the Newton Institute Big Proof&nbsp\; programme\, a 
 staff scientist in the Computer Science Laboratory at SRI International an
 d creator of the PVS verification system.&nbsp\;   &nbsp\;  <br><span><br>
 Panellists to include&nbsp\; Professor Sir Tim Gowers FRS\, Fields medalli
 st and widely read thinker on mathematical issues\, and Dr Patrick Ion\, f
 ormerly editor&nbsp\; of Mathematical Reviews\, and founding member of the
  IMU&rsquo\;s " International Mathematical Knowledge Trust&rdquo\;</span>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR