University of Cambridge > Talks.cam > 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 talks.cam, 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.

15 upcoming talks and 8971 talks in the archive: show all (slow!).

Rainbow Group Seminars

Trustworthy Data Visualization

UserProf. Nicolas Holliman, King's College London.

HouseFW11 - William Gates Building.

ClockThursday 11 July 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Task Alignment

Zoom 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.

UserVihari Piratla, University of Cambridge.

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

ClockWednesday 26 June 2024, 11:00-12:30

mb2663's list

Hyperblock Scheduling for Verified High-Level Synthesis

UserYann Herklotz (École Polytechnique Fédérale de Lausanne).

HouseLT1, Computer Laboratory, William Gates Builiding, West Cambridge site.

ClockWednesday 19 June 2024, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

PaSh: Scaling out Shell Programs, Automatically

UserNikos Vasilakis, Brown University.

HouseFW11.

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

Computer Laboratory Security Seminar

How Misinformation Creators (Ab)use Generative AI Tools

UserAmelia (Mia) Hassoun, University of Cambridge.

HouseComputer Lab, FW11.

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

HEP phenomenology joint Cavendish-DAMTP seminar

Nuclear PDFs

UserIngo Schienbein (LPSC, Grenoble).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 07 June 2024, 16:00-17:00

Rainbow Group Seminars

CANCELLED

UserChaker Larabi, Université de Poitiers.

HouseSS03 - William Gates Building.

ClockThursday 06 June 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

A Light Introduction to Topological Data Analysis

Zoom 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.

UserTim Hargreaves, Tor Fjelde, University of Cambridge.

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

ClockWednesday 29 May 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

Pushing the Limit of Mobile Sensing: Smart Healthcare in the Age of AioT

Zoom: https://cam-ac-uk.zoom.us/j/81281212346?pwd=Z0FwS3h3Uy9hV0I2ZlR1dnUva3RVdz09

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

Engineering - Mechanics Colloquia Research Seminars

EQUALITY-BASED FORMULATION FOR NON-SMOOTH VIBRATING SYSTEMS

UserProf. Christopher Pierre, Stevens Institute of Technology.

HouseDepartment of Engineering - LT6.

ClockFriday 24 May 2024, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Leveraging AI for Breakthroughs in Genomic Research

Hybrid: https://cam-ac-uk.zoom.us/j/2554325137?pwd=NGZEbGl1WkJxQVdkV09oc2k1L2pwQT09 Meeting ID: 255 432 5137 Passcode: 360730

UserMike Sikic, Genome Institute of Singapore .

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 24 May 2024, 12:00-13:00

CUED Control Group Seminars

Nonlinear motion control

UserSebastiaan J.A.M. van den Eijnden, Eindhoven University of Technology.

HouseJDB Seminar Room, Department of Engineering and online (Zoom).

ClockThursday 23 May 2024, 14:00-15:00

Chemical Engineering and Biotechnology

2024 Dr. Robin Paul Prize Lecture

UserSarah Barron & Sophie Oldroyd - University of Cambridge.

HouseDepartment of Chemical Engineering & Biotechnology.

ClockWednesday 22 May 2024, 13:15-14:00

Mobile and Wearable Health Seminar Series

Inspiration of Taiji: Can Audio Benefit Healthcare for Diagnosis and Treatment?

Zoom: https://cam-ac-uk.zoom.us/j/82997731682?pwd=cTFJdmd5aEcxWVU4SjhJcW5HRWt5dz09

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

HouseOnline.

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

Computer Laboratory Systems Research Group Seminar

Towards identifying neglected, obsolete and abandoned IoT and OT devices

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserRicardo Yaben, Technical University of Denmark (DTU).

HouseFW11.

ClockThursday 16 May 2024, 15:00-16:00

HEP phenomenology joint Cavendish-DAMTP seminar

TBA

UserDaniel Yeo (Cambridge U.).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 10 May 2024, 16:00-17:00

Mobile and Wearable Health Seminar Series

Technology for Bioelectronic Medicine

Zoom: https://cam-ac-uk.zoom.us/j/86706559019?pwd=TU1mVkV4dWpla0hyVDkyaG4zMU5mQT09

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

Exploring novel (bio)molecular spaces by design – a dialogue between representation and generation

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

Machine Learning Reading Group @ CUED

Mean Field Theory of NNs

Zoom 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

UserAdrian Goldwaser, University of Cambridge.

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

ClockWednesday 01 May 2024, 11:00-12:30

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

Mobile and Wearable Health Seminar Series

Towards Digital Endpoints of Quality of Life

Zoom: https://cam-ac-uk.zoom.us/j/82137851196?pwd=M1NNeExnYk9VQ0JhUDlaWThydGlGQT09

UserKatarzyna Wac, University of Geneva.

