University of Cambridge > Talks.cam > sb2743's list
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: Siddharth Bhat. If you have a question about a specific talk, click on that talk to find its organiser.
11 upcoming talks and 316 talks in the archive.
SANDWICH Seminar (Computer Laboratory)
Sanjiv Ranchod (University of Cambridge).
FS07, Computer Laboratory.
Monday 25 November 2024, 13:00-14:00
Algorithms and Complexity Seminar
Joseph Slote (Caltech).
Computer Laboratory, William Gates Building, Room SS03.
Tuesday 26 November 2024, 13:00-14:00
Formalisation of mathematics with interactive theorem provers
Tobias Grosser (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 28 November 2024, 17:00-18:00
Yulong Huang (University of Cambridge).
Monday 02 December 2024, 13:00-14:00
Yaël Dillies (Stockholm Universitet).
Thursday 05 December 2024, 17:00-18:00
Orr Paradise (UC Berkeley).
Computer Laboratory, William Gates Building, FW26.
Thursday 09 January 2025, 14:00-15:00
Quantum Computing Seminar
Matthias Caro (Warwick).
Computer Laboratory, William Gates Building, Room FW26..
Thursday 16 January 2025, 14:00-15:00
Siddharth Bhat (University of Cambridge).
Thursday 23 January 2025, 17:00-18:00
Emily Riehl (Johns Hopkins University).
Thursday 30 January 2025, 17:00-18:00
Thomas Ammer (King's College London).
Thursday 06 February 2025, 17:00-18:00
Andrei Popescu (University of Sheffield).
Thursday 06 March 2025, 17:00-18: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]](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)
Sanjiv Ranchod (University of Cambridge).
Monday 25 November 2024, 13:00-14:00