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 > Lightweight and Heavyweight Methods for Integrating Mathematical Libraries

## Lightweight and Heavyweight Methods for Integrating Mathematical LibrariesAdd to your list(s) Download to your calendar using vCal - Michael Kohlhase (Jacobs University Bremen)
- Friday 14 July 2017, 10:00-11:00
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPRW01 - Computer-aided mathematical proof Arguably, the most crucial resource for scaling up mathematical proof to 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 1, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsClinicians meet STEM Scientists CLIO - CU history Society Google is taking over## Other talksMichael Alexander Gage and the mapping of Liverpool, 1828–1836 Numerical study of solitary wave attenuation in a fragmented ice sheet "Post-transcriptional regulation dictates T cell functionality in health and disease" TBC Touch: The sensory scaffold of development? Evidence is Not Enough: Towards a democratically legitimate role for evidence in health policymaking |