HouseComputer Lab, FW26 and Online.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The UK AI Safety Institute

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

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Formalisation of mathematics with interactive theorem provers

Can a computer judge interestingness?

(NOTE UNUSUAL DAY/TIME)

UserMichael Douglas (Center of Mathematical Sciences and Applications, Harvard University).

HouseMR15 Centre for Mathematical Sciences.

ClockMonday 29 April 2024, 14:00-15:00

DPMMS Departmental Colloquia

When is a mathematical object well behaved?

UserJulia Wolf (Cambridge).

HouseCMS MR2.

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

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

Zoom 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.

UserBruno Mlodozeniec, Julien Horwood, Runa Eschenhagen.

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

ClockWednesday 24 April 2024, 11:00-12:30

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

Zoom 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.

UserBruno Mlodozeniec, Julien Horwood, Runa Eschenhagen, University of Cambridge.

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

ClockWednesday 24 April 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

Embracing Ubiquitous Technology to Complement, Scale, and Extend Traditional Healthcare

Zoom: https://cam-ac-uk.zoom.us/j/88535429139?pwd=WVYxV2Vrc0J6SnZyM3FZT0NvdTdOQT09

UserAlex Mariakakis, University of Toronto.

HouseOnline.

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

Machine Learning Reading Group @ CUED

AI Control

Zoom 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.

UserDmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

ClockWednesday 17 April 2024, 11:00-12:30

Computer Laboratory Systems Research Group Seminar

Tech law vs tech design: why can't we be friends?

UserDr Tristan Henderson, University of St Andrews.

HouseFW26.

ClockFriday 22 March 2024, 15:00-16:00

Energy and Environment Group, Department of CST

The Future of 24/7 Clean Energy driven by AI

UserDr. Shivkumar Kalyanaraman, CTO, Energy Industry, Asia, Microsoft. // Dr. Srinivasan Iyengar, Senior Program Manager, Asia, Microsoft. .

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

ClockFriday 22 March 2024, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications

UserDr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

HouseFW11.

ClockThursday 21 March 2024, 15:00-16:00

Rainbow Group Seminars

Psychophysical tests of human visual encoding models

UserProf. Thomas S. A. Wallis, Technical University of Darmstadt.

HouseSS03 - William Gates Building.

ClockThursday 21 March 2024, 14:00-15:00

Engineering - Mechanics Colloquia Research Seminars

SHAPE PROGRAMMABLE 3D MESOSTRUCTURES AND FUNCTIONAL DEVICES

UserProf. Yonggang Huang, McCORMICK school of Engineering, Northwestern University. .

HouseDepartment of Engineering - LR5.

ClockThursday 21 March 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Neural likelihood-free inference

Zoom 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.

UserYanzhi Chen, University of Cambridge.

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

ClockWednesday 20 March 2024, 11:00-12:30

Rainbow Group Seminars

Towards a Unified Model of Contrast Sensitivity

UserMaliha Ashraf, University of Cambridge.

HouseSS03 - William Gates Building.

ClockTuesday 19 March 2024, 15:00-16:00

Engineering - Mechanics Colloquia Research Seminars

Automated discovery of material models

UserProfessor Laura De Lorenzis, ETH Zurich.

HouseDepartment of Engineering - LT6.

ClockFriday 15 March 2024, 14:00-15:00

Rainbow Group Seminars

Perceptual studies with holographic displays

UserDongyeon Kim, University of Cambridge.

HouseSS03 - William Gates Building.

ClockThursday 14 March 2024, 14:00-15:00

Rainbow Group Seminars

Perceptual studies with holographic displays

UserDongyeon Kim, University of Cambridge.

HouseSS03 - William Gates Building.

ClockThursday 14 March 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Private Data Analysis over Large Populations

UserProfessor Graham Cormode - Research Scientist, Facebook and professor in the Department of Computer Science, University of Warwick.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockWednesday 13 March 2024, 15:05-15:55

Machine Learning Reading Group @ CUED

An Introduction to the Conjugate Gradient Method

Zoom 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.

UserJihao Andeas Lin, University of Cambridge.

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

ClockWednesday 13 March 2024, 11:00-12:30

Chemical Engineering and Biotechnology

Modelling and algorithms for energy system investment planning under uncertainty

User Dr. Hongyu Zhang (Norwegian University of Science and Technology) .

HouseTeams.

ClockMonday 11 March 2024, 11:00-12:00

Engineering - Dynamics and Vibration Tea Time Talks

Nonlinearity in structural dynamics: when does it matter?

UserDr Tore Butlin, University of Cambridge Engineering Department.

HouseJDB Seminar Room, CUED.

ClockFriday 08 March 2024, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Distribution Shifts in Human-Centered Representation Learning

UserDr Ali Etemad - Associate Professor at Queen’s University, Canada. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 06 March 2024, 15:05-15:55

