University of Cambridge > Talks.cam > djw1005'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

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

Algorithms and Complexity Seminar

The Algebraic Circuit-Based Approach to Proof Complexity

UserIddo Tzamaret (Imperial).

HouseComputer Laboratory, William Gates Building, Room SS03.

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

tcg40's list

CASCADE Poster Social (+ Compiler Tech Talk)

UserSean Silva, Encharge AI.

HouseComputer Laboratory, William Gates Building, LT2.

ClockTuesday 11 March 2025, 15:00-18: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

NLIP Seminar Series

Natural Language meets Control Theory

UserCarmen Amo Alonso (Stanford University).

HouseZoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

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

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

Quantum Computing Seminar

Classical and Quantum Algorithms for Characters of the Symmetric Group

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

NLIP Seminar Series

Formal syntactic theory in the current NLP landscape

UserOlga Zamaraeva (University of A Coruña).

HouseRoom SS03 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 14 March 2025, 12:00-13:00

Energy and Environment Group, Department of CST

Shared Talk: Identifying Key Countries in the Illegal Elephant Ivory Trade Network; Machine Learning for Building-Level Heat Risk Mapping

UserJakob Poffley, University of Cambridge; Andrea Domiter, University of Cambridge.

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

ClockFriday 14 March 2025, 13:00-13:55

Technical Talks - Department of Computer Science and Technology

Helsing: Simulating a System of Systems

UserMatei David.

HouseFW26, William Gates Building.

ClockMonday 17 March 2025, 13:05-13:55

Foundation AI

From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning

UserTiansi Dong.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 17 March 2025, 17:00-17:45

Foundation AI

Modelling microbiome-mediated epigenetic inheritance of disease risk

Hybrid

UserBobby Ranjan.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockMonday 17 March 2025, 17:00-17:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Similarity-based Methods for Language Model Analysis and Prediction

UserJulius Cheng (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 18 March 2025, 13:00-14: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

Algorithms and Complexity Seminar

Distinct Elements in Streams and the Klee's Measure Problem

UserSourav Chakraborty (ISI).

HouseComputer Laboratory, William Gates Building, Room SS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Which Faculty Diversity Programs Work? Evidence from 600 U.S. Colleges and Universities

UserProfessor Frank Dobbin - Henry Ford II Professor of the Social Sciences at Harvard.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 19 March 2025, 14:05-14:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDavid Wang (King's College London).

HouseMR14 Centre for Mathematical Sciences.

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

NLIP Seminar Series

Asymmetry in Supposedly Equivalent Facts: Pre-training Bias in Large Language Models

UserZifeng Ding (University of Cambridge).

HouseRoom SS03 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 21 March 2025, 12:00-13:00

Energy and Environment Group, Department of CST

Towards Global Maps of Anthropogenic Threats to Biodiversity and Their Contributions to Species Extinctions

UserEmilio Luz-Ricca, University of Cambridge.

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

ClockFriday 21 March 2025, 13:00-13:55

Logic and Semantics Seminar (Computer Laboratory)

Number of quantifiers in 3-variable logic on linear orders

UserLauri Hella (Univeristy of Tampere).

HouseSS03, Computer Laboratory.

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

Energy and Environment Group, Department of CST

Title to be confirmed

UserJean Martina, Universidade Federal de Santa Catarina.

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

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

Logic and Semantics Seminar (Computer Laboratory)

TBC

UserDario Stein (Radboud University).

HouseSS03, Computer Laboratory.

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

Computer Laboratory Systems Research Group Seminar

Mitigating the Risks of Metastable Failures in Distributed Systems

UserAleksey Charapko, University of New Hampshire.

HouseComputer Lab, FW11 and Online (Teams link will appear before the talk).

ClockFriday 28 March 2025, 15:30-16:30

Algorithms and Complexity Seminar

A super-linear lower bound for the iteration number of the Weisfeiler-Leman algorithm

UserMoritz Lichter (RWTH, Aachen).

HouseComputer Laboratory, William Gates Building, Room SS03.

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

Energy and Environment Group, Department of CST

Title to be confirmed

UserOnkar Gulati, University of Cambridge.

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

ClockFriday 04 April 2025, 13:00-13:55

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

Energy and Environment Group, Department of CST

Towards Global-scale Species Distribution Modelling

UserOisin Mac Aodha, University of Edinburgh.

HouseMain Seminar Room at the David Attenborough Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 11 April 2025, 13:00-14: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

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserKevin Buzzard (Imperial College London).

HouseMR14 Centre for Mathematical Sciences.

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

NLIP Seminar Series

Title to be confirmed

UserPietro Lesci (University of Cambridge).

HouseZoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 02 May 2025, 12:00-13: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

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

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.

Other lists

MRC Centenary - Series of Public Lectures Susan Gathercole Vegetable Love: Edible plants between nature and culture

Other talks

The Gopakumar-Vafa conjecture for symplectic manifolds CANCELLED - Mathematical methods in reacting flows: From spectral to Lyapunov analysis Kidney cancer: the most lethal urological malignancy All-resolutions inference for brain imaging Recent developments and debates in East Asian monsoon palaeoclimatology Fluorescence spectroscopy and Microscale thermophoresis Coin Betting for Backprop without Learning Rates and More A rose by any other name Computing High Resolution Health(care) Single Cell Seminars (November) Seminar – Why do policymakers seem to ignore your evidence?
 

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