Computational Neuroscience

In-Context Learning

Yashar Ahmadian; Nandini Shiralkar.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 15 April 2025, 15:00-16:30

Foundation AI

blabla

Cassidy.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Sunday 13 April 2025, 17:00-17:45

Machine Learning Reading Group @ CUED

Out-of-context reasoning/learning in LLMs and its safety implications

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.

Dmitrii Krasheninnikov, Usman Anwar, University of Cambridge.

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

Wednesday 02 April 2025, 11:00-12:30

Foundation AI

Deterministic Neural Syllogistic Reasoning (Part 2) recorded: https://www.youtube.com/watch?v=PFCHg-DAnEs

Tiansi Dong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 31 March 2025, 17:00-17:45

Logic and Semantics Seminar (Computer Laboratory)

Interventions and Counterfactuals for the Working Programmer

Dario Stein (Radboud University).

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Learning to See the World in 3D

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.

Ayush Tewari (University of Cambridge).

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

Wednesday 26 March 2025, 11:00-12:30

Foundation AI

Surgical data using LLMs

Hugo Georgenthum.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 21 March 2025, 17:00-17:45

Logic and Semantics Seminar (Computer Laboratory)

Number of quantifiers in 3-variable logic on linear orders

Lauri Hella (Univeristy of Tampere).

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

An Introduction to In-Context Learning

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.

Juyeon Heo, John Bronskill, University of Cambridge.

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

Wednesday 19 March 2025, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Similarity-based Methods for Language Model Analysis and Prediction