Mobile and Wearable Health Seminar Series

Beyond Listening: The Evolution of Earables in Health and Wellbeing Monitoring

please note change of place and time from usual. Zoom: https://cam-ac-uk.zoom.us/j/88316529133?pwd=ZmQzWktmU3Y4QmRuVmlQa2ZyOUJkZz09

UserAlessandro Montanari, Nokia Bell Labs.

HouseLT2 and online.

ClockTuesday 05 March 2024, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED

POSTPONED. Sorry for inconvenience.

UserProf. Tom Chittenden (BioAI Health & QMUL).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 05 March 2024, 13:00-14:00

Engineering - Dynamics and Vibration Tea Time Talks

Damping from fragmented materials

UserDr Jem Rongong, Dept of Mechanical Engineering, University of Sheffield.

HouseJDB Seminar Room, CUED.

ClockFriday 01 March 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

The Mandelbrot set is connected (and other Lean explorations)

UserDr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 29 February 2024, 17:00-18:00

Computer Laboratory Systems Research Group Seminar

Using outbreak games to learn about real outbreaks

Zoom link: https://cam-ac-uk.zoom.us/j/82748387727?pwd=QThrbVVkL2tJZnZOM2dRUUFnNVdqQT09 Meeting ID: 827 4838 7727 Passcode: 339671

UserAndrés Colubri, University of Massachusetts.

HouseFW11.

ClockThursday 29 February 2024, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

A Data-Free, Universal Prior Distribution for Syntactic Structures

UserDr Fermin Moscoso del Prado Martin - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 28 February 2024, 15:05-15:55

Machine Learning Reading Group @ CUED

An Introduction to Transformer Neural Processes

Zoom 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.

UserMatt Ashman and Cristiana Diaconu.

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

ClockWednesday 28 February 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

Vocal biomarkers for minimally disruptive clinical research: how to get there?

Zoom: https://cam-ac-uk.zoom.us/j/83851848607?pwd=WDJmQmdxODhtcFBzdW1YS2sxVTE4QT09

UserGuy Fagherazzi, Luxembourg Institute of Health.

HouseComputer Lab, FW26 and Online.

ClockTuesday 27 February 2024, 16:00-17:00

Chemical Engineering and Biotechnology

Generative AI in Chemical Process Engineering

UserArtur M. Schweidtmann - Delft University of Technology.

HouseTeams.

ClockMonday 26 February 2024, 11:00-12:00

HEP phenomenology joint Cavendish-DAMTP seminar

On amplitudes and field redefinitions

UserDavid Sutherland (University of Glasgow).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 23 February 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry

UserArtie Khovanov (University of Cambridge), Michael Nedzelsky (Diffblue Ltd) and Dr Wenda Li (University of Edinburgh).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 22 February 2024, 17:00-18:00

Computer Laboratory Systems Research Group Seminar

How debuggable is your (compiler-optimised) program?

UserStephen Kell, King's College London.

HouseFW11.

ClockThursday 22 February 2024, 15:00-16:00

CUED Control Group Seminars

Neuromorphic sensing and computing in today’s AI landscape

UserYulia Sandamirskaya, ZHAW Zurich University of Applied Sciences.

HouseJDB Seminar Room and online (Zoom).

ClockThursday 22 February 2024, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Making Large Language Models Safe: A Case Study of Llama2

UserPushkar Mishra - Lead AI Research Engineer, Meta and Computer Science Part 1B Supervisor, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 21 February 2024, 15:05-15:55

Machine Learning Reading Group @ CUED

Learning Symmetries in Neural Networks

Zoom 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.

UserJames Allingham and Bruno Mlodozeniec .

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

ClockWednesday 21 February 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

Challenges to the accurate monitoring cognitive health: recent findings from Sheffield

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

UserHeidi Christensen, University of Sheffield.

HouseComputer Lab, FW26 and Online.

ClockTuesday 20 February 2024, 16:00-17:00

Technical Talks - Department of Computer Science and Technology

Monumo: Reinventing Electric Motors

UserDr Chris Doran - AI Research Fellow and Head of 3D at Monumo and Fellow of Sidney Sussex College.

HouseFW26, William Gates Building.

ClockMonday 19 February 2024, 13:05-13:55

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

UserElizabeth Polgreen, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 16 February 2024, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Structures in dependent type theory

Online

UserProfessor Jeremy Avigad (Carnegie Mellon University).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 15 February 2024, 17:00-18:00

Machine Learning Reading Group @ CUED

GenCast: Diffusion-based ensemble forecasting for medium-range weather (or: How to ruin a numerical weather forecaster’s Christmas)

Zoom 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.

UserAndrew McDonald and Kenza Tazi, University of Cambridge.

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

ClockWednesday 14 February 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

AI for Health with Wearables

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

