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 listsSynthetic Biology Strategic Research Initiative Science non-Fiction & the Bottom Billion: Evolving Frameworks for a fairer Future Madingley Lunchtime Seminars## Other talksColorectal cancer. Part 1. Presentation, Diagnosis and Intervention. Part 2. Cellular signalling networks in colon cancer and the models to study them - a basic research perspective Sir Richard Stone Annual Lecture: The Emergence of Weak, Despotic and Inclusive States Hardware Efficient Machine Learning Reduction of cuspidal characters of finite reductive groups Ukraine and the Challenges of International Law - Annexation, Aggression, Cyber Warfare Minimum Description Length |