University of Cambridge > > School of Technology

School of Technology

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

This is a combined list of all talks and series, listed on, which are part of the School of Technology, plus occasional additional talks which would be of significant interest to researchers of the School. If you would like your talk or list included please contact Duncan (drs45)

Tell a friend about this list:

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

27 upcoming talks and 8553 talks in the archive: show first 500.

Computer Laboratory Security Seminar

The Nym mixnet: Design and Evaluation

UserHarry Halpin & Ania Piotrowska, Nym Technologies.

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

ClockTuesday 06 June 2023, 14:00-15:00

Machine Learning Reading Group @ CUED

Game theory, distributional reinforcement learning, control and verification

Zoom link available upon request (it is sent out on our mailing list, eng-mlg-rcc [at] Sign up to our mailing list for easier reminders via

UserProf. Alessandro Abate, Dr. Licio Romao, Dr. Yulong Gao and Dr. Jiarui Gan. University of Oxford.

HouseCambridge University Engineering Department, CBL Seminar room BE4-38..

ClockWednesday 07 June 2023, 11:00-12:30

Formalisation of mathematics with interactive theorem provers

Formalizing algebraic number theory, recent progress and future challenges

Note: different room, MR20 this time

UserDr Alex J. Best (King's College London).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 08 June 2023, 17:00-18:00

Signal Processing and Communications Lab Seminars

AI for Sound

UserProf. Mark Plumbley, University of Surrey.

HouseJDB Seminar Room, CUED.

ClockWednesday 14 June 2023, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Monitoring and Improving QoE for the home network via large scale CPE deployment.

UserIain Fraser, Netduma.


ClockThursday 15 June 2023, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Formalizing the change of variables formula for integrals in mathlib

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Sébastien Gouëzel (Université de Rennes).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 15 June 2023, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

UserJose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.

HouseSS03, Computer Laboratory.

ClockFriday 16 June 2023, 14:00-15:00

HEP phenomenology joint Cavendish-DAMTP seminar


In B1.34 (Potter Room), DAMTP

UserTom Melia (IPMU).

HouseVirtual Seminar .

ClockThursday 03 August 2023, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Engineering enzyme replacement therapies for lysosomal storage diseases using generative AI

UserDr Giovanni Stracquadanio, The University of Edinburgh.

HouseLecture Theatre 2.

ClockWednesday 11 October 2023, 16:00-17:00

Information Engineering Distinguished Lecture Series

Title to be confirmed

UserProf Mustafa Khammash, ETH Zurich.

HouseVenue to be confirmed.

ClockTuesday 17 October 2023, 00:00-00:00

Please see above for contact details for this list.


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