UserChenyang Lu, Washington University in St Louis.

HouseOnline.

ClockTuesday 13 February 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

How to prove Fermat's Last Theorem

Online

UserProfessor Kevin Buzzard (Imperial College London).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 08 February 2024, 17:00-18:00

Machine Learning Reading Group @ CUED

Bayesian coresets

Zoom 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.

UserTor Fjelde and Will Tebbutt, University of Cambridge.

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

ClockWednesday 07 February 2024, 11:00-12:30

Mobile and Wearable Health Seminar Series

Where next with wearables: An overview, with examples analysing UK Biobank accelerometery data and real-time machine learning on brain data

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

UserAlex Casson, University of Manchester.

HouseComputer Lab, FW26 and Online.

ClockTuesday 06 February 2024, 16:00-17:00

Mobile and Wearable Health Seminar Series

Physiological sensing in personal informatics systems: The Good, the Bad, and the Ugly

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

UserSilvia Santini, Universita' della Svizzera Italiana.

HouseComputer Lab, FW26 and Online.

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

Computer Laboratory Programming Research Group Seminar

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

Today we have two Logic and Semantics talks, with a small gap for coffee in between.

UserLionel Parreaux, HKUST (Hong Kong University of Science and Technology).

HouseSS03, Computer Laboratory.

ClockFriday 26 January 2024, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing via the lens of additive combinatorics

UserDr Tom Gur - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 24 January 2024, 15:05-15:55

Mobile and Wearable Health Seminar Series

Dealing with uncertainty in physiological sensing in the wild

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

UserChristian Holz, ETHZ.

HouseComputer Lab, FW26 and Online.

ClockTuesday 23 January 2024, 16:00-17:00

Computer Laboratory Security Seminar

Two Sides of the Same Crime

UserMichael Dewar, Vice President for Data Science at Mastercard.

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

ClockFriday 19 January 2024, 16:00-17:00

Engineering - Mechanics and Materials Seminar Series

In-Silico Experiments to Unravel the Complexity of Engineering Interfaces

UserProfessor Daniele Dini, Department of Mechanical Engineering, Imperial College.

HouseOatley Seminar Room, Department of Engineering.

ClockFriday 19 January 2024, 14:00-15:00

Rainbow Group Seminars

Spatiotemporal contrast sensitivity functions; OLED calibration

Practice talks

UserMaliha Ashraf, University of Cambridge.

HouseSS03 - William Gates Building.

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

CUED Control Group Seminars

AI Engineering as Design Engineering: Creating User-Centric AI Systems

User Per Ola Kristensson, University of Cambridge.

HouseJDB Seminar Room and online (Zoom).

ClockThursday 18 January 2024, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Towards Autoformalization and Mathematical Reasoning using language models

Note unusual time

UserProfessor Siddhartha Gadgil (Indian Institute of Science).

HouseMR14 Centre for Mathematical Sciences.

ClockWednesday 17 January 2024, 13:00-14:00

CUED Control Group Seminars

Data informativity: a new perspective on data-driven analysis and control

UserProfessor Kanat Camlibel, Bernoulli Institute, University of Groningen.

HouseJDB Seminar room.

ClockFriday 12 January 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

UserReese Levine, University of California Santa Cruz.

HouseSS03, Computer Laboratory.

ClockFriday 12 January 2024, 14:00-15:00

Chemical Engineering and Biotechnology

Machine Learning Industry & Academic Perspectives

UserProf Miguel Hernandez Lobato - University of Cambridge & Ben Pellegrini - Intelligens Ltd..

HousePfizer Lecture Theatre - Yusuf Hamied Department of Chemistry.

ClockTuesday 09 January 2024, 15:00-16:00

CUED Control Group Seminars

Sense, Think, Act: Decision and Control, from Biology to Technology

UserProfessor Antonis Papachristodoulou, Department of Engineering Science, University of Oxford.

HouseLT6 Seminar Room.

ClockTuesday 09 January 2024, 14:00-15:00

Computer Laboratory Security Seminar

25 years of crypto wars and privacy tussles – where next?

UserRoss Anderson, Duncan Campbell, Ben Collier, Ahana Datta, Merlin Erroll, Gus Hosein, Julian Huppert, Jim Killock, Jen Persson, Sam Smith and Martyn Thomas.

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

ClockThursday 30 November 2023, 16:00-18:00

CUED Control Group Seminars

New Innovative Idea on Bio Medical Research

UserMakoto Kaneko, Meijo University and Osaka University..

HouseDepartment of Engineering, JDB Seminar Room, and online (Zoom).

ClockThursday 30 November 2023, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

A brief introduction to causal inference

UserDr Apinan Hasthanasombat - Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 29 November 2023, 15:05-15:55

Women@CL Events

Michaelmas Talklet Event

UserJessica Man, Elizabeth Ho, Bianca Schor.

HouseComputer Laboratory, William Gates Building, FW26.

ClockWednesday 29 November 2023, 13:00-14:00

Machine Learning Reading Group @ CUED

Flow matching, stochastic interpolants and everything in between

Zoom 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.

UserEmile Mathieu, Tor Fjelde and Vincent Dutordoir (Cambridge MLG).

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

ClockWednesday 29 November 2023, 11:00-12:30

Mobile and Wearable Health Seminar Series

Time-series Machine Learning Models for Healthcare: Advancements and Applications

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserTingting Zhu, University of Oxford.

HouseComputer Lab, FW11 and Online (zoom link on this page).

ClockTuesday 28 November 2023, 16:00-17:00

Technical Talks - Department of Computer Science and Technology

Vaticle: Type theory as the unifying foundation for modern databases

UserHaikal Pribadi (CS MPhil, Cambridge), CEO/CTO at Vaticle and Christoph Dorn (CS DPhil, Oxford), Head of Research at Vaticle.

HouseFW26, William Gates Building.

ClockMonday 27 November 2023, 13:05-13:55

Engineering - Mechanics and Materials Seminar Series

Innovations in Multifunctional Materials and Composites through Additive Manufacturing and Nanoengineering

UserProf Kumar Shanmugam, Professor of Composite Materials and Advanced Manufacturing, University of Glasgow.

HouseOatley Seminar Room, Department of Engineering.

ClockFriday 24 November 2023, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing

Userchanggang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

HouseFW11.

ClockThursday 23 November 2023, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Cross-lingual transfer learning with multilingual masked language models

UserProfessor Mamoru Komachi - Research Professor, Tokyo Metropolitan University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 22 November 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

Challenges of Regulating Increasingly Complicated Human-AI Collaborative Systems

Zoom 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.

UserDr Miri Zilka and Katie Collins, University of Cambridge.

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

ClockWednesday 22 November 2023, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep screening of RNA, XNA and protein interactions

https://cl-cam-ac-uk.zoom.us/j/83721191406?pwd=V0xkY0Vvb3czWUJkR0xIZC9qMnM0QT09

UserPhilipp Holliger (MRC Laboratory of Molecular Biology).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 21 November 2023, 17:00-18:00

Mobile and Wearable Health Seminar Series

Towards Ambient Physiological Sensing for Digital Healthcare

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserJeonggil Ko, Yonsei University.

HouseOnline (zoom link on the page).

ClockTuesday 21 November 2023, 16:00-17:00

CUED Control Group Seminars

Exploiting Structure for Scalable Design and Verification of Complex Systems

UserProfessor Murat Arcak, Electrical Engineering and Computer Science Department, UC Berkeley.

HouseDepartment of Engineering, James Dyson Building Seminar Room.

ClockTuesday 21 November 2023, 16:00-17:00

The Wheeler Lectures in Computer Science

Wheeler Lecture 2023: Beyond functional programming: a taste of Verse

UserProfessor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 November 2023, 15:00-16:00

Machine Learning Reading Group @ CUED

A Poisson Process Model for Monte Carlo

Zoom 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.

UserGreg Flamich, University of Cambridge.

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

ClockWednesday 15 November 2023, 11:00-12:30

Computer Laboratory Security Seminar

Red teaming privacy-preserving systems using AI

UserYves-Alexandre de Montjoye, Imperial College London.

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

ClockTuesday 14 November 2023, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

RetroBridge: Modeling Retrosynthesis with Markov Bridges

This talk is online only: https://cam-ac-uk.zoom.us/j/92041617729

UserArne Schneuing & Ilia Igashov (EPFL).

HouseZoom: https://cam-ac-uk.zoom.us/j/92041617729.

ClockTuesday 14 November 2023, 13:00-14:00

Technical Talks - Department of Computer Science and Technology

Goldman Sachs - Quantitative Finance and AI

UserMatteo Pozzi, Associate on the Applied AI team at Goldman Sachs.

HouseFW26, William Gates Building.

ClockMonday 13 November 2023, 13:05-13:55

Computer Laboratory Systems Research Group Seminar

Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserAyan Kumar, AMD.

HouseFW11.

ClockThursday 09 November 2023, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Coherence Attacks and Defenses in 2.5D Integrated Systems

UserProfessor Paul Gratz - Professor in the Department of Electrical and Computer Engineering, Texas A&M University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge .

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 08 November 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

Learning Directed Acyclic Graphs (DAGs) With Continuous Optimization

Zoom 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.

UserDr Pingfan Song, University of Cambridge.

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

ClockWednesday 08 November 2023, 11:00-12:30

Mobile and Wearable Health Seminar Series

Towards Smart Health Using Mobile Technologies

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserYingying Chen, Rutgers University.

