 DAMTP/CMS Seminars

Tomorrow 11:00
Computer Algebra and Formal Proof
James Davenport (University of Bath)
Isaac Newton Institute Seminar SeriesTomorrow 13:30
Reasoning by equivalence: the start of proof in elementary education
Chris Sangwin (University of Edinburgh; University of Edinburgh)
Isaac Newton Institute Seminar SeriesMonday July 24 11:00
The Isabelle Prover IDE (PIDE) after 9 years of development, and beyond
Makarius Wenzel (Other)
Isaac Newton Institute Seminar SeriesMonday July 24 15:30
Big Proof& Education
Jeremy Avigad (Carnegie Mellon University)
Isaac Newton Institute Seminar SeriesTuesday July 25 11:00
Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics
Yves Bertot (INRIA Sophia Antipolis)
Isaac Newton Institute Seminar SeriesTuesday July 25 15:30
Big Proof and Education (coordinated by Jeremy Avigad)
Isaac Newton Institute Seminar Series