University of Cambridge > Talks.cam > Seminar Room 2, Newton Institute

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

9 upcoming talks and 304 talks in the archive.

Isaac Newton Institute Seminar Series

Computer Algebra and Formal Proof

BPR - Big proof

UserJames Davenport (University of Bath).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Reasoning by equivalence: the start of proof in elementary education

BPR - Big proof

UserChris Sangwin (University of Edinburgh; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Language and automation for exploring mathematics

BPR - Big proof

UserNatarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universit├Ąt Wien); Cesare Tinelli (University of Iowa).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 10:30-12:00

Isaac Newton Institute Seminar Series

Big Proof & Education

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 15:30-17:30

Isaac Newton Institute Seminar Series

Concise - a synthesis of types, grammars, semantics

BPR - Big proof

UserArnold Neumaier (Universit├Ąt Wien).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

Categorical structures for type theory in univalent foundations"

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 16:30-17:30

Please see above for contact details for this list.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity