University of Cambridge > Talks.cam > Martin's interesting talks
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
A personal list of talks.
If you have a question about this list, please contact: Martin Fixman. If you have a question about a specific talk, click on that talk to find its organiser.
32 upcoming talks and 1621 talks in the archive: show first 500.
History of mathematics and science
Piers Bursill-Hall.
Lecture Block, Room 12, Sidgwick Site.
Thursday 13 November 2025, 16:00-17:30
Faraday Institute for Science and Religion
Prof. Lord Lionel Tarassenko.
Queen's Building Lecture Theatre, Emmanuel College.
Thursday 13 November 2025, 18:00-19:00
Cambridge Natural History Society
Claudia Wascher, Anglia Ruskin University.
Main Seminar Room (First Floor) David Attenborough Building, University of Cambridge Pembroke St, Cambridge CB2 3QZ.
Thursday 13 November 2025, 18:45-20:00
Friday 14 November 2025, 16:00-17:30
Artificial Intelligence Research Group Talks (Computer Laboratory)
pl219@cam.ac.uk for information
Hannes Stärk, PhD student at MIT.
Computer Laboratory, William Gates Building, Lecture Theatre 1.
Tuesday 18 November 2025, 15:00-16:00
SciSoc – Cambridge University Scientific Society
Professor Neil Davies.
Pfizer Lecture Theatre, Department of Chemistry, Lensfield Road.
Tuesday 18 November 2025, 18:00-19:30
Wednesday Seminars - Department of Computer Science and Technology
Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge..
Lecture Theatre 1, Computer Laboratory, William Gates Building.
Wednesday 19 November 2025, 15:05-15:55
Wednesday 19 November 2025, 16:00-17:30
Cambridge University Railway Club
Carl Ransome.
Angevin Room, Queens' College.
Wednesday 19 November 2025, 18:00-19:00
Machine learning theory
Denny Wu, Faculty Fellow at the Center for Data Science, New York University and the Flatiron Institute..
MR14, Centre for Mathematical Sciences.
Thursday 20 November 2025, 14:00-15:00
Thursday 20 November 2025, 16:00-17:30
Formalisation of mathematics with interactive theorem provers
Jovan Gerbsheid (University of Cambridge).
Centre for Mathematical Sciences, MR14.
Thursday 20 November 2025, 17:00-18:00
Friday 21 November 2025, 16:00-17:30
Professor Lloyd Peck.
Tuesday 25 November 2025, 18:00-19:30
Dr Ayush Terwari - Department of Engineering, University of Cambridge.
Wednesday 26 November 2025, 15:05-15:55
Wednesday 26 November 2025, 16:00-17:30
Alex Hornby.
Wednesday 26 November 2025, 18:00-19:00
Thursday 27 November 2025, 16:00-17:30
René Thiemann (University of Innsbruck).
MR14 Centre for Mathematical Sciences.
Thursday 27 November 2025, 17:00-18:00
Logic and Semantics Seminar (Computer Laboratory)
Christine Tasson (Institut Supérieur de l’Aéronautique et de l’Espace).
SS03, Computer Laboratory.
Friday 28 November 2025, 14:00-15:00
Friday 28 November 2025, 16:00-17:30
Dr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.
Wednesday 03 December 2025, 15:05-15:55
Wednesday 03 December 2025, 16:00-17:30
Laura Shoaf.
TBC (please check CURC website).
Wednesday 03 December 2025, 18:00-19:00
Piers Bursill-Hall, University of Cambridge.
Thursday 04 December 2025, 16:00-17:30
Friday 05 December 2025, 16:00-17:30
Chase Norman (Carnegie Mellon University).
Friday 05 December 2025, 17:00-18:00
Professor Steve Awodey - Department of Philosophy, Carnegie Mellon University .
Wednesday 28 January 2026, 15:05-15:55
Dr Viacheslav Borovitskiy - School of Informatics Institute for Adaptive and Neural Computation, University of Edinburgh .
Wednesday 18 February 2026, 15:05-15:55
Paul Draper.
Wednesday 25 February 2026, 15:05-15:55
Dr Rika Antonova - Department of Computer Science and Technology, University of Cambridge.
Wednesday 11 March 2026, 15:05-15:55
Foundation AI
Valeria Ruscio.
Lecture Theatre 2, Computer Laboratory, William Gates Building.
Thursday 04 June 2026, 17:00-17:45
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]](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)
Piers Bursill-Hall.
Thursday 13 November 2025, 16:00-17:30