HouseOnline (zoom link on the page).

ClockTuesday 07 November 2023, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Pathfinding for 10k agents

UserDr Keisuke Okumura - Visiting scholar at the Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 01 November 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

Deep Learning for Medium-Range Global Weather Prediction

Zoom 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.

UserProf. Richard Turner and Stratis Markou, University of Cambridge.

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

ClockWednesday 01 November 2023, 11:00-12:30

Mobile and Wearable Health Seminar Series

AIoT for Safer, Healthier, and Smarter Environments

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserXiaofan (Fred) Jiang, Columbia University.

HouseOnline only.

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

Technical Talks - Department of Computer Science and Technology

Jane Street: Why Ocaml?

UserPedro Flemming, Software Engineer at Jane Street .

HouseFW26, William Gates Building.

ClockMonday 30 October 2023, 13:05-13:55

Computer Laboratory Systems Research Group Seminar

K9db: Privacy-Compliant Storage For Web Applications By Construction

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserMalte Schwarzkopf (Brown University).

HouseSS03.

ClockFriday 27 October 2023, 15:00-16:00

Engineering - Mechanics Colloquia Research Seminars

Soft elasticity by domain formation in reinforced and magneto-active composites

UserPedro Ponte Castañeda, Department of Mechanical Engineering and Applied Mechanics and Graduate Program in Applied Mathematics and Computational Science, University of Pennsylvania,.

HouseDepartment of Engineering - LR5.

ClockFriday 27 October 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

An invitation to univalent foundations of mathematics

UserDr Jon Sterling - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 25 October 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

Learning linear models in-context with transformers

Zoom 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.

UserSpencer Frei, UC Davis.

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

ClockWednesday 25 October 2023, 11:00-12:30

Foundation AI

Revolutionizing Biosensing Technologies: Plug and Play Devices in Medical and Agricultural Diagnostics

UserMuhammad J. A. Shiddiky, Rural Health Research Institute (RHRI), Charles Sturt University, Orange NSW 2800.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Mobile and Wearable Health Seminar Series

Measuring mobility outside the laboratory with digital health technology: are we there yet?

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserSilvia Del Din, Translational and Clinical Research Institute, Newcastle Univerisity.

HouseComputer Lab, FW11 and Online (zoom link on this page).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies

Notice that this talk is online only: https://cam-ac-uk.zoom.us/j/92041617729 Pietro Lio and Chaitanya Joshi will introduce the speakers

UserKarolis Martinkus & Andreas Loukas (Prescient Design, Genentech, Roche).

HouseZoom: https://cam-ac-uk.zoom.us/j/92041617729.

ClockTuesday 24 October 2023, 13:00-14:00

Technical Talks - Department of Computer Science and Technology

Bloomberg: Software Design Dilemmas: Choices We Make In a System With Over Two Million Hits A Day

UserZineb Slam, Bloomberg Placement Fall 2017 & Full-Time 2018, Mobile Shared Services Team, Co-Lead of the Bloomberg Women in Technology community in London.

HouseFW26, William Gates Building.

ClockMonday 23 October 2023, 13:05-13:55

CUED Control Group Seminars

Quantitative Microbiology With Smart Microscopy

User Georgeos Hardo, University of Cambridge.

HouseDepartment of Engineering / Online (Zoom).

ClockThursday 19 October 2023, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

UserJohn Baez, University of California Riverside.

HouseLT1, Computer Laboratory.

ClockWednesday 18 October 2023, 14:00-15:00

Mobile and Wearable Health Seminar Series

Using wearable-derived cardiac signals to predict cardiovascular events

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

UserMichele Orini, Institute of Healthcare Engineering, UCL.

HouseComputer Lab, FW11 and Online.

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

Computer Laboratory Security Seminar

CIA to AIC: Why Cyber Must Enable the Business

UserKeith A Price, Chief Security Officer, National Highways.

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

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

Wednesday Seminars - Department of Computer Science and Technology

How can we make trustworthy AI?

UserProfessor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 11 October 2023, 15:05-15:55

Rainbow Group Seminars

Towards More Immersive Photos and Videos

UserChristian Richardt, Meta Reality Labs.

HouseFW26 William Gates Building.

ClockTuesday 10 October 2023, 13:00-14:00

Engineering - Mechanics and Materials Seminar Series

Fracture and fatigue in additively manufactured alloys

UserProf. Upadrasta Ramamurty, School of Mechanical and Aerospace Engineering, Nanyang Technological University, Singapore.

HouseOatley Seminar Room, Department of Engineering.

ClockWednesday 04 October 2023, 14:00-15:00

Wireless Communications Team Seminars

Reconfigurable Intelligent Surfaces for Wireless: From Conventional Optimisation to Autonomous Learning

UserGeorge C Alexandropoulos - National and Kapodistrian University of Athens (NKUA), Greece.

