University of Cambridge > Talks.cam > MR15 Centre for Mathematical Sciences
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
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.
0 upcoming talks and 4 talks in the archive.
Formalisation of mathematics with interactive theorem provers
(NOTE UNUSUAL DAY/TIME)
Professor Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).
MR15 Centre for Mathematical Sciences.
Monday 29 April 2024, 14:00-15:00
CCIMI Seminars
Tom Gillam (Cantab Capital Partners).
Wednesday 08 March 2017, 14:00-15:00
Mihaela van der Schaar, University of Oxford and Alan Turing Institute.
Wednesday 22 February 2017, 14:00-15:00
Quentin Berthet.
Wednesday 25 January 2017, 14:00-15:00
Please see above for contact details for this list.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Professor Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).
Monday 29 April 2024, 14:00-15:00