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.

43 upcoming talks and 4736 talks in the archive: show first 500.

Wednesday Seminars - Department of Computer Science and Technology

Digital Money and Decentralised Finance

UserProfessor Frank Stajano and Dr Ferdinando Samaria - Department of Computer Science and Technology, University of Cambridge..

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 26 February 2025, 15:05-15:55

Rainbow Group Seminars

Vision: A Symphony of Physics and Intelligence

UserLu Fang, Tsinghua University.

HouseSS03 - William Gates Building.

ClockThursday 27 February 2025, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

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

Mobile and Wearable Health Seminar Series

Wearable electrocardiography: from Holter to handheld devices

please note the change of time for this talk

UserPeter Charlton (University of Cambridge).

HouseComputer Lab, LT2 and Online.

ClockTuesday 11 March 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 12 March 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

NOTE UNUSUAL DAY

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

HouseMR14 Centre for Mathematical Sciences.

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

Quantum Computing Seminar

Title to be confirmed

UserLouis Schatzki (University of Illinois Urbana-Champaign).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockThursday 13 March 2025, 14:00-15: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

Title to be confirmed

UserMarianna Obrist, UCL.

HouseComputer Lab, FW26 and Online.

ClockTuesday 18 March 2025, 16:00-17: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

Please see above for contact details for this list.

 

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