HouseComputer Laboratory, Room LT2.

ClockWednesday 13 September 2023, 16:00-17:00

HEP phenomenology joint Cavendish-DAMTP seminar

The classical equations of motion of quantised gauge theories

*** Note unusual topic of talk ***

UserTom Melia (IPMU).

HousePotter Room, B1.34, DAMTP.

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

Hardware for Machine Learning

Tenstorrent - building AI/ML accelerators

UserThaddeus Fortenberry, Ali Ziadi and Luke Yen.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 01 August 2023, 10:00-12:00

Rainbow Group Seminars

Dual-Pixel Raindrop Removal

UserYizhou Li, Tokyo Institute of Technology.

HouseSS03 - William Gates Building.

ClockThursday 27 July 2023, 14:00-15:00

Rainbow Group Seminars

Seeing Through Forest - Real-Time Occlusion Removal with Airborne Optical Sectioning

UserProf. Oliver Bimber, Johannes Kepler University Linz (JKU).

HouseSS03 - William Gates Building.

ClockThursday 20 July 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

UserDavid Monniaux, CNRS/VERIMAG and École Polytechnique.

HouseFW11, Computer Laboratory.

ClockThursday 20 July 2023, 14:00-15:00

Engineering - Mechanics and Materials Seminar Series

Hydrovoltaics: from energy to Intelligence

UserProf. Wanlin Guo, Nanjing University of Aeronautics and Astronautics.

HouseLR3A, Department of Engineering.

ClockWednesday 05 July 2023, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Memo: an incremental computation library that powers Dune

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserAndrey Mokhov, Jane Street.

HouseFW11.

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

Machine Learning Reading Group @ CUED

Deciphering Batch Effects in Single-cell Transcriptomics with Concept Bottlenecks

Zoom 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.

UserHanchen Wang, Stanford CS and Genentech gRED.

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

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

Computer Laboratory Security Seminar

A View of the Dark Web through the Lens of NLP and Language Modeling

UserYoungjin Jin, Korea Advanced Institute of Science & Technology (KAIST).

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

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

Formalisation of mathematics with interactive theorem provers

Roth numbers: Upper, lower bounds, and related constructions

Note: different room, MR20 this time

UserYaël Dillies (University of Cambridge).

HouseMR20 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

Schrödinger bridges, diffusion and SDEs

Zoom 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.

UserStratis Markou and Shreyas Padhy.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Protein generation and fitness optimization

https://cl-cam-ac-uk.zoom.us/j/94094286505?pwd=T2V3MFVSQ1ZKTFFyYlFueHlzTE83Zz09

UserJason Yim, EECS, MIT.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building and Zoom.

ClockTuesday 20 June 2023, 17:00-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Interpretable Neural-Symbolic Concept Reasoning

Note this is on zoom only! Note a change of date! Note a new zoom link!

UserPietro Barbiero (University of Cambridge).

Housezoom only!.

ClockTuesday 20 June 2023, 13:00-14: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

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

Computer Laboratory Systems Research Group Seminar

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

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserIain Fraser, Netduma.

HouseSS03.

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

Signal Processing and Communications Lab Seminars

AI for Sound

UserProf. Mark Plumbley, University of Surrey.

HouseLT6, Baker Building, CUED.

ClockThursday 15 June 2023, 12:00-13:00

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

Zoom 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.

UserKatie Collins, University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

Zoom 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.

UserKatie Collins, University of Cambridge.

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

ClockWednesday 14 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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Untangling genome assembly graphs with graph neural networks

https://cl-cam-ac-uk.zoom.us/j/93934749405?pwd=M0ZERUZleklON01vZlpXbzhqTld0Zz09. ; ID riunione: 939 3474 9405 Passcode: 374750

UserLovro Vrcek, Genome Institute of Singapore, A*STAR.

HouseSeminar Room FW26, Computer Laboratory, William Gates Building.

ClockWednesday 07 June 2023, 16:00-17:00

Theory of Living Matter Group

Tracing cell fate specification and pattern formation during branching morphogenesis

UserDr. Lemonia Chatzeli & Prof. Ignacio Bordeu.

HouseWebinar.

ClockWednesday 07 June 2023, 16:00-17: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] lists.cam.ac.uk). Sign up to our mailing list for easier reminders via lists.cam.ac.uk.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Information Spreading on Networks

NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03

UserCharlotte Out.

HouseComputer Lab, SS03.

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

Formalisation of mathematics with interactive theorem provers

The leanest automata

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

UserProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

HouseMR20 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

On choosing the mass matrix for Hamiltonian Monte Carlo

Zoom 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.

UserTor Fjelde and Tim Hargreaves, University of Cambridge.

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

ClockWednesday 31 May 2023, 11:00-12:30

Engineering - Mechanics and Materials Seminar Series

Mechanosensing in cancer fuels agressiveness

UserProf Laura M. Machesky, department of Biochemistry, Cambridge.

HouseOatley Seminar Room, Department of Engineering.

ClockFriday 26 May 2023, 14:00-15:00

Information Engineering Distinguished Lecture Series

Physically Intelligent Robots at the Milli/Microscale

UserProf Dr Metin Sitti, Max Planck Institute for Intelligent Systems, Stuttgart, Germany.

HouseDepartment of Engineering - LT2.

ClockFriday 26 May 2023, 12:00-13:00

Rainbow Group Seminars

An in-depth look at Deep Learning in Digital Media

UserProf. Panos Nasiopoulos, University of British Columbia.

HouseSS03.

ClockThursday 25 May 2023, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Bayes in the age of intelligent machines

UserProfessor Tom Griffiths - Princeton University.

HouseOnline.

ClockWednesday 24 May 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

Reward Modelling

Zoom 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.

UserUsman Anwar, University of Cambridge.

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

ClockWednesday 24 May 2023, 11:00-12:30

Engineering - Mechanics and Materials Seminar Series

Measurement automation for additive manufacturing using computer vision

UserProf William P. King, Department of Mechanical Science and Engineering, UIUC .

HouseOatley Seminar Room, Department of Engineering.

ClockFriday 19 May 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

UserGlynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

HouseSS03, Computer Laboratory.

ClockFriday 19 May 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Explaining mathematics using formalized mathematics

Hybrid talk (please see abstract for link)

UserProfessor Patrick Massot (Université Paris-Saclay).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 18 May 2023, 17:00-18:00

Mobile and Wearable Health Seminar Series

(CANCELLED/POSTPONED) The Digital Physiome: Wearables for Early Disease Detection

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

UserJessilyn Dunn (Duke University).

HouseOnline.

ClockTuesday 16 May 2023, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

UserAndrés Goens, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 12 May 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Formalization of diagram chasing as a first-order logic in Coq

Hybrid talk (please see abstract for link)

UserDr Matthieu Piquerez (INRIA, Université de Nantes).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 11 May 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

Navigating the Future: Upcoming EU AI Regulation and its Potential Impact on the Field

Zoom 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.

UserMiri Zilka, University of Cambridge.

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

ClockWednesday 10 May 2023, 11:00-12:30

Mobile and Wearable Health Seminar Series

Towards regulatory acceptance of digital outcome measures for Parkinson’s Disease

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

UserGeorge Roussos (Birkbeck College London).

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 09 May 2023, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Smooth vector bundles in Lean

Hybrid talk (please see abstract for link)

UserProfessor Heather Macbeth (Fordham University).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 04 May 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

Learning-based multiscale modeling: computing, data science, and uncertainty quantification

Zoom 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.

UserBurigede Liu.

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

ClockWednesday 03 May 2023, 11:00-12:30

Mobile and Wearable Health Seminar Series

Using consumer wearables for clinical decision making

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

UserPeter Charlton (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 02 May 2023, 16:00-17:00

Engineering - Dynamics and Vibration Tea Time Talks

Bogie Damage: Train or Track?

UserDr Stuart Grassie, Railmeasurement Ltd.

HouseJDB Seminar Room, CUED.

ClockFriday 28 April 2023, 16:00-17:00

CUED Control Group Seminars

Vector-based steering control in the insect brain

UserBarbara Webb, University of Edinburgh.

HouseDepartment of Engineering / Online (Zoom).

ClockThursday 27 April 2023, 14:00-15:00

Machine Learning Reading Group @ CUED

Neural Tangent Kernel

Zoom 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.

UserAdrian Goldwaser and Lauro Langosco (University of Cambridge) .

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

ClockWednesday 19 April 2023, 11:00-12:30

Machine Learning Reading Group @ CUED

No-regret Dynamics for Multi-agent Learning

Zoom 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.

UserAlexander Terenin (University of Cambridge).

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

ClockWednesday 12 April 2023, 11:00-12:30

Machine Learning Reading Group @ CUED

Scalable Approaches to Self-Supervised Learning using Spectral Analysis

Zoom 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.

UserRoss Viljoen and Vincent Dutordoir (University of Cambridge).

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

ClockWednesday 05 April 2023, 11:00-12:30

Machine Learning Reading Group @ CUED

Physics-informed machine learning

Zoom 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.

UserPingfang Song (University of Cambridge).

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

ClockWednesday 29 March 2023, 11:00-12:30

Machine Learning Reading Group @ CUED

Causal Machine Learning

Zoom 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.

UserWenlin Chen, Julien Horwood & Juyeon Heo (University of Cambridge).

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

ClockWednesday 22 March 2023, 11:00-12:30

Please see above for contact details for this list.

 

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