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

djw1005's list

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: Damon Wischik. If you have a question about a specific talk, click on that talk to find its organiser.

39 upcoming talks and 4791 talks in the archive: show first 500.

Mobile and Wearable Health Seminar Series

Wearable electrocardiography: from Holter to handheld devices

please note the change of time for this talk. Zoom: https://cam-ac-uk.zoom.us/j/88117681760?pwd=MpUgaRUgGn0HyeYdPEZpymVFj0mLfs.1

UserPeter Charlton (University of Cambridge).

HouseComputer Lab, LT2 and Online.

ClockTuesday 11 March 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

ML for Medium-Range Weather Forecasting

Teams link available upon request (it is sent out on our mailing list, eng-mlg-rcc [at] lists.cam.ac.uk). Sign up to our mailing list for easier reminders via lists.cam.ac.uk.

UserCristiana Diaconu, Aliaksandra Shysheya and Andrew McDonald, University of Cambridge.

HouseCambridge University Engineering Department, CBL Seminar room BE4-38..

ClockWednesday 12 March 2025, 11:00-12:30

Formalisation of mathematics with interactive theorem provers

Why do I write proofs?

NOTE UNUSUAL DAY

UserFrancisco Ferreira Ruiz (Royal Holloway, University of London).

HouseMR14 Centre for Mathematical Sciences.

ClockWednesday 12 March 2025, 17:00-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multimodal AI in Spatial Biology

Note: unusual date compared to regular AI Seminars

UserKonstantin Hemker (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockThursday 13 March 2025, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Formal verification of the 5th Busy Beaver value

UserTristan Stérin (Maynooth University, Ireland) and Maja Kądziołka.

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 March 2025, 17:00-18:00

Computer Laboratory Security Seminar

Title to be confirmed

UserAlice Hutchings (University of Cambridge).

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

ClockTuesday 18 March 2025, 14:00-15:00

Mobile and Wearable Health Seminar Series

Health & Wellbeing: A Multisensory Perspective

Zoom: https://cam-ac-uk.zoom.us/j/88117681760?pwd=MpUgaRUgGn0HyeYdPEZpymVFj0mLfs.1

UserMarianna Obrist, UCL.

HouseComputer Lab, FW26 and Online.

ClockTuesday 18 March 2025, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

TBC

UserDario Stein (Radboud University).

HouseSS03, Computer Laboratory.

ClockFriday 28 March 2025, 14:00-15:00

Algorithms and Complexity Seminar

Title to be confirmed

UserGuy Goldberg (Weizmann Institute).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 08 April 2025, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

The Case for Decentralized Scheduling in Modern Datacenters

UserSmita Vijayakumar, Systems Research Group, Cambridge University Computer Laboratory.

HouseFW11.

ClockThursday 01 May 2025, 15:00-16:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserLongfei Shangguan, University of Pittsburgh.

HouseOnline.

ClockTuesday 06 May 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 07 May 2025, 15:05-15:55

Logic and Semantics Seminar (Computer Laboratory)

TBC

UserJakub Oprsal (University of Birmingham).

HouseSS03, Computer Laboratory.

ClockFriday 09 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Edwin Brady - School of Computer Science, University of St Andrews.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 14 May 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 15 May 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