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.
6 upcoming talks and 360 talks in the archive.
SANDWICH Seminar (Computer Laboratory)
Dhruv Makwana (University of Cambridge).
FS07, Computer Laboratory.
Monday 12 May 2025, 13:00-14:00
Formalisation of mathematics with interactive theorem provers
Andrei Popescu (University of Sheffield).
MR14 Centre for Mathematical Sciences.
Thursday 15 May 2025, 17:00-18:00
Prof. Andrew M Pitts (University of Cambridge).
Monday 19 May 2025, 13:00-14:00
Arthur Adjedj (ENS Paris-Saclay) .
Tuesday 27 May 2025, 13:00-14:00
Multiple Speakers.
FW26, Computer Laboratory.
Monday 02 June 2025, 09:30-17:00
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 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]](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)
Dhruv Makwana (University of Cambridge).
Monday 12 May 2025, 13:00-14:00