Julius Cheng (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 18 March 2025, 13:00-14:00

Foundation AI

From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning (Part 1).

Tiansi Dong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Foundation AI

Modelling microbiome-mediated epigenetic inheritance of disease risk

Hybrid

Bobby Ranjan.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multimodal AI in Spatial Biology

Note: unusual date compared to regular AI Seminars

Konstantin Hemker (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 13 March 2025, 13:00-14: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.

Cristiana Diaconu, Aliaksandra Shysheya and Andrew McDonald, University of Cambridge.

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

Wednesday 12 March 2025, 11:00-12:30

Computational Neuroscience

Integrating Random Memory Patterns and Spatial Maps in Food-Caching Birds

Speaker to be confirmed.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 11 March 2025, 15:00-16:30

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: AI in Manufacturing

Professor Sebastian Pattinson, Institute for Manufacturing, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 10 March 2025, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Axiomatization of infinity-categories

Bastiaan Cnossen, University of Regensburg.

FW09, Computer Laboratory.

Friday 07 March 2025, 14:00-15:00

Foundation AI

On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning

hybrid : meet.google.com/bhz-scdk-unp

Alvaro Arroyo, University of Oxford.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Thursday 06 March 2025, 17:00-17:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

RO-FIGS: Efficient and Expressive Tree-Based Ensembles for Tabular Data

NOTE unusual date

Urška Matjašec (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 06 March 2025, 13:00-14:00

Machine Learning Reading Group @ CUED

Influence Functions

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.

Adrian Goldwaser, Bruno Mlodozeniec, Runa Eschenhagen, University of Cambridge.

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

Wednesday 05 March 2025, 11:00-12:30

Computational Neuroscience

The Continual Learning (CL) Theory

Sasha Rivkind; Nicolas Anguita.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 04 March 2025, 15:00-16:30

Logic and Semantics Seminar (Computer Laboratory)

CRIS: The power of imagination in specification and verification

Gil Hur (Seoul National University).

SS03, Computer Laboratory.

Tuesday 04 March 2025, 13:00-14:00

Foundation AI

Incorporating Flexibility in Antibody-Antigen Interaction Prediction

Sara Joubbi.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 26 February 2025, 17:30-18:00

Machine Learning Reading Group @ CUED

Sampling with diffusion models

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.

Shreyas Padhy, Jiajun He (University of Cambridge).

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

Wednesday 26 February 2025, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: The Road to Zero Carbon Cement

Dr. Cyrille Dunant, Cambridge University Engineering Department.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 24 February 2025, 19:30-21:00

Foundation AI

Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks

Niccolò Grillo.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 24 February 2025, 18:45-19:15

Foundation AI

Network modelling and Graph Neural Networks for emergency healthcare management

Annamaria Defilippo, PhD Student - Magna Graecia University of Catanzaro.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 24 February 2025, 18:00-18:30

Foundation AI

Harnessing Large Language Models for Medical Data Processing: Structured Information Extraction, Disease Classification, and RAG Integration 

Cristian Cosentino (Università della Calabria).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 24 February 2025, 17:30-20:30

Foundation AI

From Machine Learning to Machine Reasoning -- Why Machine Learning Cannot Reach the Rigour of Logical Reasoning? recorded: https://www.youtube.com/watch?v=x38GySbuGJg

Tiansi Dong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 20 February 2025, 17:00-17:45

Machine Learning Reading Group @ CUED

Geometric Deep Learning for Structure-Based Drug Design

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.

Zixing Song.

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

Wednesday 19 February 2025, 11:00-12:30

Computational Neuroscience

Hopfield Networks: From Neuroscience to Machine Learning and Back

Youjing Yu; Tim Lin.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 18 February 2025, 15:00-16:30

Computational Neuroscience

Certain about uncertainty? Latent representations of VAEs optimized for visual tasks.

Josefina Catoni, Universidad Nacional del Litoral.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 12 February 2025, 15:00-16:30

Machine Learning Reading Group @ CUED

Diffusion Models Beyond Mean Prediction

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.

Mingtian Zhang, University College London.

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

Wednesday 12 February 2025, 11:00-12:30

Computational Neuroscience

Neural circuit reorganisation and functional resilience

Noor Sajid, Max Planck for Biological Cybernetics.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 11 February 2025, 15:45-16:30

Computational Neuroscience

Inverse normative modeling of continuous perception and action

Dominik Straub, TU Darmstadt.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 11 February 2025, 15:00-15:45

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Psychological Inoculation Against Misinformation

Professor Sander L. van der Linden, Department of Psychology, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 10 February 2025, 19:30-21:00

Machine Learning Reading Group @ CUED

Unpacking UK’s New AI Action Plan: Ambition versus Reality

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.

Miri Zilka and Usman Anwar, University of Cambridge.

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

Wednesday 05 February 2025, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Text-and-audio methods

Cătălina Cangea, ex-Google DeepMind.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 04 February 2025, 13:00-14:00

Machine Learning Reading Group @ CUED

An Introduction to Algorithmic Differentiation

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.

Will Tebbutt (University of Cambridge).

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

Wednesday 29 January 2025, 11:00-12:30

Machine Learning Reading Group @ CUED

An Introduction to Algorithmic Differentiation

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.

Will Tebbutt (University of Cambridge).

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

Wednesday 29 January 2025, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

SynFlowNet: Design of Synthesisable Molecules with GFlowNets

Miruna Cretu (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 28 January 2025, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Electric Jet Engines and Cricket Ball Swing

Dr Sam Grimshaw, The Whittle Laboratory, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 27 January 2025, 19:30-21:00

Machine Learning Reading Group @ CUED

Foundation Models in Robotics

Liyou Zhou (Cambridge).

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

Wednesday 22 January 2025, 11:00-12:30

Computational Neuroscience

Data-driven models of neural and behavioural learning

N Alex Cayco Gajic, École Normale Supérieure.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 21 January 2025, 15:00-16:30

Foundation AI

Multi-Head Explainer: A General Framework to Improve Explainability in CNNs and Transformers

record: https://youtu.be/iuT_tkVEgA4

Bohang Sun(Bob) University of Electronic Science and Technology of China.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 17 January 2025, 15:00-16:00

Computational Neuroscience

Evaluating dynamical systems hypotheses for pattern generation in motor cortex

Lea Duncker, Columbia.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 07 January 2025, 15:00-16:30

Computational Neuroscience

Modelling C. elegans pharynx

Dana Sherman, Weizmann.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 07 January 2025, 11:00-11:30

Machine Learning Reading Group @ CUED

Learning curve prediction for AutoML

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.

Andy Lin.

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

Wednesday 04 December 2024, 11:00-12:30

Machine Learning Reading Group @ CUED

Learning curve prediction for AutoML

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.

Andy Lin.

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

Wednesday 04 December 2024, 11:00-12:30

Computational Neuroscience

Relating the diversity of firing rates to the dimension of variability in recurrent networks

Brent Doiron, University of Chicago.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 03 December 2024, 14:00-15:30

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Geological disposal of our radioactive waste legacy.

Professor Neil Hyatt is Chief Scientific Adviser to Nuclear Waste Services, Aegis Professor of Deep Time at The University of Bristol.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 02 December 2024, 19:30-21:00

Foundation AI

Constrained Neural Flows

https://meet.google.com/cwu-sumr-qzq

Chandan Gupta.

Venue to be confirmed.

Friday 29 November 2024, 17:00-17:45

Machine Learning Reading Group @ CUED

An Elementary Introduction to Sequential Monte Carlo Samplers

Xianda Sun (University of Cambridge).

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

Wednesday 27 November 2024, 11:00-12:30

Foundation AI

Expanding the borders of Multimodal Graph Learning with Sheaf Neural Networks

Mar Gonzàlez i Català.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 26 November 2024, 17:20-18:00

Computational Neuroscience

State space models (as alternatives to Transformers)

Yashar Ahmadian; Qingyun Chen.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 26 November 2024, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Controlling Behavioral Diversity in Multi-Agent Reinforcement Learning

Matteo Bettini (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 26 November 2024, 13:00-14:00

Machine Learning Reading Group @ CUED

Scalable Sampling Using Annealed Algorithms

Saifuddin Syed (University of Oxford).

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

Wednesday 20 November 2024, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Bias Mitigation in the Wild: Challenges and Opportunities

Mateo Espinosa Zarlenga (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 19 November 2024, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Is recycling just a load of rubbish?

Dr. Claire Barlow, Institute for Manufacturing, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 18 November 2024, 19:30-21:00

Machine Learning Reading Group @ CUED

Are we making progress in unlearning? 

Eleni Triantafillou (Google DeepMind).

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

Wednesday 13 November 2024, 11:00-12:30

Computational Neuroscience

Geometry of neural representations

Carl Ashworth; Ishan Kalburge.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 12 November 2024, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Natural Experiments in NLP and Where to Find Them

Pietro Lesci (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 12 November 2024, 13:00-14:00

Machine Learning Reading Group @ CUED

Natural Experiments in NLP and Where to Find Them

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.

Pietro Lesci, University of Cambridge.

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

Wednesday 06 November 2024, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Paying Attention to Efficiency: LLM Deployment on Mobile and Edge Devices

Stefanos Laskaridis, Brave Software.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 05 November 2024, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Next Gen asset tracking using battery-free Internet of Things and Artificial Intelligence

Dr. Sabesan Sithamparanathan OBE, PervasID Ltd., St. Johns Innovation Centre, Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 04 November 2024, 19:30-21:00

Machine Learning Reading Group @ CUED

Linear Attention for Efficient Transformers

Isaac Reid (University of Cambridge).

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

Wednesday 30 October 2024, 11:00-12:30

Computational Neuroscience

Sensory prediction errors in thalamocortical circuits

Daniel Kornai; Máté Lengyel.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 29 October 2024, 13:30-15:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Celebrating the contribution of viral sequencing to the COVID-19 pandemic response.

Professor Sharon Peacock, Professor of Public Health and Microbiology, University of Cambridge; Director and Chair of the COVID-19 Genomics UK (COG-UK) consortium.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 21 October 2024, 19:30-21:00

Computational Neuroscience

Geometry of population coding in large and transcriptomically-identified cortical populations

Ken Harris, University College London.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Friday 11 October 2024, 17:00-18:00

Foundation AI

Sheaves for Heterogeneous Data

Luke Braithwaite.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 27 September 2024, 17:00-18:00

Foundation AI

Enhancing Climate Prediction with Knowledge-Infused Deep Learning Models

Simone Monaco, Politecnico if Torino.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 26 September 2024, 17:00-18:00

Foundation AI

Sheaves for Heterogeneous Data

Luke Braithwaite (University of Cambridge, Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 23 August 2024, 17:00-18:00

Robotics Seminar Series

Reinforcement Learning and Learning-guided Search for Generalizability for Multi-agent Mobility Systems

Cathy Wu, MIT.

Department of Computer Science and technology, FW26.

Thursday 18 July 2024, 16:30-17:30

Cambridge ML Systems Seminar Series

Navigating Privacy Risks in Language Models

Peter Kairouz -- Google.

West 2, West Hub (https://www.westcambridgehub.uk/visit).

Tuesday 16 July 2024, 15:00-16: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.

Vihari Piratla, University of Cambridge.

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

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

Computational Neuroscience

Causal inference during motion perception, and its neural basis

Ralf Haefner, Department for Brain & Cognitive Sciences, University of Rochester.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Monday 24 June 2024, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

Magnus Myreen ( Chalmers University, Sweden).

TBC - probably SS03, Computer Laboratory.

Friday 21 June 2024, 14:00-15:00

Computational Neuroscience

Learning Bayesian inference models of cortical visual processing

Rodrigo Echeveste, sinc(i), Santa Fe, Argentina.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 18 June 2024, 10:00-11:00

Machine Learning @ CUED

Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis

Hugues Van Assel; École Normale Supérieure de Lyon.

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

Thursday 13 June 2024, 11:00-12:00

Machine Learning @ CUED

Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis

Hugues Van Assel; École Normale Supérieure de Lyon.

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

Thursday 13 June 2024, 11:00-12:00

Machine Learning @ CUED

Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis

Hugues Van Assel; École Normale Supérieure de Lyon.

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

Thursday 13 June 2024, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Segmenting the biological causes of hearing loss

Professor Karen P. Steel PhD, FMedSci, FRS, Wolfson Sensory, Pain and Regeneration Centre, King's College London.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 10 June 2024, 19:30-21:00

Foundation AI

How deep can LLMs reason? Benchmarking GPT and Llama models on nested mathematical formulas

Flavio Petruzzellis, Universita' di Padova.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 07 June 2024, 17:00-18:00

Computational Neuroscience

Computational Neuroscience Journal Club

Speaker to be confirmed.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 05 June 2024, 14:00-16: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.

Tim Hargreaves, Tor Fjelde, University of Cambridge.

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

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

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Physics IS Enhancing Machine Learning

Dr Alice Cicirello, Data, Vibration and Uncertainty Group, Department of Engineering.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 27 May 2024, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unveiling Causal Drivers of Non-Communicable Diseases with Interpretable Models

Sheresh Zahoor.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 24 May 2024, 17:15-18: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

Mike Sikic, Genome Institute of Singapore .

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Circuit for memory-based action selection

Marta Zlatic, Department of Zoology, University of Cambridge.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Friday 24 May 2024, 10:00-11:00

Computational Neuroscience

Integrated Spin model with global inhibition for decision making

Nir Gov, Weizmann Institute of Science.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Monday 20 May 2024, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

A selective and biased choice of techniques for building a distributed data store

Paweł T. Wojciechowski, Poznan University of Technology.

SS03, Computer Laboratory.

Tuesday 14 May 2024, 12:00-13:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Creating brain organoids to uncover what makes us human.

Dr. Madeline Lancaster, MRC Laboratory of Molecular Biology.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 13 May 2024, 19:30-21:00

Computational Neuroscience

Unifying the mechanisms of the hippocampal and prefrontal cognitive maps

James Whittington, Sir Henry Wellcome Postdoctoral Fellow, Stanford University & Oxford University.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 08 May 2024, 12:15-13:15

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia, Youjing Yu.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 01 May 2024, 14:00-16:00

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

Adrian Goldwaser, University of Cambridge.

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

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

Andrej Bauer, University of Ljubljana.

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The UK AI Safety Institute

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: What to do about plastics?

Professor Jonathan Cullen, Department of Engineering, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 29 April 2024, 19:30-21: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.

Bruno Mlodozeniec, Julien Horwood, Runa Eschenhagen.

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

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

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

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

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

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.

Dmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

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

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.

Yanzhi Chen, University of Cambridge.

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

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

Computational Neuroscience

Neurotransmitter receptor gradients: gateways for subcortical routing of cortex-wide dynamics during cognition

Seán Froudist-Walsh, U Bristol.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 19 March 2024, 10:00-11:00

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.

Jihao Andeas Lin, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

TacticAI: an AI assistant for football tactics

Zhe Wang (DeepMind).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 12 March 2024, 13:00-14:00

Computational Neuroscience

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

Incoming faculty at Carnegie Mellon University's Department of Psychology and Postdoc the MRC Cognition and Brain Sciences Unit.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 12 March 2024, 10:00-11:00

Computational Neuroscience

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

Jonathan Tsay - Incoming faculty at Carnegie Mellon University's Department of Psychology and currently postdoc at the MRC Cognition and Brain Sciences Unit in Cambridge.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 12 March 2024, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

Choice Principles in Observational Type Theory

Loïc Pujet (University of Stockholm).

SS03, Computer Laboratory.

Friday 08 March 2024, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED

POSTPONED. Sorry for inconvenience.

Prof. Tom Chittenden (BioAI Health & QMUL).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Picking raspberries with robots.

Professor Martin Fodstad Stølen, Western Norway University of Applied Sciences/Fieldwork Robotics Ltd..

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 04 March 2024, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Epimorphisms and Acyclic Types in Univalent Mathematics

Tom de Jong, University of Nottingham.

SS03, Computer Laboratory.

Friday 01 March 2024, 14:00-15:00

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.

Matt Ashman and Cristiana Diaconu.

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

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

Computational Neuroscience

Title to be confirmed

Guillaume Hennequin (University of Cambridge).

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 27 February 2024, 15:00-17:00

Computational Neuroscience

Computational Neuroscience Journal Club

Guillaume Hennequin (University of Cambridge).

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 27 February 2024, 15:00-17:00

Machine Learning @ CUED

Consistent Validation for Predictive Methods in Spatial Settings

David Burt, MIT.

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

Friday 23 February 2024, 13:00-14:00

Foundation AI

Towards Machine Learning-enhanced Monitoring

Andrea Brunello and Nicola Saccomanno, University of Udine.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Dr Theoklitos Amvrosiadis (University of Cambridge).

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 21 February 2024, 14:00-16:00

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.

James Allingham and Bruno Mlodozeniec .

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

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

Cambridge Society for the Application of Research (CSAR)

CANCELLED: CSAR lecture: Graphene, Two Dimensional Materials & Delivering the Future of Electronic Devices

Dr. Simon Thomas, Paragraf Ltd..

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 19 February 2024, 19:30-21:00

Foundation AI

Opinion dynamics inspired sheaf neural networks.

Ferran Hernandez Caralt.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 16 February 2024, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

Elizabeth Polgreen, University of Edinburgh.

SS03, Computer Laboratory.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Changmin Yu ( Gatsby Computational Neuroscience Unit, UCL, London, UK).

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Wednesday 14 February 2024, 14:00-16: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.

Andrew McDonald and Kenza Tazi, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning to Receive Help: Intervention-Aware Concept Embedding Models

Mateo Espinosa Zarlenga (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 13 February 2024, 13:00-14: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.

Tor Fjelde and Will Tebbutt, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Learning-Powered Networked Systems

Michael Schapira (Hebrew University of Jerusalem).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 06 February 2024, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: A multi-cancer early detection test - TBC

Professor Mark Middleton, University of Oxford Department of Oncology; Cancer Research UK Oxford Centre.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 05 February 2024, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Text-and-audio methods

Catalina Cangea (Google DeepMind).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 30 January 2024, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

HKUST (Hong Kong University of Science and Technology).

SS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Towards Secure Distributed Choreographies

Andrew K. Hirsch (Buffalo).

SS03, Computer Laboratory.

Friday 26 January 2024, 14:00-15:00

Foundation AI

Personalising Crutch Geometries through Bayesian Optimisation

Riccardo Conci, University of Cambridge.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 24 January 2024, 19:00-20:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities

Partha Maji (Tenstorrent).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 23 January 2024, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Development of a combined digital and biomarker test for Bipolar Disorder.

Professor Sabine Bahn, Cambridge Centre for Neuropsychiatric Research .

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 22 January 2024, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Vibe checks and red teaming: why ML researchers are increasingly reverting to manual evaluation

Arduin Findeis (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 16 January 2024, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

Reese Levine, University of California Santa Cruz.

SS03, Computer Laboratory.

Friday 12 January 2024, 14:00-15: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.

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

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

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

Machine Learning @ CUED

Modern Bayesian Experimental Design

Dr Tom Rainforth, OxCSML Group in the Department of Statistics at the University of Oxford.

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

Tuesday 28 November 2023, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Unlocking cellular reprogramming to reverse ageing and age-driven diseases.

Dr. Daniel Ives, Shift Bioscience.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 27 November 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical semantics for neural networks

Charlotte Aten, University of Denver.

Lecture Theatre 2, Computer Laboratory.

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

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.

Dr Miri Zilka and Katie Collins, University of Cambridge.

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

Wednesday 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

Philipp Holliger (MRC Laboratory of Molecular Biology).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Dr Theoklitos Amvrosiadis, Puria Radmard.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 21 November 2023, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data

Konstantin Hemker (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 21 November 2023, 13:00-14: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.

Greg Flamich, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Speaker to be confirmed.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Speaker to be confirmed.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 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

Arne Schneuing & Ilia Igashov (EPFL).

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

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

Cambridge Society for the Application of Research (CSAR)

ESA HydroGNSS Scout – A Small Satellite Mission Sensing Climate Variables using GNSS Reflectometry

Dr Martin Unwin, Surrey Satellite Technology Ltd.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 13 November 2023, 19:30-21:00

Foundation AI

Multi-Agent Graph Learning-Based Optimization and its Applications to Computer Networks

Guillermo Bernárdez Gil, UPC Barcelona.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 08 November 2023, 17:00-18:00

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.

Dr Pingfan Song, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multi-Agent Simulation and Learning in TorchRL

Matteo Bettini (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 07 November 2023, 13:00-14:00

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.

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 31 October 2023, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 31 October 2023, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 31 October 2023, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

Social prescribing - beyond pills

Professor Sir Sam Everington, Bromley by Bow Health Partnership, Tower Hamlets.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 30 October 2023, 19:30-21:00

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.

Spencer Frei, UC Davis.

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

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

Foundation AI

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

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia, Edward Young.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 24 October 2023, 14:00-15: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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Coherence by Normalization for Linear Multicategorical Structures

Federico Olimpieri, University of Leeds.

SS03, Computer Laboratory.

Friday 20 October 2023, 14:00-15:00

Foundation AI

Spectral Graph Neural Network: Polynomial Approximation and Optimization

Keke Huang, National University of Singapore.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 18 October 2023, 17:30-18:30

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

John Baez, University of California Riverside.

LT1, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Quasi-Monte Carlo: structure in the randomness for better sampling

Isaac Reid, University of Cambridge.

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

Wednesday 18 October 2023, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

On Learning Latent Models with Multi-Instance Weak Supervision

Efi Tsamoura (Samsung AI, Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 17 October 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: FlexEnable: Taking Organic Electronics from Lab to Fab

Dr. Mike Banach, FlexEnable Technology Ltd., Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 16 October 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

How to prove - hopefully - that polynomial time is not choiceless

Benedikt Pago.

SS03, Computer Laboratory.

Friday 13 October 2023, 14:00-15:00

Computational Neuroscience

A new look at eye design

Simon Laughlin, Department of Zoology, Cambridge.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 10 October 2023, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Department of Zoology, Cambridge.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Tuesday 10 October 2023, 14:00-15:00

Computational Neuroscience

Structured recognition for generative models with explaining away

Changmin Yu, Gatsby Computational Neuroscience Unit, UCL, London, UK.

CBL Seminar Room, Engineering Department, 4th floor Baker building.

Monday 02 October 2023, 13:30-14:30

Machine Learning @ CUED

Visit and talk by Jay McClelland: "Some thoughts on the differences between human and machine intelligence"

Jay McClelland, Stanford University .

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

Thursday 14 September 2023, 15:00-17:00

Foundation AI

Subgraphs

hybrid zoom and presence

Speaker to be confirmed.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 28 August 2023, 17:00-18:00

Foundation AI

Ethical and legal aspects of AI training in healthcare

join us also with zoom

Chiara Gallese, University of Turin.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 22 August 2023, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sediment core analysis using artificial intelligence

Gianluca Carlini.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 21 July 2023, 18:00-18:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Scattering Networks and Singular Values Decomposition: different methods to remove background in Single-Molecule Localization Microscopy image

hybrid (zoom link at the end of the abstract)

Lisa Cuneo, University of Genova and Istituto Italiano di Tecnologia .

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Friday 21 July 2023, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

David Monniaux, CNRS/VERIMAG and École Polytechnique.

FW11, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sphere Neural-Network for Higher-level Cognition

join us also with zoom

Tiansi Dong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 18 July 2023, 17:00-18:00

Machine Learning @ CUED

Compositional mathematics and automatic gradient descent

Jeremy Bernstein, MIT.

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

Friday 14 July 2023, 11:00-12: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.

Hanchen Wang, Stanford CS and Genentech gRED.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Is ChatGPT adequate for decision-making?

Victor O.K. Li, University of Hong Kong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 27 June 2023, 13:00-14: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.

Stratis Markou and Shreyas Padhy.

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

Wednesday 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

Jason Yim, EECS, MIT.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Puria Radmard.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 20 June 2023, 14:00-16: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!

Pietro Barbiero (University of Cambridge).

zoom only!.

Tuesday 20 June 2023, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

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

SS03, Computer Laboratory.

Friday 16 June 2023, 14:00-15: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.

Katie Collins, University of Cambridge.

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

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

Katie Collins, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED: Interpretable Neural-Symbolic Concept Reasoning

This talk has moved to 20 June 2023.

Pietro Barbiero (University of Cambridge).

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

Tuesday 13 June 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Developments in neuroscience (TBC)

Professor Jack Price, Institute for Psychiatry, Psychology, & Neuroscience. King’s College London.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 12 June 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

RoboCert: A Formal Specification Notation for Robotic Software

Matthew Windsor, University of York.

SS03, Computer Laboratory.

Friday 09 June 2023, 14:00-15: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

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

Seminar Room FW26, Computer Laboratory, William Gates Building.

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia and David Lui.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 06 June 2023, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Information Spreading on Networks

NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03

Charlotte Out.

Computer Lab, SS03.

Tuesday 06 June 2023, 13:00-14: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.

Tor Fjelde and Tim Hargreaves, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Will Greedy, University of Bristol.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 30 May 2023, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Hypergraph Factorisation for Multi-Tissue Gene Expression Imputation

NOTE: Room changed, now Lecture Theatre 1

Ramon Vinas Torne.

Lecture Theatre 1, Computer Laboratory, William Gates Building and Zoom.

Tuesday 30 May 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

The Unsung Heroes of the Discovery of the Double Helix

Professor Malcolm Longair, Cavendish Laboratory, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 29 May 2023, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

MaRF: Representing Mars as Neural Radiance Fields

Lorenzo Giusti, Universita' La Sapienza.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 29 May 2023, 18:00-19:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unveiling Bounded Confidence Dynamics in Sheaf Neural Networks

Olga Zaghen, University of Trento.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 29 May 2023, 16:30-17:30

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.

Usman Anwar, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Improving learning with noisy labels in two possibile scenarios.

Maria Sofia Bucarelli, La Sapienza University.

Lecture Theatre 2.

Tuesday 23 May 2023, 17:30-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Relative Entropy Coding for Learned Data Compression

Greg Flamich, Engineering Department (Cambridge).

Lecture Theatre 2.

Tuesday 23 May 2023, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Integrating Radiomics and Explainable Methods: Paving the Way for Transparent and Interpretable Medical Imaging Analysis

Francesco Prinzi, University of Palermo.

Lecture Theatre 2.

Friday 19 May 2023, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Dimensionality Reduction via Probabilistic Inference

Aditya Ravuri (University of Cambridge).

Lecture Theatre 2.

Tuesday 16 May 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Light, sight and the wonders of the eye…. with a focus on the lens

Prof. Barbara Pierscionek, Medical Technology Research Centre, Anglia Ruskin University.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 15 May 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

Andrés Goens, University of Edinburgh.

SS03, Computer Laboratory.

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

Machine Learning @ CUED

Convergence bounds for the Random Walk Metropolis algorithm - Perspectives from Isoperimetry

Sam Power, University of Bristol.

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

Thursday 11 May 2023, 11:00-12: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.

Miri Zilka, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic

Andrei Popescu, University of Sheffield.

SS03, Computer Laboratory.

Friday 05 May 2023, 14:00-15: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.

Burigede Liu.

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

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

Cambridge Society for the Application of Research (CSAR)

The CASSIOPeiA Solar Power Satellite: Dispatchable Green Energy from Space

Ian Cash, M.Eng, International Electric Company.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 01 May 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

Giannos Stamoulis, University of Montpellier.

SS03, Computer Laboratory.

Friday 28 April 2023, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Alejandro Tabas and Theoklitos Amvrosiadis.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 25 April 2023, 14:00-16: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.

Adrian Goldwaser and Lauro Langosco (University of Cambridge) .

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

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

Alexander Terenin (University of Cambridge).

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

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

Ross Viljoen and Vincent Dutordoir (University of Cambridge).

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

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

Pingfang Song (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Marine Schimel (CBL), Guillaume Hennequin (CBL), Alfonso Renart (Champalimaud).

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 28 March 2023, 14:00-16:00

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.

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

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

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

Machine Learning Reading Group @ CUED

User Manipulation in Recommender 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.

Micah Carroll (UC Berkeley).

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

Wednesday 15 March 2023, 11:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

Graduality and Parametricity - Together again for the first time, for the second time

Philip Wadler, University of Edinburgh.

SS03, Computer Laboratory.

Tuesday 14 March 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stochastic games and strategy complexity

Mahsa Shirmohammadi, University of Oxford.

FW11, Computer Laboratory.

Friday 10 March 2023, 14:00-15:00

Machine Learning Reading Group @ CUED

Random Features for Kernel Approximation

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.

Isaac Reid (University of Cambridge).

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

Wednesday 08 March 2023, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

The adolescent brain

Professor Sarah-Jayne Blakemore, Department of Psychology, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 06 March 2023, 19:30-21:00

Machine Learning Reading Group @ CUED

An Overview of Differential Privacy, Membership Inference Attacks, and Federated 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.

Ali Shahin Shamsabadi (Alan Turing Institute) and John Bronskill (University of Cambridge).

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

Wednesday 01 March 2023, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Structure-based Drug Design and Molecular Optimisation with Diffusion Models

Charlie Harris, University of Cambridge.

Lecture Theatre 2.

Tuesday 28 February 2023, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

Chris Barrett, University of Birmingham.

SS03, Computer Laboratory.

Friday 24 February 2023, 14:00-15:00

Machine Learning Reading Group @ CUED

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

James Allingham, Javier Antorán, Vincent Fortuin (University of Cambridge).

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

Wednesday 22 February 2023, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Luke Johnston, Wayne Soo.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 21 February 2023, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Networks for High-Dimensional Tabular Biomedical Datasets

Andrei Margeloiu (University of Cambridge).

Lecture Theatre 2.

Tuesday 21 February 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Are there solutions for plastic degradation in protein sequence space?

Professor Florian Hollfelder, Department of Biochemistry, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 20 February 2023, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Relative representations enable zero-shot latent space communication

Organized by Donato Crisostomi and Pietro Barbiero

Luca Moschella, Sapienza University of Rome.

Lecture Theatre 2.

Wednesday 15 February 2023, 14:00-17:00

Machine Learning Reading Group @ CUED

Offline Reinforcement 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.

Max Patacchiola (University of Cambridge), Stephen Chung (University of Cambridge), Adam Jelley (University of Edinburgh).

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

Wednesday 15 February 2023, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Puria Radmard and David Liu.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 14 February 2023, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Composite Feature Selection using Deep Ensembles

Alex Norcliffe - University of Cambridge.

Lecture Theatre 2.

Tuesday 14 February 2023, 13:00-14:00

Machine Learning Reading Group @ CUED

{PF}^2ES: Parallel Feasible Pareto Frontier Entropy Search for Multi-Objective Bayesian Optimization Under Unknown Constraints

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.

Jixiang Qing, SUMO lab, Ghent University,.

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

Wednesday 08 February 2023, 11:00-12:30

Computational Neuroscience

The unbreakable lightness of single neuron non-linearities in learning

Yasser Roudi, Kavli Institute for Systems Neuroscience.

CBL Seminar Room (in person), Engineering Department, 4th floor Baker building.

Tuesday 07 February 2023, 13:30-14:30

Cambridge Society for the Application of Research (CSAR)

Advanced Raman Spectroscopy and Emerging Applications

Professor Pavel Matousek, Central Laser Facility, STFC Rutherford Appleton Laboratory, Harwell, UK..

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 06 February 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

Meven Lennon-Bertrand, University of Cambridge.

SS03, Computer Laboratory.

Friday 03 February 2023, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

When Vision Transformers Meet Cooperative Perception

Runsheng Xu, UCLA (USA).

Online (Zoom).

Tuesday 31 January 2023, 13:00-14:00

Machine Learning @ CUED

Calls to F the Algorithm: Lessons from the 2020 Exam Debacle

Roger Taylor, former Chair of Ofqual.

Cambridge University Engineering Department, Lecture Room 4.

Monday 30 January 2023, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

Matthew Parkinson, Microsoft Research.

SS03.

Friday 27 January 2023, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Concept Embedding Models: Beyond the Accuracy-Explainability Trade-off

Mateo Espinosa Zarlenga (University of Cambridge).

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

Tuesday 24 January 2023, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Feeding Britain: should this rich country feed itself more or rely on others’ land and labour?

Professor Timothy Lang, Centre for Food Policy, City University London.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 23 January 2023, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

Monday 19 December 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

Monday 19 December 2022, 11:00-12:00

Machine Learning Reading Group @ CUED

Scalable simulation and inference in non-Gaussian stochastic PDEs

David Duvenaud (University of Toronto).

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

Thursday 15 December 2022, 11:00-12:00

Machine Learning @ CUED

Scalable simulation and inference in non-Gaussian stochastic PDEs

David Duvenaud (University of Toronto).

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

Thursday 15 December 2022, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Edward Young, Zahara Girones.

CBL Seminar Room (in person), Engineering Department, 4th floor Baker building.

Tuesday 06 December 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

Manuel Araujo, University of Cambridge.

SS03.

Friday 02 December 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Distance Function based Cascaded Neural Network for accurate Polyps Segmentation and Classification

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Yuanhong Jiang, Shanghai Jiao Tong University.

Lecture Theatre 2.

Thursday 01 December 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Approximate Equivariance SO(3) Needlet Convolution

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Kai Yi, University of New South Wales (UNSW) in Sydney.

Lecture Theatre 2.

Wednesday 30 November 2022, 17:00-18:00

Computational Neuroscience

Understanding the emergence of neural population dynamics underlying behaviour

Juan Alvaro Gallego.

CBL Seminar Room (in person), Engineering Department, 4th floor Baker building.

Tuesday 29 November 2022, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

An Overview of Rolls-Royce SMR.

Tom Peacock, Component Lead, Steam Generator & Heat Exchangers, Rolls-Royce SMR..

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 28 November 2022, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Global Explainability of GNNs via Logic Combination of Learned Concepts

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Steve Azzolin.

Online (Zoom).

Friday 25 November 2022, 17:00-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

The Interpretability of Graph Neural Networks

Join Zoom Meeting https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Han Xuanyuan, Dept of Computer Science and Technology, University of Cambridge.

FW11 + zoom.

Friday 25 November 2022, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

The linear operator semantics of probabilistic programs

Fredrik Dahlqvist, UCL.

SS03.

Friday 25 November 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Feynman Diagrams using Graph Neural Networks

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Harrison Mitchell, dept of Physics Cambridge.

lecture theatre 2 dept of computer science and zoom.

Thursday 24 November 2022, 17:00-18:00

Machine Learning @ CUED

Measuring Alignment Between Perceptual Systems: An Analysis Through The Lens of Shared Invariances

Vedant Nanda, MPI-SWS + University of Maryland .

Hybrid meeting, CBL seminar room, and Zoom https://talks.cam.ac.uk/talk/edit/192845.

Thursday 24 November 2022, 11:30-12:30

Machine Learning Reading Group @ CUED

Information Geometry — Natural Gradient Descent

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.

Andy Lin, MLG.

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

Wednesday 23 November 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia and Mate Lengyel.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 22 November 2022, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Multi-Scene Absolute Pose Regression with Transformers

Yoli Shavit, Huawei TRC and Bar-Ilan University, Israel.

Zoom.

Tuesday 22 November 2022, 13:00-14:00

Machine Learning @ CUED

Gaussian processes, spectral analysis kernels and optimal transport

Felipe Tobar, Universidad de Chile.

CBL Seminar Room.

Tuesday 22 November 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

Alex Kavvos, University of Bristol.

SS03.

Friday 18 November 2022, 14:00-15:00

Machine Learning @ CUED

Deep Reinforcement Learning for Multi-Agent Interaction

Stefano Albrecht, Edinburgh.

Hybrid, CBL Seminar room, Department of Engineering, and Zoom https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Thursday 17 November 2022, 11:00-12:30

Machine Learning Reading Group @ CUED

Predicting generalization of ML models.

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.

Vihari Piratla and Shreyas Padhy.

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

Wednesday 16 November 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Albert Qiaochu Jiang (University of Cambridge).

Lecture Theatre 2 and Zoom.

Tuesday 15 November 2022, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Hydrogen-Electric Propulsion for a Clean Aviation Future

Dr. Sergey Kiselev, Zeroavia.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 14 November 2022, 19:30-21:00

Machine Learning @ CUED

Presenting Hawk-Eye’s Skeletrack: Our machine learning approach to building a real time skeletal tracking system for sports, and how we're using it to shape the future of fan engagement

Lachan Thorpe, Hawk-Eye Innovations.

Lecture Theatre 6 (LT6), Department of Engineering.

Monday 14 November 2022, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

Ulrik Buchholtz, University of Nottingham.

SS03.

Friday 11 November 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

A tutorial on diffusion models

Emile, Sasha from CBL.

Cambridge University Engineering Department, CBL Seminar room BE4-38. Zoom link available upon request..

Wednesday 09 November 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann and Yashar Ahmadian.

In Person (CBL Seminar Room) and Online on Zoom.

Tuesday 08 November 2022, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Geometric Graphs

Chaitanya K. Joshi, Simon V. Mathis.

Lecture Theatre 2 and Zoom.

Tuesday 08 November 2022, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

Dmitry Chistikov, University of Warwick.

SS03.

Friday 04 November 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

AI for Science: An Oral Report from a Recent Dagstuhl Workshop

Neil Lawrence.

Lecture Theatre 2.

Tuesday 01 November 2022, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Dyslexia, Rhythm, Language and the Developing Brain

Prof. Usha Goswami, Department of Psychology, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 31 October 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Coherent differentiation makes the differential lambda-calculus deterministic

Thomas Ehrhard, University of Paris.

SS03.

Friday 28 October 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Benchmarking and evaluation in contemporary machine learning

Austin Tripp and Shoaib Siddiqui, University of Cambridge.

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

Wednesday 26 October 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and David Liu.

Online on Zoom.

Tuesday 25 October 2022, 14:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

ACMP: Allen-Cahn Message Passing with Attractive and Repulsive Forces for Graph Neural Networks

https://cl-cam-ac-uk.zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

Yu Guang Wang.

Lecture Theatre 2.

Tuesday 25 October 2022, 13:00-14:00

Computational Neuroscience

Random walks, self-reinforcement and neurons

Daniel Han, MRC Laboratory of Molecular Biology, Cambridge, UK.

Cambridge University Engineering Department, CBL, BE-438 .

Monday 24 October 2022, 10:30-11:30

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

Ambroise Lafont, University of Cambridge.

SS03.

Friday 21 October 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Query-based Hard-Image Retrieval for Object Detection at Test Time

Ed Ayers, Five AI.

Lecture Theatre 2.

Tuesday 18 October 2022, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture - Where do we do go next with antimicrobial resistance?

Prof. Stephen Baker, Cambridge Inst. for Therapeutic Immunology & Infectious Disease.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 17 October 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

Taichi Uemura, University of Stockholm.

SS03.

Friday 14 October 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Advanced artificial agents intervene in the provision of reward

Michael Cohen, University of Oxford.

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

Wednesday 12 October 2022, 11:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

Michael Benedikt, University of Oxford.

SS03.

Monday 10 October 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Verification for free: using K to build a theorem prover for any language

Bruce Collie, Runtime Verification.

SS03.

Friday 07 October 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Cancelled! Sorry for inconvenience.

Danielle Belgrave, DeepMind.

Zoom.

Tuesday 04 October 2022, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

Lauri Hella, Tampere University.

SS03.

Thursday 29 September 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Lauri Hella, University of Helsinki.

SS03.

Thursday 29 September 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Theory and Practice of Infinitely Wide Neural Networks - Guest Talk

Roman Novak, Google Brain.

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

Wednesday 28 September 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Backward Compatible Embeddings

hybrid event (https://cl-cam-ac-uk.zoom.us/j/92564083880?pwd=Wk5DVWpUc2lIN0krMFU5azEwUGpEUT09)

Weihua Hu, Stanford University and Google.

Lecture Theatre 2 (https://cl-cam-ac-uk.zoom.us/j/92564083880?pwd=Wk5DVWpUc2lIN0krMFU5azEwUGpEUT09).

Friday 02 September 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

Steve Awodey, Carnegie Mellon University.

FW26.

Tuesday 30 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

András Kovács, Eötvös Loránd University.

FW11.

Monday 22 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Decoding Nets: A Formal Take on Address Translation

Ben Fiedler, ETH.

FW26.

Thursday 28 July 2022, 16:00-17:00

Machine Learning Reading Group @ CUED

The unreasonable effectiveness of mathematics in large scale deep learning

Greg Yang, Microsoft Research.

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

Wednesday 06 July 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

The Problem of Size Generalization in Graph Neural Networks

Recording: https://www.youtube.com/watch?v=W4jNbgtBl_k

Davide Buffelli , Universita' di Padova.

Lecture theatre and zoom (https://cl-cam-ac-uk.zoom.us/j/96155557207?pwd=VXlyUVZidVRxWFRaWS9tak1SUjV3Zz09 ID: 961 5555 7207 Passcode: 913748).

Monday 04 July 2022, 17:00-18:00

Machine Learning Reading Group @ CUED

The role of meta-learning for few-shot classification

Eleni Triantafillou, Google Brain.

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

Wednesday 29 June 2022, 11:00-12:30

Machine Learning @ CUED

Noise-Aware Differentially Private Synthetic Data

Antti Honkela, University of Helsinki.

Hybrid, CBL Seminar room, Department of Engineering, and Zoom https://eng-cam.zoom.us/j/89002493651?pwd=B_2gKl7va_h0CQ9yoMPSbn2ifYLGi4.1.

Tuesday 28 June 2022, 11:00-12:00

Machine Learning Reading Group @ CUED

Benefits and Shortcomings of Assistance

Dmitrii Krasheninnikov and Lauro Langosco, University of Cambridge.

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

Wednesday 22 June 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neighbourhood matching creates realistic surrogate temporal networks

Antonio Longa, FBK.

Lecture theatre and zoom (https://cl-cam-ac-uk.zoom.us/j/97150757190?pwd=Q2Nib09aVi9CRFptSFY3NlZGUnhUdz09).

Monday 20 June 2022, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

Mikołaj Bojanczyk, University of Warsaw.

SS03.

Friday 17 June 2022, 14:00-15:00

Machine Learning @ CUED

Estimating RSV seasonality from pandemic disruptions: a modelling study

Fabienne Krauer, The London School of Hygiene & Tropical Medicine.

Hybrid, CBL Seminar room, and Zoom https://eng-cam.zoom.us/j/84968458381?pwd=TWM5ZkF2bjdBM09jaVlJZHRUTFlFUT09.

Thursday 16 June 2022, 11:00-12:00

Machine Learning Reading Group @ CUED

Discussion: Pre-Train Your Loss: Easy Bayesian Transfer Learning with Informative Priors

Speaker to be confirmed.

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

Wednesday 15 June 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Sequence Models for Mathematical Reasoning

RESCHEDULED, NOTE THE UNUSUAL TIME

Yuhuai(Tony) Wu, Stanford University & Google.

Zoom.

Tuesday 14 June 2022, 16:00-17:00

Computational Neuroscience

Computational Neuroscience Journal Club

Jakub Onysk and Yul Kang.

Online on Zoom.

Tuesday 14 June 2022, 15:00-16:30

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Are we alone?

Dr. Robin Catchpole, Institute of Astronomy, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 13 June 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

Hugo Paquet, University of Oxford.

SS03.

Friday 10 June 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Discussion: Learning PAC-Bayes Priors for Probabilistic Neural Networks

Speaker to be confirmed.

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

Wednesday 08 June 2022, 11:00-12:30

Machine Learning Reading Group @ CUED

Rethinking evaluation for machine learning models

Adrian Goldwaser & Shoaib Siddiqui.

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

Wednesday 01 June 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Wayne Soo.

Online on Zoom.

Tuesday 31 May 2022, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multi-fidelity machine learning models for improved high-throughput screening predictions

David Buterez.

Zoom.

Tuesday 31 May 2022, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Harnessing cancer patients’ own immune system to control disease.

Professor Ann Ager, Professor of Cellular Immunity and Immunotherapy, Cardiff University.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 30 May 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

Vikraman Choudhury, University of Indiana.

SS03.

Friday 27 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Vikraman Choudhury, University of Indiana.

SS03.

Friday 27 May 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Discussion: Bayesian Model Selection, the Marginal Likelihood, and Generalization

Speaker to be confirmed.

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

Wednesday 25 May 2022, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

Projectile Fusion A new challenge in applied computational science and engineering

Dr. Nathan Joiner, First Light Fusion, Yarnton, Oxfordshire.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 23 May 2022, 19:30-21:00

Computational Neuroscience

How a recurrent circuit of Poisson spiking neurons is able to implement sampling-based inference

Wen-Hao Zhang.

Online on Zoom.

Tuesday 17 May 2022, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Lifted Relational Neural Networks

Gustav Šir, Czech Technical University in Prague.

Zoom.

Tuesday 17 May 2022, 13:15-14:15

Machine Learning @ CUED

Beyond Conformal Prediction: Distribution-Free Uncertainty Quantification for Complex Machine Learning Tasks

Anastasios Angelopoulos, PhD student at UC Berkeley.

Hybrid meeting, CBL seminar room, and Zoom https://eng-cam.zoom.us/j/84829493214?pwd=HI3JJJ8nrt6O8AELEzbXvT8ZoBj51t.1.

Friday 13 May 2022, 11:30-12:30

Machine Learning Reading Group @ CUED

How close are these distributions? A brief introduction to statistical distances and divergences.

David Burt, University of Cambridge.

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

Wednesday 11 May 2022, 11:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

Dan Marsden, University of Oxford.

SS03.

Friday 06 May 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Bests of ICLR

Speaker to be confirmed.

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

Wednesday 04 May 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

On the Two-fold Role of Logic Constraints in Deep Learning

https://cl-cam-ac-uk.zoom.us/j/99805544705?pwd=cXR6MTlaeXd6VmEreVdQSmFRblBtUT09

Dr Gabriele Ciravegna, Inria – Université Côte d'Azur.

Zoom + presence (lecture theatre 2) .

Friday 29 April 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

David Richerby, University of Essex.

SS03.

Friday 29 April 2022, 14:00-15:00

Machine Learning @ CUED

Graph neural network approach for decentralized multi-robot coordination

University of Cambridge.

Hybrid meeting, CBL seminar room, and Zoom https://eng-cam.zoom.us/j/87988930234?pwd=eHRGTHFtUE9UL0pJOWNtdDF2VDN2UT09.

Thursday 21 April 2022, 11:00-12:00

Machine Learning Reading Group @ CUED

Machine Learning with Quantum Computers

Amira Abbas and Maria Schuld.

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

Wednesday 20 April 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

David Liu and Edward Young.

Online on Zoom.

Tuesday 05 April 2022, 13:30-15:00

Machine Learning Reading Group @ CUED

Autoregressive Diffusion Models

Emiel Hoogeboom.

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

Wednesday 30 March 2022, 11:00-12:30

Machine Learning Reading Group @ CUED

An Overview of AI Alignment

Neel Alex, University of Cambridge.

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

Wednesday 23 March 2022, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Protein self-assembly - From fundamentals to applications in materials and drug discovery

Prof. Tuomas Knowles, Physical Chemistry and Biophysics, U. of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 21 March 2022, 19:30-21:00

Machine Learning Reading Group @ CUED

The Bayesian Learning Rule for Adaptive AI

Emti Khan, RIKEN center for Advanced Intelligence Project.

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

Wednesday 16 March 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning as an assay for high-dimensional biology

Sara Mostafavi, University of Washington, USA.

Zoom.

Tuesday 15 March 2022, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

Anupam Das, University of Birmingham.

FW26.

Friday 11 March 2022, 14:00-15:00

Logic & Semantics for Dummies

Constructive Classical Logic?

David Berry.

FW09 - William Gates Building.

Thursday 10 March 2022, 11:00-12:00

Machine Learning Reading Group @ CUED

Introduction to differential privacy

Talay Cheema & Ferenc Huszar (University of Cambridge).

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

Wednesday 09 March 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Flavia Mancini and Finn Ashley.

Online on Zoom.

Tuesday 08 March 2022, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Work in progress: Making efficient use of language models for theorem proving

Albert Qiaochu Jiang (University of Cambridge).

Zoom.

Tuesday 08 March 2022, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Gravitational waves: space-time mavericks in the cosmos.

Professor Alberto Vecchio PhD, FRAS, Professor of Astrophysics, Director of the Institute of Gravitational Wave Astronomy, University of Birmingham.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 07 March 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

Marie Fortin, University of Liverpool.

FW26.

Friday 04 March 2022, 14:00-15:00

Logic & Semantics for Dummies

The encode-decode method for equality types

Alex Rice (University of Cambridge).

FW09 - William Gates Building.

Thursday 03 March 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

Prakash Panangaden, McGill University and University of Edinburgh.

FW26.

Friday 25 February 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Retrieval Augmented NLP

Jiri Hron and Nitarshan Rajkumar (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 23 February 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED till next week!!!! Work in progress: Making efficient use of language models for theorem proving

Postponed till next week

Albert Qiaochu Jiang (University of Cambridge).

Zoom.

Tuesday 22 February 2022, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

A Cambridge vaccine, targeting SARS-CoV-2 variants and related Coronaviruses

Professor Jonathan Heeney, Lab of Viral Zoonotics, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 21 February 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

David Richerby, University of Essex.

FW26.

Friday 18 February 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Circuits and Interpretability

Lauro Langosco, Elre Oldewage and Juyeon Heo(University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 16 February 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs

Cris Bodnar.

Zoom.

Tuesday 15 February 2022, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Relational databases versus relational models

Alex Gurney, WebFlow.

FW26.

Friday 11 February 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Optimal Transport Metrics

Shreyas Padhy, University of Cambridge.

Cambridge University Engineering Department ,LR3A.

Wednesday 09 February 2022, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and Michal Wojcik.

Online on Zoom.

Tuesday 08 February 2022, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets

Felix Opolka.

Zoom.

Tuesday 08 February 2022, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Achieving sustainable productivity in agriculture through beneficial microbial associations.

Prof. Giles E. D. Oldroyd, FRS, Crop Science Centre, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 07 February 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Categorical Foundations of Gradient-Based Learning

Fabio Zanasi, UCL.

FW26.

Friday 04 February 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Learned Compression

Gergely Flamich and Stratis Markou (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 02 February 2022, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Brain charts for the human lifespan

Richard Bethlehem, Autism Research Centre & Brain Mapping Unit, University of Cambridge.

Zoom.

Tuesday 01 February 2022, 13:15-14:15

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Marine Schimel.

Online on Zoom.

Tuesday 25 January 2022, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Advancing mathematics by guiding human intuition with AI

Alex Davies and Petar Velickovic (DeepMind).

Zoom.

Tuesday 25 January 2022, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Next-Generation Solar Photovoltaics

Dr. Sam Stranks, Chemical Eng. & Biotechnology/Cavendish Lab.

Location: With luck, Wolfson Lecture Theatre, Churchill College.

Monday 24 January 2022, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software

Mukesh Tiwari, University of Cambridge.

tba.

Friday 21 January 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Diffusion and Score-based Generative Models

Vincent Dutordoir, Wenlin Chen, Tor Fjelde (University of Cambridge).

Cambridge University Engineering Department, LR12.

Wednesday 19 January 2022, 11:00-12:30

Machine Learning Reading Group @ CUED

AI Safety

Neel Alex.

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

Wednesday 12 January 2022, 11:00-12:30

Machine Learning Reading Group @ CUED

[Cancelled] Best of Neurips

Speaker to be confirmed.

Online-only.

Wednesday 15 December 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Daniel Turner-Evans and Hannah Haberkern.

Online on Zoom.

Tuesday 07 December 2021, 15:00-16:30

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

Peter LeFanu Lumsdaine, Stockholm University.

FW26.

Friday 03 December 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Energy-Based Models

Stratis Markou and James Allingham (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 01 December 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

An Introduction to Federated Learning and its Applications in Medicine

Blaise Thomson, Bitfount.

Zoom.

Tuesday 30 November 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Early detection of cancer: learning from the oesophagus, or how long is a piece of string?

Professor Rebecca Fitzgerald, Professor of Cancer Prevention and Interim Director at the MRC Cancer Unit, University of Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 29 November 2021, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

Simon Forest, University of Aix-Marseille.

FW26.

Friday 26 November 2021, 14:00-15:00

Computational Neuroscience

Connectivity inference in visual cortex and characterization of contrast-suppressed cells

Simon Renner, Ludwig-Maximilians-Universität München.

Online on Zoom.

Friday 26 November 2021, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Georgia Turner and Falvia Mancini.

Online on Zoom.

Tuesday 23 November 2021, 13:30-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning on Graphs with Missing Node Features

Emanuele Rossi, Twitter & Imperial College.

Zoom.

Tuesday 23 November 2021, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Towards a geometry for syntax

Jon Sterling, University of Aarhus.

SS03.

Friday 19 November 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Deep Kernels

Sebastian Ober and Austin Tripp (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 17 November 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Cellular: CW Networks

Cristian Bodnar (University of Cambridge) and Fabrizio Frasca (Imperial College, Twitter).

Zoom.

Tuesday 16 November 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Deep AI Research in Health and Life Sciences

Dr. Kenji Takeda, Director of Academic Health and AI Partnerships, Microsoft Research, Cambridge.

Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 15 November 2021, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Enriched categories for optimal transport

Simon Willerton, University of Sheffield.

FW26.

Friday 12 November 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Mean Field Theory of NN (postponed to March 2022)

Speaker to be confirmed.

Cambridge University Engineering Department ,LR3A.

Wednesday 10 November 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Gido van de Ven.

Online on Zoom.

Tuesday 09 November 2021, 14:00-15:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Gaussian Processes on Graphs via Spectral Kernel Learning

Yin-Cong Zhi, Oxford Man Institute.

Zoom.

Tuesday 09 November 2021, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

A formal context for metric semantics

Radu Mardare, University of Strathclyde.

FW26.

Friday 05 November 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Representation Learning: A Causal Perspective

Yixin Wang.

https://eng-cam.zoom.us/j/86187336902?pwd=eUtxZGsvandXQ1dXKzJkWXdlTFpqQT09.

Thursday 04 November 2021, 15:30-17:00

Machine Learning Reading Group @ CUED

Ethics, Integrity and Good Practice in ML

Ross Clarke (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

Wednesday 03 November 2021, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

The Pye Story: The history of one of Cambridge’s iconic technology companies.

Dr. Bob Bates, The Pye Foundation.

Location: With luck, Wolfson Lecture Theatre, Churchill College.

Monday 01 November 2021, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

Dan Iorga, Imperial College London.

FW26.

Friday 29 October 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Implicit Regularization in Deep Learning

Jezabel Garcia, Alberto Bernacchia (MediaTek Research).

Cambridge University Engineering Department ,LR3A.

Wednesday 27 October 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Wayne Soo.

Online on Zoom.

Tuesday 26 October 2021, 14:00-15:30

Logic and Semantics Seminar (Computer Laboratory)

CaTT, a type-theory to describe weak omega-categories

Thibaut Benjamin, CEA Tech.

FW26.

Friday 22 October 2021, 14:00-15:00

Machine Learning Reading Group @ CUED

Planning Meeting + PI Presentations

CBL and Computer Lab PIs.

Cambridge University Engineering Department ,LR3A.

Wednesday 20 October 2021, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

The Productivity Puzzle

Professor Diane Coyle, Department of Politics and International Studies (POLIS), University of Cambridge.

Location: With luck, Wolfson Lecture Theatre, Churchill College.

Monday 18 October 2021, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Software in 2021: Patterns and Problems

Ross Duncan, Cambridge Quantum Computing.

FW26.

Friday 15 October 2021, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Guillaume Hennequin and Kris Jensen.

Online on Zoom.

Tuesday 12 October 2021, 14:00-15:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

3D Pre-training improves GNNs for Molecular Property Prediction

Hannes Stark, TU Munich.

Zoom.

Tuesday 12 October 2021, 13:15-14:15

Computational Neuroscience

Computational Neuroscience Journal Club

Marine Schimel and David Liu.

Online on Zoom.

Tuesday 28 September 2021, 14:00-15:30

Machine Learning Reading Group @ CUED

Towards Neuro-Causality: Relating Graph Neural Networks to Structural Causal Models

Matej Zecevic, TU Darmstadt.

https://cuhk-edu-cn.zoom.us/j/91529611509?pwd=WFBqeFdVc3J1cE9rV2NaMXJtM2RQQT09.

Friday 24 September 2021, 14:00-15:00

Logic & Semantics for Dummies

The formal theory of theories

Nathanael Arkor (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 27 August 2021, 15:00-16:00

Machine Learning Reading Group @ CUED

CBL Alumni Talk - Task-specific routing of information in neural circuits via structured noise by Cristina Savin

Cristina Savin, New York University.

https://eng-cam.zoom.us/j/85184505624?pwd=WnhWZWR1SjhxUXFDOWtPT2c2cG90Zz09.

Friday 09 July 2021, 16:00-17:00

Logic & Semantics for Dummies

A modular approach to formalising combinatorial structures

Chelsea Edmonds (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 09 July 2021, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

CSAR Forum - Bridging the Gap

Speakers from Arm, Microsoft and the University of Cambridge..

Location: Zoom. See CSAR website for joining information..

Tuesday 06 July 2021, 18:00-19:15

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Nonlinear filtering as a unifying principle in neuroscience by Jean-Pascal Pfister

Jean-Pascal Pfister, University of Zurich and ETH Zurich.

https://eng-cam.zoom.us/j/84626937837?pwd=RC95RTdybkRlNHhOcThjclQzYUxkdz09.

Friday 02 July 2021, 16:00-17:00

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Georgia Turner.

Online on Zoom.

Tuesday 29 June 2021, 15:00-16:30

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Nanomanufacturing, batteries and the energy transition.

Professor Michael de Volder, University of Cambridge.

Location: Zoom. See CSAR emails for joining information..

Monday 21 June 2021, 19:30-21:00

Logic & Semantics for Dummies

Proof Synthesis with Free Extensions in Intensional Type Theory

Nathan Corbyn (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 18 June 2021, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Wayne Soo.

Online on Zoom.

Tuesday 15 June 2021, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unlocking Deep Learning for Graphs

Dominique Beaini, Valence Discovery, MILA, Canada.

Zoom.

Tuesday 15 June 2021, 13:15-14:15

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Finale Doshi-Velez

Finale Doshi-Velez, Harvard University.

https://eng-cam.zoom.us/j/89542469691?pwd=bVJjdXJGd3BkaDk1SHk3a1dLZzlZUT09.

Friday 11 June 2021, 16:00-17:00

Machine Learning Reading Group @ CUED

Pseudo-Points and State-Space Gaussian Processes

Will Tebbutt (University of Cambridge).

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 09 June 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Structure-aware generation of molecules in protein pockets

Pavol Drotar.

Zoom.

Tuesday 08 June 2021, 13:15-14:15

Category Theory Seminar

Cartesian differential categories as skew enriched categories

Richard Garner (Macquarie University).

Zoom (Meeting ID 926 3105 8994, passcode 345661).

Tuesday 08 June 2021, 10:00-11:30

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Asteroids, comets and impacts: should we worry?

Dr. Robin Catchpole, Institute of Astronomy, Cambridge.

Location: Zoom. See CSAR emails for joining information..

Monday 07 June 2021, 19:30-21:00

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Latent Stochastic Differential Equations: An Unexplored Model Class.

David Duvenaud, University of Toronto.

https://eng-cam.zoom.us/j/84495932262?pwd=MlFJL3Z3c1JmenFOY2xJQTNPSzdsQT09.

Friday 04 June 2021, 16:00-17:00

Logic & Semantics for Dummies

Quotient inductive types and QW types: part II

Shaun Steenkamp (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 04 June 2021, 11:00-12:00

Computational Neuroscience

Capacity and errors in classification of object manifolds

Uri Cohen (Hebrew University of Jerusalem).

Online on Zoom.

Thursday 03 June 2021, 10:00-11:15

Machine Learning Reading Group @ CUED

The Statistical Finite Element Method

Mark Girolami (University of Cambridge).

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 02 June 2021, 11:00-12:30

Category Theory Seminar

Categorical Models of Explicit Substitutions

Valeria de Paiva (Topos Institute).

Zoom (Meeting ID 996 6732 5570, passcode 109362).

Tuesday 01 June 2021, 16:15-17:15

Computational Neuroscience

Computational Neuroscience Journal Club

Mate Lengyel and Jasmine Stone.

Online on Zoom.

Tuesday 01 June 2021, 15:00-16:30

Logic & Semantics for Dummies

Quotient inductive types and QW types

Shaun Steenkamp (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 28 May 2021, 11:00-12:00

Category Theory Seminar

Categorical composable cryptography

Martti Karvonen (University of Ottawa).

Zoom (Meeting ID 937 8091 1329, passcode 001582).

Tuesday 25 May 2021, 16:15-17:15

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Ice templating for Regenerative Medicine - using ice to define cell-guiding frameworks for healing

Professor Ruth Cameron, Department of Materials Science and Metallurgy, University of Cambridge.

Location: Zoom. See CSAR emails for joining information..

Monday 24 May 2021, 19:30-21:00

Logic & Semantics for Dummies

Markov categories: towards a syntax for probability

Paolo Perrone (University of Oxford).

https://meet.google.com/jxy-edcv-wgx.

Friday 21 May 2021, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Jean-Pascal Pfister and Xizi Li.

Online on Zoom.

Tuesday 18 May 2021, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Geometric Deep Learning: Grids, Graphs, Groups, Geodesics, and Gauges

Petar Veličković.

Zoom.

Tuesday 18 May 2021, 13:15-14:15

Machine Learning Reading Group @ CUED

CBL Alumni Talk - Our Power as Technical Designers

Shakir Mohamed, Deepmind.

https://eng-cam.zoom.us/j/84960287802?pwd=N1pTZGpKMjhhMTVVV1RNSS9Gc3Jqdz09.

Friday 14 May 2021, 16:00-17:00

Logic & Semantics for Dummies

Semantics of monad transformers

Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 14 May 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Best of ICLR

Speaker to be confirmed.

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 12 May 2021, 11:00-12:30

Category Theory Seminar

The Gödel fibration

Davide Trotta (University of Pisa).

Zoom (Meeting ID 945 3662 6774, passcode 086714).

Tuesday 11 May 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks

Fabrizio Frasca, Yu Guang and Cris Bodnar.

Zoom.

Tuesday 11 May 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Sounding out wearable and audio data for health diagnostics.

Professor Cecilia Mascolo, Professor of Mobile Systems, Department of Computer Science and Technology; Co-director for the Centre for Mobile, Wearable Systems and Augmented Intelligence, Cambridge University.

Location: Zoom. See CSAR emails for joining information..

Monday 10 May 2021, 19:30-21:00

Logic & Semantics for Dummies

Higher-order algebraic theories and relative monads

Nathanael Arkor (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 07 May 2021, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Zahara Girones and Ivan Tomic.

Online on Zoom.

Tuesday 04 May 2021, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Robust and Reliable Model Explanations

Hima Lakkaraju, Harvard University .

Zoom.

Tuesday 04 May 2021, 13:15-14:15

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Accurate Gaussian Processes and how they can help Deep Learning

Mark van der Wilk, Imperial College London.

https://eng-cam.zoom.us/j/82969702755?pwd=L0dIVnlwSHJHV2NGbUQ1cmxpYjIyUT09.

Friday 30 April 2021, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data

Sarah Morgan.

Zoom.

Tuesday 27 April 2021, 13:15-14:15

Machine Learning Reading Group @ CUED

An Introduction to PAC-Bayes

Andrew Foong, David Burt and Javier Antoran (University of Cambridge).

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 21 April 2021, 11:00-12:30

Machine Learning Reading Group @ CUED

Automated Augmented Conjugate Inference for Gaussian Processes

Théo Galy-Fajou (TU Berlin).

https://eng-cam.zoom.us/j/81961210430?pwd=cUZGbzU4NzJickd5THlsYzJ4cmlndz09.

Tuesday 20 April 2021, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Graphene and GaN - From Basic Science to Manufacturing Devices

Prof Sir Colin Humphreys, Professor of Materials Science, Queen Mary University of London..

Location: Zoom. See CSAR emails for joining information..

Monday 19 April 2021, 19:30-21:00

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Examining Critiques in Bayesian Deep Learning

Andrew Gordon Wilson.

https://eng-cam.zoom.us/j/82969702755?pwd=L0dIVnlwSHJHV2NGbUQ1cmxpYjIyUT09.

Friday 16 April 2021, 16:00-17:00

Machine Learning Reading Group @ CUED

Online Learning and Online Convex Optimisation

Siddharth Swaroop (University of Cambridge).

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 14 April 2021, 11:00-12:30

Machine Learning Reading Group @ CUED

Monte Carlo Gradient Estimation in Machine Learning

James Allingham (University of Cambridge).

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 07 April 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Jonathan So.

Online on Zoom.

Tuesday 06 April 2021, 15:00-16:30

Machine Learning Reading Group @ CUED

Secondmind's research activities to make Gaussian Processes industry proof

Nicolas Durrande, Director of Research at Secondmind.

https://eng-cam.zoom.us/j/82019956685?pwd=WUNSVVcrdC9IZGxQOHFhSThjUjd2dz09.

Wednesday 31 March 2021, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Innovation - the engine of economic growth

Lord David Sainsbury, University of Cambridge.

Location: Zoom. See CSAR emails for joining information..

Monday 29 March 2021, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

Andrew Pitts, University of Cambridge.

Online.

Friday 26 March 2021, 14:00-15:00

Logic & Semantics for Dummies

Semantics of monad transformers

Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 26 March 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Failure Modes of Variational Autoencoders and Their Effects on Downstream Tasks

Yaniv Yacoby, Harvard University.

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 24 March 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and Marine Schimel.

Online on Zoom.

Tuesday 23 March 2021, 15:00-16:30

Logic & Semantics for Dummies

Categorical models of dependent type theory II

Nathanael Arkor (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 19 March 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Gaussian Processes I have Known

Anthony O'Hagan, University of Sheffield.

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 17 March 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning

Qingbiao Li.

Zoom.

Tuesday 16 March 2021, 13:15-14:15

Logic & Semantics for Dummies

Categorical gluing and logical relations

Mathieu Huot.

https://meet.google.com/jxy-edcv-wgx.

Friday 12 March 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Causal Representation Learning

Chaochao Lu, University of Cambridge.

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 10 March 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jascha Achterberg and Kris Jensen.

Online on Zoom.

Tuesday 09 March 2021, 15:00-16:30

Category Theory Seminar

A characterisation of the category of compact Hausdorff spaces

Luca Reggio (University of Oxford).

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 09 March 2021, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Computational foundations of morphogenomics

Bianca Dumitrascu.

Zoom.

Tuesday 09 March 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Space Weather - exploring the science, impacts and challenges posed by space weather.

Professor Richard B. Horne, Head of Space Weather and Atmosphere, British Antarctic Survey..

Location: Zoom. See CSAR emails for joining information..

Monday 08 March 2021, 19:30-21:00

Logic & Semantics for Dummies

Descriptive Complexity

Felipe Ferreira Santos.

https://meet.google.com/jxy-edcv-wgx.

Friday 05 March 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Long-Range Transformers

Valerii Likhosherstov, University of Cambridge.

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 03 March 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Landscape and Gaps in Open Source Fairness Toolkits

Michelle Lee.

Zoom.

Tuesday 02 March 2021, 13:15-14:15

Logic & Semantics for Dummies

Categorical models of dependent type theory

Nathanael Arkor (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 26 February 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Inference in Stochastic Processes

Javier Antoran (University of Cambridge), Matthew Ashman (University of Cambridge), Stratis Markou (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 24 February 2021, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

David Liu and Jeroen Olieslagers.

Online on Zoom.

Tuesday 23 February 2021, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning and String theory

Challenger Mishra.

Zoom.

Tuesday 23 February 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Driving Insurance Innovation: Data Science and Research at Aviva

Simon Warsop, FIA, Life Analytics Director | Partner, Aviva Quantum Data Science and Research at Aviva.

Location: Zoom. See CSAR emails for joining information..

Monday 22 February 2021, 19:30-21:00

Machine Learning Reading Group @ CUED

Fairness in AI

Elre Oldewage (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 17 February 2021, 11:00-12:30

Category Theory Seminar

On the categorical structure behind Galois theories

David Blázquez-Sanz, Universidad Nacional de Colombia.

Zoom (Meeting ID 993 6591 2480, passcode 493042).

Tuesday 16 February 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural ODE Processes

Cris Bodnar, Alex Norcliffe, Ben Day, Jacob Moss .

Zoom.

Tuesday 16 February 2021, 13:15-14:15

Logic & Semantics for Dummies

Monoidal categories

Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 12 February 2021, 11:00-12:00

Machine Learning Reading Group @ CUED

Variational Bayes as Surrogate Regression

Will Tebbutt (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 10 February 2021, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

The Hunt for Exoplanets

Professor Didier Queloz, Department of Physics, University of Cambridge.

Location: Your choice. See CSAR website or emails for joining information..

Monday 08 February 2021, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning under model misspecification

Andrés R. Masegosa, Universidad de Almería (Spain).

Zoom.

Tuesday 02 February 2021, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

Christopher Pulte, University of Cambridge.

Online.

Friday 29 January 2021, 14:00-15:00

Logic & Semantics for Dummies

The presheaf model of abstract syntax and variable binding

Dima Szamozvancev (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 29 January 2021, 11:00-12:00

Category Theory Seminar

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

Zoom (Meeting ID 943 7534 6045, passcode 252455).

Tuesday 26 January 2021, 16:15-17:15

Category Theory Seminar

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

Zoom (Meeting ID 943 7534 6045, passcode 252455).

Tuesday 26 January 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Latent Action Space for Offline Reinforcement Learning

Wenxuan Zhou, Carnegie Mellon University (USA).

Zoom.

Tuesday 26 January 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Hydrogen: Its Role in the UK Economy

Professor Nigel Brandon, Imperial College London.

Location: Zoom. See CSAR emails for joining information..

Monday 25 January 2021, 19:30-21:00

Machine Learning Reading Group @ CUED

Bayesian optimization / Gaussian Process Bandits

Sattar Vakili (MediaTek Research).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 20 January 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Debugging Machine Learning Code

Svet Penkov, Efemarai.

Zoom.

Tuesday 19 January 2021, 13:15-14:15

Machine Learning Reading Group @ CUED

Meta-reinforcement learning

Kris Jensen and Calvin Kao (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 13 January 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting material properties with the help of machine learning

Bingqing Cheng.

Zoom.

Tuesday 12 January 2021, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

The End of the World (again) .... or, Lessons from the Black Death

Professor John Robb, Professor of European Prehistory, University of Cambridge Department of Archaeology.

Location: Zoom. See CSAR emails for joining information..

Monday 11 January 2021, 19:30-21:00

Computational Neuroscience

A theory for Hebbian Learning in recurrent E-I networks

Samuel Eckmann (Max Planck Institute for Brain Research, Frankfurt am Main, Germany).

Online on Zoom (recorded).

Friday 18 December 2020, 09:00-10:00

Machine Learning Reading Group @ CUED

Best of NeurIPS

Speaker to be confirmed.

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 16 December 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Calvin Kao and Marine Schimel.

Online on Zoom.

Tuesday 15 December 2020, 15:00-16:30

Logic & Semantics for Dummies

Introduction to infinity categories

Alex Rice (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 11 December 2020, 11:00-12:00

Computational Neuroscience

The covariance perceptron: Theory and application to reservoir computing

Matthieu Gilson, Sofia Lawrie (Universitat Pompeu Fabra).

Online on Zoom.

Wednesday 09 December 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?

Gabriele Corso.

Zoom.

Tuesday 08 December 2020, 13:15-14:15

Machine Learning Reading Group @ CUED

Neural Processes

Andrew Foong, Stratis Markou and Sebastian Ober (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 02 December 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Gido van de Jen.

Online on Zoom.

Tuesday 01 December 2020, 15:00-16:30

Category Theory Seminar

Isotropy Groups of Quasi-Equational Theories

Jason Parker, Brandon University.

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 01 December 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wasserstein Natural Gradients for Reinforcement Learning

Ferenc Huszár.

Zoom.

Tuesday 01 December 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Tooth Regeneration and Repair: Dentistry in the 21st century

Professor Paul Sharpe, King's College London, Head of the Centre for Craniofacial & Regenerative Biology, Dickinson Professor of Craniofacial Biology..

Location: Zoom. See CSAR emails for joining information..

Monday 30 November 2020, 19:30-21:00

Logic & Semantics for Dummies

Karoubi envelopes, semifunctors, and the extensional lambda calculus

Nathanael Arkor (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 27 November 2020, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Biomedical Data

Note the change of date and time. This seminar is part of the Wednesday seminar series too.

Marinka Zitnik, Harvard University.

Zoom.

Wednesday 25 November 2020, 15:00-16:00

Machine Learning Reading Group @ CUED

Large-scale sequential experimentation

Wessel Bruinsma and Jiri Hron (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 25 November 2020, 11:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke

Philip Saville, University of Edinburgh.

Online.

Friday 20 November 2020, 14:00-15:00

Logic & Semantics for Dummies

Indexed containers and initial algebras for polynomial endofunctors

Shaun Steenkamp (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 20 November 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Symmetries in Reinforcement Learning

Robert Pinsler and Adria Garriga Alonso (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 18 November 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jasmine Stone (University of Cambridge).

Online on Zoom.

Tuesday 17 November 2020, 15:00-16:30

Category Theory Seminar

A 2-dimensional bifunctor theorem

Graham Manuell.

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 17 November 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

What is Next for the Efficient Machine Learning Revolution?

Nicholas Lane.

Zoom.

Tuesday 17 November 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Is Dementia Preventable?

Professor Gill Livingston, Division of Psychiatry, UCL..

Location: Your choice. See CSAR website or emails for joining information..

Monday 16 November 2020, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

Tomas Jakl, University of Cambridge.

Online.

Friday 13 November 2020, 14:00-15:00

Logic & Semantics for Dummies

Modalities and HoTT

Derek Sorensen.

https://meet.google.com/jxy-edcv-wgx.

Friday 13 November 2020, 13:00-14:00

Machine Learning Reading Group @ CUED

Gradient-based Hyperparameter Optimisation

Ross Clarke (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 11 November 2020, 11:05-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

Alexander Norcliffe.

Zoom.

Tuesday 10 November 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

Vikraman Choudhury, University of Indiana.

Online.

Friday 06 November 2020, 14:00-15:00

Logic & Semantics for Dummies

Distributive Iaws 2: Monadic Boogaloo

Dima Szamozvancev (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 06 November 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Best Papers from ICML 2020

Reading group participants.

https://meet.google.com/wdk-qnzb-iet.

Wednesday 04 November 2020, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Modulated Bayesian Optimisation

Carl Henrik Ek.

Zoom.

Tuesday 03 November 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Osseointegration, approaching 1,000 cases.

Professor Munjed Al Muderis, MB ChB FRACS FAOrthA; Orthopedic Surgeon, School Of Medicine, University Of Notre Dame Australia, Sydney; School of Medicine Macquarie University.

Location: Zoom. See CSAR website or emails for joining information..

Monday 02 November 2020, 09:00-10:30

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

Gregory Wilsenach, University of Cambridge.

Online.

Friday 30 October 2020, 14:00-15:00

Logic & Semantics for Dummies

Distributive laws

Dima Szamozvancev (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 30 October 2020, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Constraining Variational Inference with Geometric Jensen-Shannon Divergence

Jacob Deasy.

Zoom.

Tuesday 27 October 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution

Alasdair Armstrong, University of Cambridge.

Online.

Friday 23 October 2020, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Wayne Soo.

Online on Zoom.

Tuesday 20 October 2020, 15:00-16:30

Category Theory Seminar

Quillen model structures from models of HoTT

Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University).

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 20 October 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting Mortality and Length of Stay with Patient Graph Representation Learning

Emma Rocheteau.

Zoom.

Tuesday 20 October 2020, 13:15-14:15

Computational Neuroscience

Cognitive switches and functional reprogramming of sensory cortex

Abhishek Banerjee, Newcastle University.

Online on google meets.

Friday 16 October 2020, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Incrementality xor currency for monotone fixed points

Michael Arntzenius, University of Cambridge.

Online.

Friday 16 October 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sponge Examples: Energy-Latency Attacks on Neural Networks

Ilia Shumailov.

Zoom.

Tuesday 13 October 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Electronics on the brain

Professor George Malliaras, Prince Philip Professor of Technology, Department of Engineering, University of Cambridge.

Location: Your choice. See CSAR website or emails for joining information..

Monday 12 October 2020, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Algebra in Computer Science

Eric Finster, University of Cambridge.

Online.

Friday 09 October 2020, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and David Liu.

Online on Zoom.

Tuesday 06 October 2020, 15:00-16:30

Machine Learning @ CUED

Efficient and Structured Uncertainty: Challenges and Opportunities

Andrey Malinin, Yandex Research.

Virtual (see abstract for Zoom link).

Wednesday 22 July 2020, 11:00-12:00