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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

28 upcoming talks and 4328 talks in the archive: show first 500.

Computer Laboratory Security Seminar

Kintsugi: A Decentralized E2EE Key Recovery Protocol

UserEmilie Ma.

House Webinar (via Zoom online).

ClockTuesday 06 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The TPTP World - Infrastructure for Automated Reasoning

UserDr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Energy and Environment Group, Department of CST

Machine Learning for Building-Level Heat Risk Mapping

UserAndrea Domiter, University of Cambridge.

HouseRoom SS03 at the William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockThursday 08 May 2025, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrew Yang (Imperial College, London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 08 May 2025, 17:00-18:00

NLIP Seminar Series

Research Progress in Mechanistic Interpretability

UserArthur Conmy (Google DeepMind).

HouseRoom FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 09 May 2025, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

A topological proof of the H-colouring dichotomy

UserJakub Oprsal (University of Birmingham).

HouseSS03, Computer Laboratory.

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

Foundation AI

bla bla

UserLukas pertl.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 12 May 2025, 17:00-17:45

Foundation AI

Exploring the interplay between Ricci Flow, the Fisher Information Matrix and Gradient Descent in Neural Networks

UserPhysics.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 12 May 2025, 17:00-17:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Explainable AI in Neuroscience: From Interpretability to Biomarker Discovery

UserMike Mamalakis (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 13 May 2025, 13:00-14:00

Mobile and Wearable Health Seminar Series

No One Left Behind: Building Low-Cost Wearables for Health Equity

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

UserLongfei Shangguan, University of Pittsburgh.

HouseComputer Lab, FW26 and Online.

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

Wednesday Seminars - Department of Computer Science and Technology

Type-driven Development with Idris 2

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

Completeness Theorems for Variations of Higher-Order Logic

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 15 May 2025, 17:00-18:00

NLIP Seminar Series

Title to be confirmed

UserPaul Röttger (Bocconi University).

HouseRoom FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 16 May 2025, 12:00-13:00

Computer Laboratory Security Seminar

Title to be confirmed

UserSunoo Park, NYU.

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

ClockTuesday 20 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Recreating the Physical Natural World from Images

UserDr Elliott Wu - Department of Engineering, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

NLIP Seminar Series

Title to be confirmed

UserDr. Sangwoong Yoon (UCL).

HouseRoom FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 23 May 2025, 12:00-13:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserGiovanna Maria Dimitri, University of Siena (Italy).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 27 May 2025, 13:00-14:00

Computer Laboratory Security Seminar

Title to be confirmed

UserEmad Heydari Beni & Lode Hoste, Nokia Bell Labs.

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

ClockTuesday 27 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Hard and soft equivariance priors via Steerable CNNs

UserDr Gabriele Cesa - Qualcomm AI Research, Amsterdam.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

NLIP Seminar Series

Title to be confirmed

UserPietro Lesci (University of Cambridge).

HouseRoom FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 30 May 2025, 12:00-13:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserRajalakshmi Nandakumar, Cornell University.

HouseOnline.

ClockTuesday 03 June 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Gabriele Gradoni - Institute for Communication Systems, University of Surrey and visiting academic at the Department of Computer Science and Technology, University of Cambridge .

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 04 June 2025, 15:05-15:55

compiler socials

Translation Validation for LLVM's AArch64 Backend

UserJohn Regehr - University of Utah.

HouseComputer Laboratory, William Gates Building, LT1.

ClockThursday 05 June 2025, 15:00-16:00

NLIP Seminar Series

When is Multilinguality a Curse? Language Modeling for 350 Languages

UserCatherine Arnett and Tyler Chang (EleutherAI and UC San Diego).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 06 June 2025, 15:00-16:00

NLIP Seminar Series

Title to be confirmed

UserJaap Jumelet (University of Groningen).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 13 June 2025, 12:00-13:00

Computer Laboratory Security Seminar

Title to be confirmed

UserMichael A. Specter, Georgia Tech.

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

ClockTuesday 17 June 2025, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserJujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 19 June 2025, 17:00-18:00

NLIP Seminar Series

Title to be confirmed

UserSzilvia Ujvary (University of Cambridge).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 20 June 2025, 12:00-13:00

Please see above for contact details for this list.

Other lists

Cambridge University Self-Build Society Inspirational Women in Engineering Talk Series Critical Theory and Practice Seminar

Other talks

Protein Folding, Evolution and Interactions Symposium Hydrogen-Deuterium Exchange Mass Spectrometry Double talk on Autism genetics What is the History of the Book? Synthetic Cellularity via Protocell Design of Soft Matter Interfaces The frequency of ‘America’ in America Crowding and the disruptive effect of clutter throughout the visual system Cambridge Rare Disease Summit 2017 Cambridge - Corporate Finance Theory Symposium September 2017 - Day 1 Number, probability and community: the Duckworth-Lewis-Stern data model, Monte Carlo simulations and counterfactual futures in cricket
 

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