University of Cambridge > Talks.cam > ack55'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: ack55. If you have a question about a specific talk, click on that talk to find its organiser.
11 upcoming talks and 490 talks in the archive.
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
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
Quantum Computing Seminar
Earl Campbell (Sheffield/Riverlane).
Computer Laboratory, William Gates Building, Room SS03.
Tuesday 25 November 2025, 13:00-14:00
Dr Ayush Terwari - Department of Engineering, University of Cambridge.
Wednesday 26 November 2025, 15:05-15:55
René Thiemann (University of Innsbruck).
MR14 Centre for Mathematical Sciences.
Thursday 27 November 2025, 17:00-18:00
Dr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.
Wednesday 03 December 2025, 15:05-15:55
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
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)
Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge..
Wednesday 19 November 2025, 15:05-15:55