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

jw35's list

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

jw35’s personal list of talks.

Tell a friend about this list:

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

47 upcoming talks and 4192 talks in the archive: show first 500.

Computer Laboratory Systems Research Group Seminar

OSDB: Turning the Tables on Kernel Data

UserGeorge V. Neville-Neil, Elephance, Yale, Cambridge.

HouseComputer Lab, FW11.

ClockThursday 23 January 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserSiddharth Bhat (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 23 January 2025, 17:00-18:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 29 January 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserEmily Riehl (Johns Hopkins University).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 30 January 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserShyam Tailor, Google.

HouseComputer Lab, FW26 and Online.

ClockTuesday 11 February 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Hardware Datapath: For Machine Learning and Beyond

UserProfessor George A. Constantinides - Professor of Digital Computation, Department of Electrical and Electronic Engineering, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDavid Angdinata (University College London).

HouseMR14 Centre for Mathematical Sciences.

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

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserRajalakshmi Nandakumar, Cornell University.

HouseOnline.

ClockTuesday 25 February 2025, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

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

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 27 February 2025, 17:00-18: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

UserAndrew Yang (Imperial College, London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 March 2025, 17:00-18: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