yk373's list

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

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.

User Bruno Mlodozeniec, Julien Horwood, Runa Eschenhagen.

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

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

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.

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

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

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

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.

User Dmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

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

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.

User Yanzhi Chen, University of Cambridge.

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

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

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

User Seán Froudist-Walsh, U Bristol.

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

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

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.

User Jihao Andeas Lin, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

TacticAI: an AI assistant for football tactics

User Zhe Wang (DeepMind).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

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

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

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

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

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

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

Choice Principles in Observational Type Theory

User Loïc Pujet (University of Stockholm).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

POSTPONED

POSTPONED. Sorry for inconvenience.

User Prof. Tom Chittenden (BioAI Health & QMUL).

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

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

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

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

Epimorphisms and Acyclic Types in Univalent Mathematics

User Tom de Jong, University of Nottingham.

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

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

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.

User Matt Ashman and Cristiana Diaconu.

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

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

Title to be confirmed

User Guillaume Hennequin (University of Cambridge).

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

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

Computational Neuroscience Journal Club

User Guillaume Hennequin (University of Cambridge).

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

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

Consistent Validation for Predictive Methods in Spatial Settings

User David Burt, MIT.

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

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

Computational Neuroscience Journal Club

User Dr Theoklitos Amvrosiadis (University of Cambridge).

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

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

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.

User James Allingham and Bruno Mlodozeniec .

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

User Dr. Simon Thomas, Paragraf Ltd..

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

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

Synthesis modulo oracles

User Elizabeth Polgreen, University of Edinburgh.

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

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

Computational Neuroscience Journal Club

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

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

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

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.

User Andrew McDonald and Kenza Tazi, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning to Receive Help: Intervention-Aware Concept Embedding Models

User Mateo Espinosa Zarlenga (University of Cambridge).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

User Tor Fjelde and Will Tebbutt, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Learning-Powered Networked Systems

User Michael Schapira (Hebrew University of Jerusalem).

House 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

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

House 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

User Catalina Cangea (Google DeepMind).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

User HKUST (Hong Kong University of Science and Technology).

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

Towards Secure Distributed Choreographies

User Andrew K. Hirsch (Buffalo).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities

User Partha Maji (Tenstorrent).

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

User Professor Sabine Bahn, Cambridge Centre for Neuropsychiatric Research .

House 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

User Arduin Findeis (University of Cambridge).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Testing GPU Memory Consistency at Large

User Reese Levine, University of California Santa Cruz.

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

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

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.

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

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

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

Modern Bayesian Experimental Design

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

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.

User Dr. Daniel Ives, Shift Bioscience.

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

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

House Lecture Theatre 2, Computer Laboratory.

A categorical semantics for neural networks

User Charlotte Aten, University of Denver.

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

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

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.

User Dr Miri Zilka and Katie Collins, University of Cambridge.

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

User Philipp Holliger (MRC Laboratory of Molecular Biology).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

Computational Neuroscience Journal Club

User Dr Theoklitos Amvrosiadis, Puria Radmard.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data

User Konstantin Hemker (University of Cambridge).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

User Greg Flamich, University of Cambridge.

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

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

Computational Neuroscience Journal Club

User Speaker to be confirmed.

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

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

Computational Neuroscience Journal Club

User Speaker to be confirmed.

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

User Arne Schneuing & Ilia Igashov (EPFL).

House 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

User Dr Martin Unwin, Surrey Satellite Technology Ltd.

House 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

User Guillermo Bernárdez Gil, UPC Barcelona.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

User Dr Pingfan Song, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multi-Agent Simulation and Learning in TorchRL

User Matteo Bettini (University of Cambridge).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

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

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

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

Computational Neuroscience Journal Club

User Samuel Eckmann.

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

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

Computational Neuroscience Journal Club

User Samuel Eckmann.

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

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

Computational Neuroscience Journal Club

User Samuel Eckmann.

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

Cambridge Society for the Application of Research (CSAR)

Social prescribing - beyond pills

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

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

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

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

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.

User Spencer Frei, UC Davis.

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

Foundation AI

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

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

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

Computational Neuroscience Journal Club

User Rui Xia, Edward Young.

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

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

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

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

Coherence by Normalization for Linear Multicategorical Structures

User Federico Olimpieri, University of Leeds.

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

House LT1, Computer Laboratory.

Software for Compositional Modeling

User John Baez, University of California Riverside.

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

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

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

User Isaac Reid, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

On Learning Latent Models with Multi-Instance Weak Supervision

User Efi Tsamoura (Samsung AI, Cambridge).

House 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

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

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

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

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

User Benedikt Pago.

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

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

A new look at eye design

User Simon Laughlin, Department of Zoology, Cambridge.

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

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

Computational Neuroscience Journal Club

User Department of Zoology, Cambridge.

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

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

Structured recognition for generative models with explaining away

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

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

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

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

User Jay McClelland, Stanford University .

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sediment core analysis using artificial intelligence

User Gianluca Carlini.

House 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)

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

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

House FW11, Computer Laboratory.

Optimizations in a formally verified compiler

User David Monniaux, CNRS/VERIMAG and École Polytechnique.

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

User Tiansi Dong.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

Compositional mathematics and automatic gradient descent

User Jeremy Bernstein, MIT.

Friday 14 July 2023, 11:00-12:00

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

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.

User Hanchen Wang, Stanford CS and Genentech gRED.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Is ChatGPT adequate for decision-making?

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

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

User Stratis Markou and Shreyas Padhy.

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

User Jason Yim, EECS, MIT.

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

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

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

Computational Neuroscience Journal Club

User Yashar Ahmadian and Puria Radmard.

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!

User Pietro Barbiero (University of Cambridge).

House zoom only!.

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

Formalizing General Calculi with Binders in Rewriting Logic

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

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

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

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.

User Katie Collins, University of Cambridge.

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

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

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.

User Katie Collins, University of Cambridge.

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.

User Pietro Barbiero (University of Cambridge).

House 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)

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

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

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

RoboCert: A Formal Specification Notation for Robotic Software

User Matthew Windsor, University of York.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Friday 09 June 2023, 14:00-15:00

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

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

House Seminar Room FW26, Computer Laboratory, William Gates Building.

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

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

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.

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

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

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

Computational Neuroscience Journal Club

User Rui Xia and David Lui.

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

User Charlotte Out.

House Computer Lab, SS03.

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

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

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.

User Tor Fjelde and Tim Hargreaves, University of Cambridge.

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

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

Computational Neuroscience Journal Club

User Will Greedy, University of Bristol.

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

User Ramon Vinas Torne.

House 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

