skip to content

Faculty of Mathematics

 

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 BPR - Big proof

Chris Sangwin (University of Edinburgh; University of Edinburgh)
Reasoning by equivalence: the start of proof in elementary education BPR - Big proof

Monday 24 July 2017

Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa)
Big Proof and Education (coordinated by Jeremy Avigad) BPR - Big proof

Jeremy Avigad (Carnegie Mellon University)
Big Proof & Education BPR - Big proof

Tuesday 25 July 2017

Yves Bertot (INRIA Sophia Antipolis)
Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics BPR - Big proof

Wednesday 26 July 2017

Arnold Neumaier (Universität Wien)
Concise - a synthesis of types, grammars, semantics BPR - Big proof

Makarius Wenzel (Other)
The Isabelle Prover IDE (PIDE) after 9 years of development, and beyond BPR - Big proof

Social Proof Seminar (coordinated by Fenner Tanswell) BPR - Big proof

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) BPR - Big proof

Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique)
Categorical structures for type theory in univalent foundations" BPR - Big proof