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 listsLanguage and Music as Cognitive Systems The Validity Symposia Cambridge Language Sciences Annual Symposium## Other talksDive into the Lives of Flies and Ants Interrogating T cell signalling and effector function in hypoxic environments Southern Africa; Northern Cape Constructing the organism in the age of abstraction Succulents with Altitude Findings from Studies of Virtual Reality Sketching |