[DAMTP/CMS Seminars RSS feed] DAMTP/CMS Seminars

Tomorrow 11:00

Computer Algebra and Formal Proof
James Davenport (University of Bath)
Isaac Newton Institute Seminar Series

Tomorrow 13:30

Reasoning by equivalence: the start of proof in elementary education
Chris Sangwin (University of Edinburgh; University of Edinburgh)
Isaac Newton Institute Seminar Series

Monday July 24 11:00

The Isabelle Prover IDE (PIDE) after 9 years of development, and beyond
Makarius Wenzel (Other)
Isaac Newton Institute Seminar Series

Monday July 24 15:30

Big Proof& Education
Jeremy Avigad (Carnegie Mellon University)
Isaac Newton Institute Seminar Series

Tuesday July 25 11:00

Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics
Yves Bertot (INRIA Sophia Antipolis)
Isaac Newton Institute Seminar Series

Tuesday July 25 15:30

Big Proof and Education (coordinated by Jeremy Avigad)

Isaac Newton Institute Seminar Series