User Professor Malcolm Longair, Cavendish Laboratory, University of Cambridge.

House 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

User Lorenzo Giusti, Universita' La Sapienza.

House 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

User Olga Zaghen, University of Trento.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

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

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.

User Usman Anwar, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Improving learning with noisy labels in two possibile scenarios.

User Maria Sofia Bucarelli, La Sapienza University.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Relative Entropy Coding for Learned Data Compression

User Greg Flamich, Engineering Department (Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Francesco Prinzi, University of Palermo.

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

Making concurrency functional

User Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Dimensionality Reduction via Probabilistic Inference

User Aditya Ravuri (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

Compound Memory Models

User Andrés Goens, University of Edinburgh.

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

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

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

User Sam Power, University of Bristol.

Thursday 11 May 2023, 11:00-12:00

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

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.

User Miri Zilka, University of Cambridge.

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

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

User Andrei Popescu, University of Sheffield.

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

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

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.

User Burigede Liu.

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

User Ian Cash, M.Eng, International Electric Company.

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

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

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

User Giannos Stamoulis, University of Montpellier.

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

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

Computational Neuroscience Journal Club

User Alejandro Tabas and Theoklitos Amvrosiadis.

Tuesday 25 April 2023, 14:00-16:00

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

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.

User Adrian Goldwaser and Lauro Langosco (University of Cambridge) .

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

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

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.

User Alexander Terenin (University of Cambridge).

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

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

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.

User Ross Viljoen and Vincent Dutordoir (University of Cambridge).

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

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

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.

User Pingfang Song (University of Cambridge).

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

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

Computational Neuroscience Journal Club

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

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

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

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.

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

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

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

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.

User Micah Carroll (UC Berkeley).

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

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

User Philip Wadler, University of Edinburgh.

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

House FW11, Computer Laboratory.

Stochastic games and strategy complexity

User Mahsa Shirmohammadi, University of Oxford.

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

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

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.

User Isaac Reid (University of Cambridge).

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

Cambridge Society for the Application of Research (CSAR)

The adolescent brain

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

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

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

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

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.

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

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

User Charlie Harris, University of Cambridge.

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

The Functional Machine Calculus

User Chris Barrett, University of Birmingham.

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

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

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.

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

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

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

Computational Neuroscience Journal Club

User Luke Johnston, Wayne Soo.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Networks for High-Dimensional Tabular Biomedical Datasets

User Andrei Margeloiu (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

Are there solutions for plastic degradation in protein sequence space?

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

House 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

User Luca Moschella, Sapienza University of Rome.

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

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

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.

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

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

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

Computational Neuroscience Journal Club

User Puria Radmard and David Liu.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Composite Feature Selection using Deep Ensembles

User Alex Norcliffe - University of Cambridge.

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

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

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

User Jixiang Qing, SUMO lab, Ghent University,.

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

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

The unbreakable lightness of single neuron non-linearities in learning

User Yasser Roudi, Kavli Institute for Systems Neuroscience.

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

Cambridge Society for the Application of Research (CSAR)

Advanced Raman Spectroscopy and Emerging Applications

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

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

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

Bidirectional typing is not just an implementation technique

User Meven Lennon-Bertrand, University of Cambridge.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

When Vision Transformers Meet Cooperative Perception

User Runsheng Xu, UCLA (USA).

House Online (Zoom).

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

House Cambridge University Engineering Department, Lecture Room 4.

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

User Roger Taylor, former Chair of Ofqual.

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

When Concurrency Strikes

User Matthew Parkinson, Microsoft Research.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Mateo Espinosa Zarlenga (University of Cambridge).

House 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?

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

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

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

House FW26, Computer Laboratory.

Functional Programming with an Incremental Datalog

User Sebastian Erdweg, Johannes Gutenberg University Mainz.

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

House FW26, Computer Laboratory.

Functional Programming with an Incremental Datalog

User Sebastian Erdweg, Johannes Gutenberg University Mainz.

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

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

Scalable simulation and inference in non-Gaussian stochastic PDEs

User David Duvenaud (University of Toronto).

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

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

Scalable simulation and inference in non-Gaussian stochastic PDEs

User David Duvenaud (University of Toronto).

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

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

Computational Neuroscience Journal Club

User Edward Young, Zahara Girones.

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

String diagrams for semistrict n-categories

User Manuel Araujo, University of Cambridge.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

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

User Yuanhong Jiang, Shanghai Jiao Tong University.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Approximate Equivariance SO(3) Needlet Convolution

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

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

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

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

Understanding the emergence of neural population dynamics underlying behaviour

User Juan Alvaro Gallego.

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

Cambridge Society for the Application of Research (CSAR)

An Overview of Rolls-Royce SMR.

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

House 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

User Steve Azzolin.

House 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

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

House FW11 + zoom.

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

The linear operator semantics of probabilistic programs

User Fredrik Dahlqvist, UCL.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Learning Feynman Diagrams using Graph Neural Networks

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

User Harrison Mitchell, dept of Physics Cambridge.

House lecture theatre 2 dept of computer science and zoom.

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

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

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

User Vedant Nanda, MPI-SWS + University of Maryland .

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

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

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.

User Andy Lin, MLG.

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

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

Computational Neuroscience Journal Club

User Rui Xia and Mate Lengyel.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Multi-Scene Absolute Pose Regression with Transformers

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

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

Gaussian processes, spectral analysis kernels and optimal transport

User Felipe Tobar, Universidad de Chile.

House CBL Seminar Room.

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

Linear Logic and the Semantics of Concurrent Computation

User Alex Kavvos, University of Bristol.

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

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

Deep Reinforcement Learning for Multi-Agent Interaction

User Stefano Albrecht, Edinburgh.

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

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

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.

User Vihari Piratla and Shreyas Padhy.

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

User Albert Qiaochu Jiang (University of Cambridge).

House 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

User Dr. Sergey Kiselev, Zeroavia.

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

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

House Lecture Theatre 6 (LT6), Department of Engineering.

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

User Lachan Thorpe, Hawk-Eye Innovations.

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

On bilinearity of Whitehead products in Homotopy Type Theory

User Ulrik Buchholtz, University of Nottingham.

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

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

A tutorial on diffusion models

User Emile, Sasha from CBL.

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

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

Computational Neuroscience Journal Club

User Samuel Eckmann and Yashar Ahmadian.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Geometric Graphs

User Chaitanya K. Joshi, Simon V. Mathis.

House Lecture Theatre 2 and Zoom.

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

Subcubic certificates for CFL reachability

User Dmitry Chistikov, University of Warwick.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Neil Lawrence.

Cambridge Society for the Application of Research (CSAR)

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

Dyslexia, Rhythm, Language and the Developing Brain

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

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

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

Coherent differentiation makes the differential lambda-calculus deterministic

User Thomas Ehrhard, University of Paris.

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

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

Benchmarking and evaluation in contemporary machine learning

User Austin Tripp and Shoaib Siddiqui, University of Cambridge.

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

Computational Neuroscience Journal Club

User Jake Stroud and David Liu.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Yu Guang Wang.

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

House Cambridge University Engineering Department, CBL, BE-438 .

Random walks, self-reinforcement and neurons

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

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

Generic pattern unification: a categorical approach

User Ambroise Lafont, University of Cambridge.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Ed Ayers, Five AI.

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

∞-type theories and coherence problems

User Taichi Uemura, University of Stockholm.

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

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

Advanced artificial agents intervene in the provision of reward

User Michael Cohen, University of Oxford.

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

Mixing finite and infinite structure

User Michael Benedikt, University of Oxford.

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

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

User Bruce Collie, Runtime Verification.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Cancelled! Sorry for inconvenience.

User Danielle Belgrave, DeepMind.

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

The Expressive Power of CSP Quantifiers

User Lauri Hella, Tampere University.

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

Title to be confirmed

User Lauri Hella, University of Helsinki.

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

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

Theory and Practice of Infinitely Wide Neural Networks - Guest Talk

User Roman Novak, Google Brain.

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)

User Weihua Hu, Stanford University and Google.

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

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

Algebraic type theory

User Steve Awodey, Carnegie Mellon University.

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

Staged Compilation with Two-Level Type Theory

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

House FW11.

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

Decoding Nets: A Formal Take on Address Translation

User Ben Fiedler, ETH.

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

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

The unreasonable effectiveness of mathematics in large scale deep learning

User Greg Yang, Microsoft Research.

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

User Davide Buffelli , Universita' di Padova.

House 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

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

The role of meta-learning for few-shot classification

User Eleni Triantafillou, Google Brain.

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

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

Noise-Aware Differentially Private Synthetic Data

User Antti Honkela, University of Helsinki.

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

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

Benefits and Shortcomings of Assistance

User Dmitrii Krasheninnikov and Lauro Langosco, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neighbourhood matching creates realistic surrogate temporal networks

User Antonio Longa, FBK.

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

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

Finite-state polynomial computation

User Mikołaj Bojanczyk, University of Warsaw.

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

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

Estimating RSV seasonality from pandemic disruptions: a modelling study

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

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

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

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

User Speaker to be confirmed.

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

User Yuhuai(Tony) Wu, Stanford University & Google.

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

Computational Neuroscience Journal Club

User Jakub Onysk and Yul Kang.

Cambridge Society for the Application of Research (CSAR)

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

CSAR lecture: Are we alone?

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

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

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

Symmetries in quantitative semantics

User Hugo Paquet, University of Oxford.

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

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

Discussion: Learning PAC-Bayes Priors for Probabilistic Neural Networks

User Speaker to be confirmed.

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

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

Rethinking evaluation for machine learning models

User Adrian Goldwaser & Shoaib Siddiqui.

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

Computational Neuroscience Journal Club

User Kris Jensen and Wayne Soo.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User David Buterez.

Cambridge Society for the Application of Research (CSAR)

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

Harnessing cancer patients’ own immune system to control disease.

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

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

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

Symmetries in Reversible Programming

User Vikraman Choudhury, University of Indiana.

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

Title to be confirmed

User Vikraman Choudhury, University of Indiana.

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

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

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

User Speaker to be confirmed.

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

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

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

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

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

User Wen-Hao Zhang.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Lifted Relational Neural Networks

User Gustav Šir, Czech Technical University in Prague.

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

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

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

User Anastasios Angelopoulos, PhD student at UC Berkeley.

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

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

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

User David Burt, University of Cambridge.

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

Game comonads, FVM theorems, and bilinear maps

User Dan Marsden, University of Oxford.

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

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

Bests of ICLR

User Speaker to be confirmed.

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

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

House Zoom + presence (lecture theatre 2) .

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

The complexity of counting problems

User David Richerby, University of Essex.

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

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

Graph neural network approach for decentralized multi-robot coordination

User University of Cambridge.

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

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

Machine Learning with Quantum Computers

User Amira Abbas and Maria Schuld.

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

Computational Neuroscience Journal Club

User David Liu and Edward Young.

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

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

Autoregressive Diffusion Models

User Emiel Hoogeboom.

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

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

An Overview of AI Alignment

User Neel Alex, University of Cambridge.

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

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

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

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

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

The Bayesian Learning Rule for Adaptive AI

User Emti Khan, RIKEN center for Advanced Intelligence Project.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning as an assay for high-dimensional biology

User Sara Mostafavi, University of Washington, USA.

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

Cyclic Implicit Complexity

User Anupam Das, University of Birmingham.

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

House FW09 - William Gates Building.

Constructive Classical Logic?

User David Berry.

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

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

Introduction to differential privacy

User Talay Cheema & Ferenc Huszar (University of Cambridge).

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

Computational Neuroscience Journal Club

User Flavia Mancini and Finn Ashley.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Albert Qiaochu Jiang (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

Gravitational waves: space-time mavericks in the cosmos.

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

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

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

How undecidable are HyperLTL and HyperCTL*?

User Marie Fortin, University of Liverpool.

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

House FW09 - William Gates Building.

The encode-decode method for equality types

User Alex Rice (University of Cambridge).

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

A categorical view of conditional expectation

User Prakash Panangaden, McGill University and University of Edinburgh.

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

House Cambridge University Engineering Department ,LR3A.

Retrieval Augmented NLP

User Jiri Hron and Nitarshan Rajkumar (University of Cambridge).

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

User Albert Qiaochu Jiang (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

CANCELLED -- The complexity of counting problems

User David Richerby, University of Essex.

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

House Cambridge University Engineering Department ,LR3A.

Circuits and Interpretability

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

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

User Cris Bodnar.

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

Relational databases versus relational models

User Alex Gurney, WebFlow.

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

House Cambridge University Engineering Department ,LR3A.

Optimal Transport Metrics

User Shreyas Padhy, University of Cambridge.

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

Computational Neuroscience Journal Club

User Jake Stroud and Michal Wojcik.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets

User Felix Opolka.

Cambridge Society for the Application of Research (CSAR)

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

Achieving sustainable productivity in agriculture through beneficial microbial associations.

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

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

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

Categorical Foundations of Gradient-Based Learning

User Fabio Zanasi, UCL.

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

House Cambridge University Engineering Department ,LR3A.

Learned Compression

User Gergely Flamich and Stratis Markou (University of Cambridge).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Brain charts for the human lifespan

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

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

Computational Neuroscience Journal Club

User Kris Jensen and Marine Schimel.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Advancing mathematics by guiding human intuition with AI

User Alex Davies and Petar Velickovic (DeepMind).

Cambridge Society for the Application of Research (CSAR)

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

Next-Generation Solar Photovoltaics

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

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

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

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

User Mukesh Tiwari, University of Cambridge.

House tba.

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

House Cambridge University Engineering Department, LR12.

Diffusion and Score-based Generative Models

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

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

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

AI Safety

User Neel Alex.

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

[Cancelled] Best of Neurips

User Speaker to be confirmed.

House Online-only.

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

Computational Neuroscience Journal Club

User Daniel Turner-Evans and Hannah Haberkern.

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

Comparing general definitions of type theories

User Peter LeFanu Lumsdaine, Stockholm University.

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

House Cambridge University Engineering Department ,LR3A.

Energy-Based Models

User Stratis Markou and James Allingham (University of Cambridge).

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

User Blaise Thomson, Bitfount.

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

A computational method for left adjointness

User Simon Forest, University of Aix-Marseille.

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

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

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

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

Computational Neuroscience Journal Club

User Georgia Turner and Falvia Mancini.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Learning on Graphs with Missing Node Features

User Emanuele Rossi, Twitter & Imperial College.

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

Towards a geometry for syntax

User Jon Sterling, University of Aarhus.

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

House Cambridge University Engineering Department ,LR3A.

Deep Kernels

User Sebastian Ober and Austin Tripp (University of Cambridge).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Cellular: CW Networks

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

Cambridge Society for the Application of Research (CSAR)

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

Deep AI Research in Health and Life Sciences

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

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

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

Enriched categories for optimal transport

User Simon Willerton, University of Sheffield.

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

House Cambridge University Engineering Department ,LR3A.

Mean Field Theory of NN (postponed to March 2022)

User Speaker to be confirmed.

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

Computational Neuroscience Journal Club

User Yashar Ahmadian and Gido van de Ven.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Gaussian Processes on Graphs via Spectral Kernel Learning

User Yin-Cong Zhi, Oxford Man Institute.

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

A formal context for metric semantics

User Radu Mardare, University of Strathclyde.

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

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

Representation Learning: A Causal Perspective

User Yixin Wang.

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

House Cambridge University Engineering Department ,LR3A.

Ethics, Integrity and Good Practice in ML

User Ross Clarke (University of Cambridge).

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.

User Dr. Bob Bates, The Pye Foundation.

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

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

The Semantics of Shared Memory in Intel CPU/FPGA Systems

User Dan Iorga, Imperial College London.

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

House Cambridge University Engineering Department ,LR3A.

Implicit Regularization in Deep Learning

User Jezabel Garcia, Alberto Bernacchia (MediaTek Research).

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

Computational Neuroscience Journal Club

User Yul Kang and Wayne Soo.

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

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

User Thibaut Benjamin, CEA Tech.

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

House Cambridge University Engineering Department ,LR3A.

Planning Meeting + PI Presentations

User CBL and Computer Lab PIs.

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

Cambridge Society for the Application of Research (CSAR)

The Productivity Puzzle

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

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

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

Quantum Software in 2021: Patterns and Problems

User Ross Duncan, Cambridge Quantum Computing.

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

Computational Neuroscience Journal Club

User Guillaume Hennequin and Kris Jensen.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

3D Pre-training improves GNNs for Molecular Property Prediction

User Hannes Stark, TU Munich.

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

Computational Neuroscience Journal Club

User Marine Schimel and David Liu.

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

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

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

User Matej Zecevic, TU Darmstadt.

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

The formal theory of theories

User Nathanael Arkor (University of Cambridge).

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

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

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

User Cristina Savin, New York University.

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

A modular approach to formalising combinatorial structures

User Chelsea Edmonds (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

CSAR Forum - Bridging the Gap

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

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

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

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

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

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

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

Computational Neuroscience Journal Club

User Kris Jensen and Georgia Turner.

Cambridge Society for the Application of Research (CSAR)

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

CSAR webinar: Nanomanufacturing, batteries and the energy transition.

User Professor Michael de Volder, University of Cambridge.

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

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

Proof Synthesis with Free Extensions in Intensional Type Theory

User Nathan Corbyn (University of Cambridge).

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

Computational Neuroscience Journal Club

User Yashar Ahmadian and Wayne Soo.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Unlocking Deep Learning for Graphs

User Dominique Beaini, Valence Discovery, MILA, Canada.

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

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

CBL Alumni Talk: Finale Doshi-Velez

User Finale Doshi-Velez, Harvard University.

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

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

Pseudo-Points and State-Space Gaussian Processes

User Will Tebbutt (University of Cambridge).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Structure-aware generation of molecules in protein pockets

User Pavol Drotar.

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

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

Cartesian differential categories as skew enriched categories

User Richard Garner (Macquarie University).

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?

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

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

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

House https://eng-cam.zoom.us/j/84495932262?pwd=MlFJL3Z3c1JmenFOY2xJQTNPSzdsQT09.

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

User David Duvenaud, University of Toronto.

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

Quotient inductive types and QW types: part II

User Shaun Steenkamp (University of Cambridge).

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

Capacity and errors in classification of object manifolds

User Uri Cohen (Hebrew University of Jerusalem).

Thursday 03 June 2021, 10:00-11:15

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

The Statistical Finite Element Method

User Mark Girolami (University of Cambridge).

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

House Zoom (Meeting ID 996 6732 5570, passcode 109362).

Categorical Models of Explicit Substitutions

User Valeria de Paiva (Topos Institute).

Tuesday 01 June 2021, 16:15-17:15

Computational Neuroscience Journal Club

User Mate Lengyel and Jasmine Stone.

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

Quotient inductive types and QW types

User Shaun Steenkamp (University of Cambridge).

Friday 28 May 2021, 11:00-12:00

House Zoom (Meeting ID 937 8091 1329, passcode 001582).

Categorical composable cryptography

User Martti Karvonen (University of Ottawa).

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

User Professor Ruth Cameron, Department of Materials Science and Metallurgy, University of Cambridge.

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

Monday 24 May 2021, 19:30-21:00

Markov categories: towards a syntax for probability

User Paolo Perrone (University of Oxford).

Friday 21 May 2021, 11:00-12:00

Computational Neuroscience Journal Club

User Jean-Pascal Pfister and Xizi Li.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 18 May 2021, 15:00-16:30

Geometric Deep Learning: Grids, Graphs, Groups, Geodesics, and Gauges

User Petar Veličković.

Tuesday 18 May 2021, 13:15-14:15

House https://eng-cam.zoom.us/j/84960287802?pwd=N1pTZGpKMjhhMTVVV1RNSS9Gc3Jqdz09.

CBL Alumni Talk - Our Power as Technical Designers

User Shakir Mohamed, Deepmind.

Friday 14 May 2021, 16:00-17:00

Semantics of monad transformers

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 14 May 2021, 11:00-12:00

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

Best of ICLR

User Speaker to be confirmed.

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

House Zoom (Meeting ID 945 3662 6774, passcode 086714).

The Gödel fibration

User Davide Trotta (University of Pisa).

Tuesday 11 May 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks

User Fabrizio Frasca, Yu Guang and Cris Bodnar.

Cambridge Society for the Application of Research (CSAR)

Tuesday 11 May 2021, 13:15-14:15

CSAR webinar: Sounding out wearable and audio data for health diagnostics.

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

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

Monday 10 May 2021, 19:30-21:00

Higher-order algebraic theories and relative monads

User Nathanael Arkor (University of Cambridge).

Friday 07 May 2021, 11:00-12:00

Computational Neuroscience Journal Club

User Zahara Girones and Ivan Tomic.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 04 May 2021, 15:00-16:30

Towards Robust and Reliable Model Explanations

User Hima Lakkaraju, Harvard University .

Tuesday 04 May 2021, 13:15-14:15

House https://eng-cam.zoom.us/j/82969702755?pwd=L0dIVnlwSHJHV2NGbUQ1cmxpYjIyUT09.

CBL Alumni Talk: Accurate Gaussian Processes and how they can help Deep Learning

User Mark van der Wilk, Imperial College London.

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

User Sarah Morgan.

Tuesday 27 April 2021, 13:15-14:15

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

An Introduction to PAC-Bayes

User Andrew Foong, David Burt and Javier Antoran (University of Cambridge).

Wednesday 21 April 2021, 11:00-12:30

House https://eng-cam.zoom.us/j/81961210430?pwd=cUZGbzU4NzJickd5THlsYzJ4cmlndz09.

Automated Augmented Conjugate Inference for Gaussian Processes

User Théo Galy-Fajou (TU Berlin).

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

User Prof Sir Colin Humphreys, Professor of Materials Science, Queen Mary University of London..

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

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

House https://eng-cam.zoom.us/j/82969702755?pwd=L0dIVnlwSHJHV2NGbUQ1cmxpYjIyUT09.

CBL Alumni Talk: Examining Critiques in Bayesian Deep Learning

User Andrew Gordon Wilson.

Friday 16 April 2021, 16:00-17:00

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

Online Learning and Online Convex Optimisation

User Siddharth Swaroop (University of Cambridge).

Wednesday 14 April 2021, 11:00-12:30

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

Monte Carlo Gradient Estimation in Machine Learning

User James Allingham (University of Cambridge).

Wednesday 07 April 2021, 11:00-12:30

Computational Neuroscience Journal Club

User Yul Kang and Jonathan So.

Tuesday 06 April 2021, 15:00-16:30

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

Secondmind's research activities to make Gaussian Processes industry proof

User Nicolas Durrande, Director of Research at Secondmind.

Wednesday 31 March 2021, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Innovation - the engine of economic growth

User Lord David Sainsbury, University of Cambridge.

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

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

Unfinity Categories

User Andrew Pitts, University of Cambridge.

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

Semantics of monad transformers

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 26 March 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Failure Modes of Variational Autoencoders and Their Effects on Downstream Tasks

User Yaniv Yacoby, Harvard University.

Wednesday 24 March 2021, 11:00-12:30

Computational Neuroscience Journal Club

User Jake Stroud and Marine Schimel.

Tuesday 23 March 2021, 15:00-16:30

Categorical models of dependent type theory II

User Nathanael Arkor (University of Cambridge).

Friday 19 March 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Gaussian Processes I have Known

User Anthony O'Hagan, University of Sheffield.

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

User Qingbiao Li.

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

Categorical gluing and logical relations

User Mathieu Huot.

Friday 12 March 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Causal Representation Learning

User Chaochao Lu, University of Cambridge.

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

Computational Neuroscience Journal Club

User Jascha Achterberg and Kris Jensen.

Tuesday 09 March 2021, 15:00-16:30

House Zoom (Meeting ID 916 7928 3736, passcode 844306).

A characterisation of the category of compact Hausdorff spaces

User Luca Reggio (University of Oxford).

Tuesday 09 March 2021, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Computational foundations of morphogenomics

User Bianca Dumitrascu.

Cambridge Society for the Application of Research (CSAR)

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

CSAR webinar: Space Weather - exploring the science, impacts and challenges posed by space weather.

User Professor Richard B. Horne, Head of Space Weather and Atmosphere, British Antarctic Survey..

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

Monday 08 March 2021, 19:30-21:00

Descriptive Complexity

User Felipe Ferreira Santos.

Friday 05 March 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Long-Range Transformers

User Valerii Likhosherstov, University of Cambridge.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Landscape and Gaps in Open Source Fairness Toolkits

User Michelle Lee.

Tuesday 02 March 2021, 13:15-14:15

Categorical models of dependent type theory

User Nathanael Arkor (University of Cambridge).

Friday 26 February 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Inference in Stochastic Processes

User Javier Antoran (University of Cambridge), Matthew Ashman (University of Cambridge), Stratis Markou (University of Cambridge).

Wednesday 24 February 2021, 11:00-12:30

Computational Neuroscience Journal Club

User David Liu and Jeroen Olieslagers.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 23 February 2021, 15:00-16:30

Machine Learning and String theory

User Challenger Mishra.

Cambridge Society for the Application of Research (CSAR)

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

CSAR webinar: Driving Insurance Innovation: Data Science and Research at Aviva

User Simon Warsop, FIA, Life Analytics Director | Partner, Aviva Quantum Data Science and Research at Aviva.

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

Monday 22 February 2021, 19:30-21:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Fairness in AI

User Elre Oldewage (University of Cambridge).

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

House Zoom (Meeting ID 993 6591 2480, passcode 493042).

On the categorical structure behind Galois theories

User David Blázquez-Sanz, Universidad Nacional de Colombia.

Tuesday 16 February 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural ODE Processes

User Cris Bodnar, Alex Norcliffe, Ben Day, Jacob Moss .

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

Monoidal categories

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 12 February 2021, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Variational Bayes as Surrogate Regression

User Will Tebbutt (University of Cambridge).

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

Cambridge Society for the Application of Research (CSAR)

The Hunt for Exoplanets

User Professor Didier Queloz, Department of Physics, University of Cambridge.

House 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

User Andrés R. Masegosa, Universidad de Almería (Spain).

Tuesday 02 February 2021, 13:15-14:15

Promising ARMv8/RISC-V relaxed memory

User Christopher Pulte, University of Cambridge.

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

The presheaf model of abstract syntax and variable binding

User Dima Szamozvancev (University of Cambridge).

Friday 29 January 2021, 11:00-12:00

House Zoom (Meeting ID 943 7534 6045, passcode 252455).

Large categories and quantifiers in topos theory

User Michael Shulman (University of San Diego).

Tuesday 26 January 2021, 16:15-17:15

House Zoom (Meeting ID 943 7534 6045, passcode 252455).

Large categories and quantifiers in topos theory

User Michael Shulman (University of San Diego).

Tuesday 26 January 2021, 16:15-17:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Latent Action Space for Offline Reinforcement Learning

User Wenxuan Zhou, Carnegie Mellon University (USA).

Cambridge Society for the Application of Research (CSAR)

Tuesday 26 January 2021, 13:15-14:15

Hydrogen: Its Role in the UK Economy

User Professor Nigel Brandon, Imperial College London.

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

Monday 25 January 2021, 19:30-21:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Bayesian optimization / Gaussian Process Bandits

User Sattar Vakili (MediaTek Research).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Debugging Machine Learning Code

User Svet Penkov, Efemarai.

Tuesday 19 January 2021, 13:15-14:15

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Meta-reinforcement learning

User Kris Jensen and Calvin Kao (University of Cambridge).

Wednesday 13 January 2021, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting material properties with the help of machine learning

User Bingqing Cheng.

Cambridge Society for the Application of Research (CSAR)

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

The End of the World (again) .... or, Lessons from the Black Death

User Professor John Robb, Professor of European Prehistory, University of Cambridge Department of Archaeology.

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

Monday 11 January 2021, 19:30-21:00

House Online on Zoom (recorded).

A theory for Hebbian Learning in recurrent E-I networks

User Samuel Eckmann (Max Planck Institute for Brain Research, Frankfurt am Main, Germany).

Friday 18 December 2020, 09:00-10:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Best of NeurIPS

User Speaker to be confirmed.

Wednesday 16 December 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Calvin Kao and Marine Schimel.

Tuesday 15 December 2020, 15:00-16:30

Introduction to infinity categories

User Alex Rice (University of Cambridge).

Friday 11 December 2020, 11:00-12:00

The covariance perceptron: Theory and application to reservoir computing

User Matthieu Gilson, Sofia Lawrie (Universitat Pompeu Fabra).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 09 December 2020, 14:00-15:00

Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?

User Gabriele Corso.

Tuesday 08 December 2020, 13:15-14:15

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Neural Processes

User Andrew Foong, Stratis Markou and Sebastian Ober (University of Cambridge).

Wednesday 02 December 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Gido van de Jen.

Tuesday 01 December 2020, 15:00-16:30

House Zoom (Meeting ID 916 7928 3736, passcode 844306).

Isotropy Groups of Quasi-Equational Theories

User Jason Parker, Brandon University.

Tuesday 01 December 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wasserstein Natural Gradients for Reinforcement Learning

User Ferenc Huszár.

Cambridge Society for the Application of Research (CSAR)

Tuesday 01 December 2020, 13:15-14:15

Tooth Regeneration and Repair: Dentistry in the 21st century

User Professor Paul Sharpe, King's College London, Head of the Centre for Craniofacial & Regenerative Biology, Dickinson Professor of Craniofacial Biology..

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

Monday 30 November 2020, 19:30-21:00

Karoubi envelopes, semifunctors, and the extensional lambda calculus

User Nathanael Arkor (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Friday 27 November 2020, 11:00-12:00

Graph Neural Networks for Biomedical Data

Note the change of date and time. This seminar is part of the Wednesday seminar series too.

User Marinka Zitnik, Harvard University.

Wednesday 25 November 2020, 15:00-16:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Large-scale sequential experimentation

User Wessel Bruinsma and Jiri Hron (University of Cambridge).

Wednesday 25 November 2020, 11:00-12:30

Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke

User Philip Saville, University of Edinburgh.

Friday 20 November 2020, 14:00-15:00

Indexed containers and initial algebras for polynomial endofunctors

User Shaun Steenkamp (University of Cambridge).

Friday 20 November 2020, 11:00-12:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Symmetries in Reinforcement Learning

User Robert Pinsler and Adria Garriga Alonso (University of Cambridge).

Wednesday 18 November 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Jasmine Stone (University of Cambridge).

Tuesday 17 November 2020, 15:00-16:30

House Zoom (Meeting ID 916 7928 3736, passcode 844306).

A 2-dimensional bifunctor theorem

User Graham Manuell.

Tuesday 17 November 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

What is Next for the Efficient Machine Learning Revolution?

User Nicholas Lane.

Cambridge Society for the Application of Research (CSAR)

Tuesday 17 November 2020, 13:15-14:15

Is Dementia Preventable?

User Professor Gill Livingston, Division of Psychiatry, UCL..

House Location: Your choice. See CSAR website or emails for joining information..

Monday 16 November 2020, 19:30-21:00

Lovász' Theorem and Comonads in Finite Model Theory

User Tomas Jakl, University of Cambridge.

Friday 13 November 2020, 14:00-15:00

Modalities and HoTT

User Derek Sorensen.

Friday 13 November 2020, 13:00-14:00

House https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Gradient-based Hyperparameter Optimisation

User Ross Clarke (University of Cambridge).

Wednesday 11 November 2020, 11:05-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

User Alexander Norcliffe.

Tuesday 10 November 2020, 13:15-14:15

Free Commutative Monoids in Homotopy Type Theory

User Vikraman Choudhury, University of Indiana.

Friday 06 November 2020, 14:00-15:00

Distributive Iaws 2: Monadic Boogaloo

User Dima Szamozvancev (University of Cambridge).

Friday 06 November 2020, 11:00-12:00

House https://meet.google.com/wdk-qnzb-iet.

Best Papers from ICML 2020

User Reading group participants.

Wednesday 04 November 2020, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Modulated Bayesian Optimisation

User Carl Henrik Ek.

Cambridge Society for the Application of Research (CSAR)

Tuesday 03 November 2020, 13:15-14:15

Osseointegration, approaching 1,000 cases.

User Professor Munjed Al Muderis, MB ChB FRACS FAOrthA; Orthopedic Surgeon, School Of Medicine, University Of Notre Dame Australia, Sydney; School of Medicine Macquarie University.

House Location: Zoom. See CSAR website or emails for joining information..

Monday 02 November 2020, 09:00-10:30

Symmetric Arithmetic Circuits

User Gregory Wilsenach, University of Cambridge.

Friday 30 October 2020, 14:00-15:00

Distributive laws

User Dima Szamozvancev (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Friday 30 October 2020, 11:00-12:00

Constraining Variational Inference with Geometric Jensen-Shannon Divergence

User Jacob Deasy.

Tuesday 27 October 2020, 13:15-14:15

Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution

User Alasdair Armstrong, University of Cambridge.

Friday 23 October 2020, 14:00-15:00

Computational Neuroscience Journal Club

User Yul Kang and Wayne Soo.

Tuesday 20 October 2020, 15:00-16:30

House Zoom (Meeting ID 916 7928 3736, passcode 844306).

Quillen model structures from models of HoTT

User Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University).

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

User Emma Rocheteau.

Tuesday 20 October 2020, 13:15-14:15

House Online on google meets.

Cognitive switches and functional reprogramming of sensory cortex

User Abhishek Banerjee, Newcastle University.

Friday 16 October 2020, 15:00-16:00

Incrementality xor currency for monotone fixed points

User Michael Arntzenius, University of Cambridge.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Friday 16 October 2020, 14:00-15:00

Sponge Examples: Energy-Latency Attacks on Neural Networks

User Ilia Shumailov.

Cambridge Society for the Application of Research (CSAR)

Tuesday 13 October 2020, 13:15-14:15

Electronics on the brain

User Professor George Malliaras, Prince Philip Professor of Technology, Department of Engineering, University of Cambridge.

House Location: Your choice. See CSAR website or emails for joining information..

Monday 12 October 2020, 19:30-21:00

Higher Algebra in Computer Science

User Eric Finster, University of Cambridge.

Friday 09 October 2020, 14:00-15:00

Computational Neuroscience Journal Club

User Kris Jensen and David Liu.

Tuesday 06 October 2020, 15:00-16:30

House Virtual (see abstract for Zoom link).

Efficient and Structured Uncertainty: Challenges and Opportunities

User Andrey Malinin, Yandex Research.

Wednesday 22 July 2020, 11:00-12:00

Computational Neuroscience Journal Club

User Yashar Ahmadian.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 30 June 2020, 16:30-18:00

Emergent Multi-Agent Communication: The story so far

User Agnieszka Slowik (University of Cambridge).

Tuesday 30 June 2020, 13:15-14:15

House https://meet.google.com/xom-namz-rzv.

Active Learning

User Austin Tripp and Erik Daxberger (University of Cambridge).

Wednesday 24 June 2020, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Weighting Based Adversarial Approach to Fairness in Machine Learning

User Mladen Nikolić, University of Belgrade.

Tuesday 23 June 2020, 13:15-14:15

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves seen as freely added colimits: an algorithmic approach

User Younesse Kaddar.

Friday 19 June 2020, 11:00-12:00

House Venue to be confirmed.

Recent advances in the theory and applications of VAEs

User Gergely Flamich and Alexandru Cioba.

Wednesday 17 June 2020, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

Zero cases - the lessons from New Zealand

User Professor Michael Baker, Department of Public Health, University of Otago, Wellington, New Zealand..

House Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Wednesday 17 June 2020, 10:00-11:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves and free cocompletion (part 2)

User Younesse Kaddar.

Friday 12 June 2020, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Adversarial Explanations - You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods

User Botty Dimanov (University of Cambridge).

Tuesday 09 June 2020, 13:15-14:15

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves and free cocompletion

User Younesse Kaddar.

Friday 05 June 2020, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

What policy makers need to know about COVID-19 protective immunity.

User Professor Danny Altmann, Faculty of Medicine, Department of Immunology and Inflammation, Imperial College Hammersmith Hospital Campus..

House Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Wednesday 03 June 2020, 12:00-13:00

Computational Neuroscience Journal Club

User Mate Lengyel (Engineering Department).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 02 June 2020, 15:00-16:30

Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges

User Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki.

Cambridge Society for the Application of Research (CSAR)

Tuesday 02 June 2020, 13:15-14:15

CSAR online webinar. Sportable: the story behind the world's first smart rugby ball

User Dr. Pete Husemeyer, Sportable.

House Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Monday 01 June 2020, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Representation Learning under Uncertainty (WIP)

User Catalina Cangea and Ben Day (University of Cambridge).

Tuesday 26 May 2020, 13:15-14:15

Computational Neuroscience Journal Club

User Guillaume Hennequin (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 19 May 2020, 15:00-16:30

Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit

User Emma Rocheteau (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 19 May 2020, 13:15-14:15

CSAR online webinar. Science-led Policy: From Global Pandemics to Climate Change

User Sir David King, The Centre for Climate Repair, University of Cambridge.

House Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Monday 18 May 2020, 19:30-21:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Goodwillie Calculus

User Derek Sorensen.

Friday 15 May 2020, 11:00-12:00

House https://meet.google.com/eqr-irxn-irx.

Best of ICLR 2020

User (University of Cambridge).

Wednesday 06 May 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Jake Stroud (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 05 May 2020, 15:00-16:30

CSAR online webinar. Dieselgate: The Inside Story

User John German, International Council on Clean Transportation.

House Location: Your choice. See CSAR website or emails for joining information..

Monday 04 May 2020, 19:30-21:00

House https://meet.google.com/zza-agyt-koa.

Differentiable Planning

User Will Tebbutt, Robert Pinsler.

Wednesday 29 April 2020, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

CSAR online webinar. From Medicine to Hamburgers. Cell and tissue culture applied to sustainable production of food meat.

User Professor Mark Post, Maastricht University..

House Location: Your choice. See CSAR website or emails for joining information..

Monday 27 April 2020, 19:30-21:00

Why do neurons spike spontaneously?

User Tim Vogels (University of Oxford).

Monday 27 April 2020, 16:30-17:30

Why do neurons spike spontaneously?

User Tim Vogels (University of Oxford).

Monday 27 April 2020, 16:30-17:30

House https://meet.google.com/hhq-zqtq-siq.

Recent Developments in Bayesian Deep Learning

User Andrew Foong, Siddharth Swaroop.

Wednesday 22 April 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Yul Kang (University of Cambridge).

Tuesday 21 April 2020, 15:00-16:30

House https://meet.google.com/hmo-aaio-agh.

Strategic Classification

User Jiri Hron (University of Cambridge).

Wednesday 15 April 2020, 11:00-12:30

House https://meet.google.com/qvg-knkr-nrg.

Machine Learning on Sets

User (University of Cambridge).

Wednesday 08 April 2020, 11:00-12:30

Computational Neuroscience Journal Club

User Kris Jensen and Marine Schimel.

Tuesday 07 April 2020, 15:00-16:30

House Hangouts Meet (Link provided via e-mail).

Boltzmann Generators and Stochastic Normalizing Flows

User Vincent Stimper, Michael Bromberg.

Wednesday 01 April 2020, 11:00-12:30

House Hangouts Meet (Link provided via e-mail).

World Models

User Dr Gregor Simm (University of Cambridge).

Wednesday 18 March 2020, 11:00-12:30

House Computer Lab, GC22.

A Syntactic View of Computational Adequacy

User Marco Devesas Campos, University of Birmingham.

Thursday 12 March 2020, 13:00-13:20

Federated Learning

User Siddharth Swaroop (University of Cambridge).

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

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Xizi Li (University of Cambridge).

Tuesday 10 March 2020, 16:00-17:00

House Computer Lab, SS03.

Tests and Proofs in Isabelle

User Yakoub Nemouchi, University of York.

Tuesday 10 March 2020, 14:30-14:50

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning evolving node and community representations on dynamic graphs

User Simeon Spasov.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 10 March 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Let food be thy medicine.

User Professor Nita Forouhi, MRC Epidemiology Unit, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 09 March 2020, 19:30-21:00

House Rainbow Room (FS07), Computer Laboratory.

Ends and coends (AKA "Cowedges: Endgame")

User Dima Szamozvancev (University of Cambridge).

Friday 06 March 2020, 11:00-12:00

ML@CL Ad-hoc Seminar Series

Deep Learning-Enhanced Analytics on Collaborative Edge-Cloud

Timing to be confirmed on getting venue

User Maryleen Ndubuaku.

House FW26, Computer Lab, 15 JJ Thomson Avenue, Cambridge.

Friday 06 March 2020, 10:00-11:00

House Engineering Department, CBL Room BE-438..

Game Playing Meets Game Theory: Strategic Learning from Simulated Play

User wellman@umich.edu.

Thursday 05 March 2020, 11:00-12:00

House Computer Lab, FW26.

Aspects of my formal development work

User Boris Djalal, OpenAirInterface Software Alliance.

Thursday 05 March 2020, 10:00-10:20

House Computer Lab, FW11.

Automating proof by induction in Isabelle/HOL using domain-specific languages

User Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

Wednesday 04 March 2020, 10:00-10:20

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep Graph Mapper: Seeing Graphs through the Neural Lens

User Cristian Bodnar and Cătălina Cangea.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 03 March 2020, 13:15-14:15

House Computer Lab, FW26.

Formal Foundations for Provably Safe Web Components

User Michael Herzberg, University of Sheffield.

Tuesday 03 March 2020, 10:00-10:20

House Computer Laboratory, room SS03.

A duality theoretic view on limits of finite structures

User Tomáš Jakl, Computer Lab.

Friday 28 February 2020, 14:00-15:00

House Computer Laboratory, room SS03.

Cerberus C semantics & pointer provenance

User Kayvan Memarian (University of Cambridge).

Friday 28 February 2020, 13:00-14:00

House Rainbow Room (FS07), Computer Laboratory.

A Galois connection for operations and relations

User Adam ó Conghaile (University of Cambridge).

Friday 28 February 2020, 11:00-12:00

Self-Supervised Representation Learning

User Javier Antoran (University of Cambridge).

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

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Marine Schimel.

Tuesday 25 February 2020, 16:00-17:00

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Marine Schimel.

Tuesday 25 February 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Knowledge Graph Convolutional Networks - Combining ML and Reasoning

User James Fletcher, Haikal Pribadi (Grakn).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 25 February 2020, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Cancer: From science to benefit.

User Prof Sir Leszek Borysiewicz, Cancer Research UK.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House Computer Laboratory, room SS03.

Computation via Substructures

User Ramanathan S. Thinniyam, MPI-SWS.

Monday 24 February 2020, 14:00-15:00

House Computer Lab, FW26.

A Profunctorial Finiteness Semantics

User Zeinab Galal.

Friday 21 February 2020, 14:00-15:00

Kernel Mean Embeddings

User Elre Oldewage (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Some ideas on neural network modulation

User Ben Day (Department of Computer Science and Technology).

House GS15, Computer Laboratory, William Gates Building.

Tuesday 18 February 2020, 13:00-14:00

Neural Tangent Kernel

User Adria Garriga Alonso, Sebastian Ober.

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

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Wayne Soo (University of Cambridge).

Tuesday 11 February 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks

User Michael Imbeault (Department of Genetics, Cambridge Univ).

House FW26, Computer Laboratory, William Gates Builiding.

Tuesday 11 February 2020, 15:00-16:00

House MR4, Centre for Mathematical Sciences.

D-ultrafilter monads

User Lurdes Sousa (CMUC, University of Coimbra & IP Viseu).

Tuesday 11 February 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning for network inference

User Ljupco Todorovski (University of Ljubljana).

House LT1, Computer Laboratory, William Gates Builiding, West Cambridge site.

Tuesday 11 February 2020, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

A Global Learning Crisis - Using tablets to get one billion children reading

User Andrew Ashe, onebillion.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House MR4, Centre for Mathematical Sciences.

Characterizing weakly Schreier extensions of monoids

User Peter Faul (University of Cambridge).

Tuesday 04 February 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality

User Edoardo Calvello (Imperial College).

House LT2, Computer Laboratory, William Gates Building.

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

House Rainbow Room (FS07), Computer Laboratory.

Lawvere theories and finitary monads

User Nathanael Arkor (University of Cambridge).

Friday 31 January 2020, 11:00-12:00

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Simon Schug (University of Cambridge).

Tuesday 28 January 2020, 16:00-17:00

House CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Simon Schug (University of Cambridge).

Tuesday 28 January 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Flexible deep learning for heterogeneous clinical time series

User Jacob Deasy.

House SS03, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

Gene targeting therapies – what does the future hold for neurological disorders?

User Professor Sarah Tabrizi, University College London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House Engineering Department, CBL Room BE-438..

Robust Deep Learning Under Distribution Shift

User Zack Lipton, CMU.

Friday 24 January 2020, 11:00-12:00

House MR4, Centre for Mathematical Sciences.

A Formal Approach to Generalisations of Monads

User Gabriele Lobbia (University of Leeds).

Tuesday 21 January 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Abstract Diagrammatic Reasoning with Multiplex Graph Networks

User Duo Wang.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 21 January 2020, 13:00-14:00