Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > Martin's interesting talks

Martin's interesting talks

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

A personal list of talks.

Tell a friend about this list:

If you have a question about this list, please contact: Martin Fixman. If you have a question about a specific talk, click on that talk to find its organiser.

30 upcoming talks and 2069 talks in the archive: show first 500.

Information Theory Seminar

Applications of Algorithmic Information Theory

UserProf Marcus Hutter, Google DeepMind, London.

HouseMR5, CMS Pavilion A.

ClockWednesday 18 February 2026, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Geometric Gaussian Processes

UserDr Viacheslav Borovitskiy - School of Informatics Institute for Adaptive and Neural Computation, University of Edinburgh .

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 18 February 2026, 15:05-15:55

Darwin College Lecture Series

Hearing Her Voice: Women musicians in Vienna 1900

UserDr Carola Darwin, Royal College of Music.

HouseLady Mitchell Hall, Sidgwick Avenue.

ClockFriday 20 February 2026, 17:30-18:30

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAxel Ljungström (University of Nottingham).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 26 February 2026, 17:00-18:00

Cambridge Philosophical Society

What is Digital Identity all about?

UserProfessor Jon Crowcroft FRS. Computer Lab, at the University of Cambridge.

HouseBristol-Myers Squibb Lecture Theatre, Department of Chemistry.

ClockMonday 02 March 2026, 18:00-19:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAnand Rao Tadipatri (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 05 March 2026, 17:00-18:00

History of mathematics and science

History of science for mathmos 11

UserPiers Bursill-Hall, University of Cambridge.

House17 Mill Lane, Seminar Room A.

ClockThursday 12 March 2026, 16:00-17:30

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserChristoph Benzmüller (Otto-Friedrich-Universität Bamberg and Freie Universität Berlin).

HouseOnline; live-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 12 March 2026, 17:00-18:00

Cambridge Philosophical Society

Peer review, past, present… and future

UserProfessor Aileen Fyfe FRSE, FRHistS, FHEA, University of St Andrews.

HouseBristol-Myers Squibb Lecture Theatre, Department of Chemistry.

ClockMonday 16 March 2026, 18:00-19:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Simon Moore - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 13 May 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Tom Stafford - School of Psychology, Universitry of Sheffield.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 20 May 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor David Kotz - Department of Computer Science, Dartmouth College.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 27 May 2026, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Hana Aliee - Cancer Research UK, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 03 June 2026, 15:05-15:55

Please see above for contact details for this list.

 

© 2006-2026 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity