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.
7 upcoming talks and 277 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Tomas Skrivan (Carnegie Mellon University).
Live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 09 May 2024, 17:00-18:00
Algorithms and Complexity Seminar
Jack O'Connor (University of Cambridge).
Computer Laboratory, William Gates Building, Room SS03.
Tuesday 14 May 2024, 14:00-15:00
Patrick Massot (Université Paris-Saclay and Carnegie Mellon University).
Thursday 16 May 2024, 17:00-18:00
Georges Gonthier.
Thursday 23 May 2024, 17:00-18:00
Laszlo Vegh (London School of Economics).
Tuesday 28 May 2024, 14:00-15:00
Sagnik Mukhopadhyay (Sheffield).
Tuesday 11 June 2024, 14:00-15:00
Tobias Nipkow (Technische Universität München).
Thursday 13 June 2024, 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)
Tomas Skrivan (Carnegie Mellon University).
Thursday 09 May 2024, 17:00-18:00