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.

54 upcoming talks and 4036 talks in the archive: show first 500.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserNitarshan Rajkumar (University of Cambridge & UK AI Safety Institute).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 23 April 2024, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Online

UserDr. Mohammad Abdulaziz (King's College London).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 25 April 2024, 17:00-18:00

NLIP Seminar Series

Title to be confirmed

UserSpeaker to be confirmed.

HouseSS03, William Gates Building. .

ClockFriday 26 April 2024, 12:00-13:00

Mobile and Wearable Health Seminar Series

Towards Digital Endpoints of Quality of Life

UserKatarzyna Wac, University of Geneva.

HouseComputer Lab, FW26 and Online.

ClockTuesday 30 April 2024, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

UserAndrej Bauer, University of Ljubljana.

HouseSS03, Computer Laboratory.

ClockWednesday 01 May 2024, 10:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 01 May 2024, 15:05-15:55

Mobile and Wearable Health Seminar Series

Technology for Bioelectronic Medicine

UserGeorge Malliaras (Department of Engineering, University of Cambridge).

HouseComputer Lab, FW26 and Online.

ClockTuesday 07 May 2024, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 15 May 2024, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Teaching using a proof assistant and controlled natural language

UserProfessor Patrick Massot, Université Paris-Saclay and Carnegie Mellon University.

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 16 May 2024, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserKun QIAN, School of Medical Technology Beijing Institute of Technology China.

HouseOnline (zoom link will appear shortly before the talk).

ClockTuesday 21 May 2024, 16:00-17:00

Algorithms and Complexity Seminar

Title to be confirmed

UserLaszlo Vegh (London School of Economics).

HouseComputer Laboratory, William Gates Building, Room FN05.

ClockTuesday 28 May 2024, 14:00-15:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserQian Zhang, Hong Kong University of Science and Technology.

HouseOnline (zoom link will appear shortly before the talk).

ClockTuesday 28 May 2024, 16:00-17:00

Computer Laboratory Security Seminar

Title to be confirmed

UserAmelia (Mia) Hassoun, University of Cambridge.

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

ClockTuesday 04 June 2024, 14:00-15:00

Algorithms and Complexity Seminar

Title to be confirmed

UserSagnik Mukhopadhyay (Sheffield).

HouseComputer Laboratory, William Gates Building, Room FN05.

ClockTuesday 11 June 2024, 14:00-15:00

Please see above for contact details for this list.

 

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