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.
12 upcoming talks and 346 talks in the archive.
Formalisation of mathematics with interactive theorem provers
NOTE UNUSUAL DAY
Francisco Ferreira Ruiz (Royal Holloway, University of London).
MR14 Centre for Mathematical Sciences.
Wednesday 12 March 2025, 17:00-18:00
Quantum Computing Seminar
Louis Schatzki (University of Illinois Urbana-Champaign).
Computer Laboratory, William Gates Building, Room FW11.
Thursday 13 March 2025, 14:00-15:00
Tristan Stérin (Maynooth University, Ireland) and Maja Kądziołka.
Thursday 13 March 2025, 17:00-18:00
SANDWICH Seminar (Computer Laboratory)
Neel Krishnaswami (University of Cambridge) .
FS07, Computer Laboratory.
Monday 17 March 2025, 13:00-14:00
Algorithms and Complexity Seminar
Sourav Chakraborty (ISI).
Computer Laboratory, William Gates Building, Room SS03.
Tuesday 18 March 2025, 14:00-15:00
David Wang (King's College London).
Thursday 20 March 2025, 17:00-18:00
Moritz Lichter (RWTH, Aachen).
Tuesday 01 April 2025, 14:00-15:00
Guy Goldberg (Weizmann Institute).
Tuesday 08 April 2025, 14:00-15:00
Dimitrios Economou (University of Cambridge).
Monday 28 April 2025, 13:00-14:00
Kevin Buzzard (Imperial College London).
Thursday 01 May 2025, 17:00-18:00
Andrew Yang (Imperial College, London).
Thursday 08 May 2025, 17:00-18:00
Andrei Popescu (University of Sheffield).
Thursday 15 May 2025, 17:00-18: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)
Francisco Ferreira Ruiz (Royal Holloway, University of London).
Wednesday 12 March 2025, 17:00-18:00