Seminars taking place at the Isaac Newton Institute as advertised through www.talks.cam.ac.uk, are listed below.
Separate pages listing these seminars are available from the institute website.
Friday 21 July 2017
James Davenport (University of Bath)
Computer Algebra and Formal Proof
Series: Isaac Newton Institute Seminar Series,
Time: 11:00-12:00,
Venue: Seminar Room 2, Newton Institute
[details]
Chris Sangwin (University of Edinburgh; University of Edinburgh)
Reasoning by equivalence: the start of proof in elementary education
Series: Isaac Newton Institute Seminar Series,
Time: 13:30-14:30,
Venue: Seminar Room 2, Newton Institute
[details]
Monday 24 July 2017
Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa)
Big Proof and Education (coordinated by Jeremy Avigad)
Series: Isaac Newton Institute Seminar Series,
Time: 10:30-12:00,
Venue: Seminar Room 2, Newton Institute
[details]
Jeremy Avigad (Carnegie Mellon University)
Big Proof & Education
Series: Isaac Newton Institute Seminar Series,
Time: 15:30-17:30,
Venue: Seminar Room 2, Newton Institute
[details]
Tuesday 25 July 2017
Yves Bertot (INRIA Sophia Antipolis)
Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics
Series: Isaac Newton Institute Seminar Series,
Time: 11:00-12:00,
Venue: Seminar Room 2, Newton Institute
[details]
Wednesday 26 July 2017
Arnold Neumaier (Universität Wien)
Concise - a synthesis of types, grammars, semantics
Series: Isaac Newton Institute Seminar Series,
Time: 11:00-12:00,
Venue: Seminar Room 2, Newton Institute
[details]
Makarius Wenzel (Other)
The Isabelle Prover IDE (PIDE) after 9 years of development, and beyond
Series: Isaac Newton Institute Seminar Series,
Time: 13:30-14:30,
Venue: Seminar Room 2, Newton Institute
[details]
Social Proof Seminar (coordinated by Fenner Tanswell)
Series: Isaac Newton Institute Seminar Series,
Time: 15:30-17:30,
Venue: Seminar Room 2, Newton Institute
[details]
Thursday 27 July 2017
Vladimir Voevodsky (Institute for Advanced Study, Princeton)
Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)
Series: Isaac Newton Institute Seminar Series,
Time: 15:30-16:30,
Venue: Seminar Room 2, Newton Institute
[details]
Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique)
Categorical structures for type theory in univalent foundations"
Series: Isaac Newton Institute Seminar Series,
Time: 16:30-17:30,
Venue: Seminar Room 2, Newton Institute
[details]
@FacultyMaths