COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The Big Proof Agenda for Mechanizing Mathematical Discourse

## The Big Proof Agenda for Mechanizing Mathematical DiscourseAdd to your list(s) Download to your calendar using vCal - Natarajan Shankar (SRI International)
- Monday 26 June 2017, 11:00-12:00
- Seminar Room 2, Newton Institute.
If you have a question about this talk, please contact INI IT. BPR - Big proof We are creating and using mathematical knowledge at a rapidly This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 2, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsClare College Graduate Research Forum Open University Branch Royal Institute of Philosophy Soc Doc Soc Medieval Archaeology Group Seminar Series Combined TCM Seminars and TCM blackboard seminar listing BlueSci Talks and Workshops## Other talksAnnual General Meeting Insight into the molecular mechanism of extracellular matrix calcification in the vasculature from NMR spectroscopy and electron microscopy CANCELLED - Mathematical methods in reacting flows: From spectral to Lyapunov analysis ADMM for Exploiting Structure in MPC Problems How to make good scientific figures Cafe Synthetique: Synthetic Biology Industry Night |