University of Cambridge > Talks.cam > lads2's list

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

lads2's list

Further detail
Subscribe using ical/vcal (Help)

A personal list of talks.

If you have a question about this list, please contact: LÊo Stefanesco. If you have a question about a specific talk, click on that talk to find its organiser.

4 upcoming talks and 1722 talks in the archive.

Computer Laboratory Security Seminar

Am I a Member? Auditing Private Machine Learning

UserNicolas Papernot, University of Toronto.

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

ClockTuesday 21 April 2026, 14:00-15:00

RSE Seminars

Content, Caching and Kubernetes: Performance and User Experience in the Browser

UserLaurents Marker - Software developer, National Centre for Atmospheric Science.

HouseRoom B, West Hub.

ClockThursday 30 April 2026, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserFloris van Doorn (University of Bonn).

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

ClockThursday 30 April 2026, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserThomas Powell (University of Bath).

HouseCentre for Mathematical Sciences, MR14.

ClockThursday 28 May 2026, 17:00-18:00

Please see above for contact details for this list.

Other lists

The Centre for Computing History, Rene Court, Coldham's Road, CB1 3EW MSM Computer Laboratory, William Gates Building, Lecture Theatre 1

Other talks

Group Work Cooperation in Nature Afternoon Break Discovery Investigations: Science, Empire and the Making of the British South Atlantic Christopher Cowie on the epistemology of assessing biosignature claims Title to be confirmed
 

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