University of Cambridge > Talks.cam > DPMMS info aggregator
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
Events on this list appear in the DPMMS page on the CMS plasma displays.
See http://www.damtp.cam.ac.uk/internal/computing/infoscreen/ and following pages (and http://www.damtp.cam.ac.uk/internal/computing/docs/private/info_screen_project_documentation.html) for more info.
Items for the CMS page should be on https://www.talks.cam.ac.uk/show/index/48225
If you have a question about this list, please contact: HoD Secretary, DPMMS; D. Finucane; mh332; Dr Marek Szuba; na602. If you have a question about a specific talk, click on that talk to find its organiser.
9 upcoming talks and 5488 talks in the archive: show first 500.
Formalisation of mathematics with interactive theorem provers
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
MR14 Centre for Mathematical Sciences.
Thursday 19 June 2025, 17:00-18:00
Junior Geometry Seminar
Speaker to be confirmed.
MR14 - note venue change.
Friday 20 June 2025, 16:00-17:00
Partial Differential Equations seminar
Gemma Hood (Leipzig).
MR13.
Monday 23 June 2025, 14:00-15:00
Cambridge Statistics Clinic
MR14.
Wednesday 25 June 2025, 16:30-18:00
The LMS Hardy Lecture
Emily Riehl (John Hopkins University, Baltimore) .
The Chapel Churchill College, Storey’s Way, Cambridge, CB3 0DS.
Monday 30 June 2025, 16:00-17:00
Cambridge Statistics Discussion Group (CSDG)
Florian Markowetz, Cancer Research UK Cambridge Research Institute.
MRC Cognition and Brain Sciences Unit, Chaucer Road, Cambridge.
Tuesday 07 October 2025, 19:15-21:30
Sam Gilbert, Bennett Institute for Public Policy.
The Statistical Laboratory,Centre for Mathematical Sciences,Wilberforce Road, Cambridge, CB3 0WB.
Monday 03 November 2025, 19:00-21:00
Riikka Hofmann, Faculty of Education.
City House, Hills Road, Cambridge CB2 1RY.
Wednesday 26 November 2025, 19:15-21:00
Nick W Galwey (Former Statistics Leader, Research Statistics, at GlaxoSmithKline Research and Development (Retired)).
MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge CB2 7EF.
Tuesday 03 February 2026, 19:15-21:00
Please see above for contact details for this list.
© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 2025, 17:00-18:00