Machine Learning Reading Group @ CUED

AI Control

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

Dmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

Neural likelihood-free inference

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

Yanzhi Chen, University of Cambridge.

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

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

Computational Neuroscience

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

Seán Froudist-Walsh, U Bristol.

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

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

Machine Learning Reading Group @ CUED

An Introduction to the Conjugate Gradient Method

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

Jihao Andeas Lin, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

TacticAI: an AI assistant for football tactics

Zhe Wang (DeepMind).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

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

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

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

Computational Neuroscience

Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Choice Principles in Observational Type Theory

Loïc Pujet (University of Stockholm).

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED

POSTPONED. Sorry for inconvenience.

Prof. Tom Chittenden (BioAI Health & QMUL).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Picking raspberries with robots.

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Epimorphisms and Acyclic Types in Univalent Mathematics

Tom de Jong, University of Nottingham.

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

An Introduction to Transformer Neural Processes

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

Matt Ashman and Cristiana Diaconu.

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

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

Computational Neuroscience

Title to be confirmed

Guillaume Hennequin (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Guillaume Hennequin (University of Cambridge).

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

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

Machine Learning @ CUED

Consistent Validation for Predictive Methods in Spatial Settings

David Burt, MIT.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Dr Theoklitos Amvrosiadis (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Learning Symmetries in Neural Networks

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

James Allingham and Bruno Mlodozeniec .

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

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

Cambridge Society for the Application of Research (CSAR)

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

Dr. Simon Thomas, Paragraf Ltd..

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

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

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

Elizabeth Polgreen, University of Edinburgh.

SS03, Computer Laboratory.

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

Computational Neuroscience

Computational Neuroscience Journal Club

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

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

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

Machine Learning Reading Group @ CUED

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

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

Andrew McDonald and Kenza Tazi, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning to Receive Help: Intervention-Aware Concept Embedding Models

Mateo Espinosa Zarlenga (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Bayesian coresets

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

Tor Fjelde and Will Tebbutt, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Learning-Powered Networked Systems

Michael Schapira (Hebrew University of Jerusalem).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Text-and-audio methods

Catalina Cangea (Google DeepMind).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

HKUST (Hong Kong University of Science and Technology).

SS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Towards Secure Distributed Choreographies

Andrew K. Hirsch (Buffalo).

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities

Partha Maji (Tenstorrent).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

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

Professor Sabine Bahn, Cambridge Centre for Neuropsychiatric Research .

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Arduin Findeis (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

Reese Levine, University of California Santa Cruz.

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Flow matching, stochastic interpolants and everything in between

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

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

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

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

Machine Learning @ CUED

Modern Bayesian Experimental Design

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

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

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

Cambridge Society for the Application of Research (CSAR)

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

Dr. Daniel Ives, Shift Bioscience.

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

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

Logic and Semantics Seminar (Computer Laboratory)

A categorical semantics for neural networks

Charlotte Aten, University of Denver.

Lecture Theatre 2, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Challenges of Regulating Increasingly Complicated Human-AI Collaborative Systems

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

Dr Miri Zilka and Katie Collins, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep screening of RNA, XNA and protein interactions

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

Philipp Holliger (MRC Laboratory of Molecular Biology).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Dr Theoklitos Amvrosiadis, Puria Radmard.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data

Konstantin Hemker (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

A Poisson Process Model for Monte Carlo

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

Greg Flamich, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Speaker to be confirmed.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Speaker to be confirmed.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

RetroBridge: Modeling Retrosynthesis with Markov Bridges

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

Arne Schneuing & Ilia Igashov (EPFL).

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

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

Cambridge Society for the Application of Research (CSAR)

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

Dr Martin Unwin, Surrey Satellite Technology Ltd.

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

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

Foundation AI

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

Guillermo Bernárdez Gil, UPC Barcelona.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Learning Directed Acyclic Graphs (DAGs) With Continuous Optimization

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

Dr Pingfan Song, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Multi-Agent Simulation and Learning in TorchRL

Matteo Bettini (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Deep Learning for Medium-Range Global Weather Prediction

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann.

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

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

Cambridge Society for the Application of Research (CSAR)

Social prescribing - beyond pills

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

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

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

Machine Learning Reading Group @ CUED

Learning linear models in-context with transformers

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

Spencer Frei, UC Davis.

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

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

Foundation AI

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

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia, Edward Young.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Coherence by Normalization for Linear Multicategorical Structures

Federico Olimpieri, University of Leeds.

SS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

John Baez, University of California Riverside.

LT1, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

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

Isaac Reid, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

On Learning Latent Models with Multi-Instance Weak Supervision

Efi Tsamoura (Samsung AI, Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Benedikt Pago.

SS03, Computer Laboratory.

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

Computational Neuroscience

A new look at eye design

Simon Laughlin, Department of Zoology, Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Department of Zoology, Cambridge.

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

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

Computational Neuroscience

Structured recognition for generative models with explaining away

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

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

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

Machine Learning @ CUED

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

Jay McClelland, Stanford University .

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sediment core analysis using artificial intelligence

Gianluca Carlini.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

hybrid (zoom link at the end of the abstract)

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

David Monniaux, CNRS/VERIMAG and École Polytechnique.

FW11, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sphere Neural-Network for Higher-level Cognition

join us also with zoom

Tiansi Dong.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning @ CUED

Compositional mathematics and automatic gradient descent

Jeremy Bernstein, MIT.

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

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

Machine Learning Reading Group @ CUED

Deciphering Batch Effects in Single-cell Transcriptomics with Concept Bottlenecks

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

Hanchen Wang, Stanford CS and Genentech gRED.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Is ChatGPT adequate for decision-making?

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Schrödinger bridges, diffusion and SDEs

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

Stratis Markou and Shreyas Padhy.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Protein generation and fitness optimization

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

Jason Yim, EECS, MIT.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Puria Radmard.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Interpretable Neural-Symbolic Concept Reasoning

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

Pietro Barbiero (University of Cambridge).

zoom only!.

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

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

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

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

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

Katie Collins, University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

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

Katie Collins, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED: Interpretable Neural-Symbolic Concept Reasoning

This talk has moved to 20 June 2023.

Pietro Barbiero (University of Cambridge).

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

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

Cambridge Society for the Application of Research (CSAR)

Developments in neuroscience (TBC)

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

RoboCert: A Formal Specification Notation for Robotic Software

Matthew Windsor, University of York.

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Untangling genome assembly graphs with graph neural networks

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

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

Seminar Room FW26, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Game theory, distributional reinforcement learning, control and verification

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia and David Lui.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Information Spreading on Networks

NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03

Charlotte Out.

Computer Lab, SS03.

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

Machine Learning Reading Group @ CUED

On choosing the mass matrix for Hamiltonian Monte Carlo

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

Tor Fjelde and Tim Hargreaves, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Will Greedy, University of Bristol.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Hypergraph Factorisation for Multi-Tissue Gene Expression Imputation

NOTE: Room changed, now Lecture Theatre 1

Ramon Vinas Torne.

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

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

Cambridge Society for the Application of Research (CSAR)

The Unsung Heroes of the Discovery of the Double Helix

Professor Malcolm Longair, Cavendish Laboratory, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

MaRF: Representing Mars as Neural Radiance Fields

Lorenzo Giusti, Universita' La Sapienza.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unveiling Bounded Confidence Dynamics in Sheaf Neural Networks

Olga Zaghen, University of Trento.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Reward Modelling

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

Usman Anwar, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Improving learning with noisy labels in two possibile scenarios.

Maria Sofia Bucarelli, La Sapienza University.

Lecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Relative Entropy Coding for Learned Data Compression

Greg Flamich, Engineering Department (Cambridge).

Lecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Francesco Prinzi, University of Palermo.

Lecture Theatre 2.

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

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Dimensionality Reduction via Probabilistic Inference

Aditya Ravuri (University of Cambridge).

Lecture Theatre 2.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

Andrés Goens, University of Edinburgh.

SS03, Computer Laboratory.

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

Machine Learning @ CUED

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

Sam Power, University of Bristol.

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

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

Machine Learning Reading Group @ CUED

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

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

Miri Zilka, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Andrei Popescu, University of Sheffield.

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

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

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

Burigede Liu.

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

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

Cambridge Society for the Application of Research (CSAR)

The CASSIOPeiA Solar Power Satellite: Dispatchable Green Energy from Space

Ian Cash, M.Eng, International Electric Company.

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Giannos Stamoulis, University of Montpellier.

SS03, Computer Laboratory.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Alejandro Tabas and Theoklitos Amvrosiadis.

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

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

Machine Learning Reading Group @ CUED

Neural Tangent Kernel

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

Adrian Goldwaser and Lauro Langosco (University of Cambridge) .

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

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

Machine Learning Reading Group @ CUED

No-regret Dynamics for Multi-agent Learning

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

Alexander Terenin (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Scalable Approaches to Self-Supervised Learning using Spectral Analysis

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

Ross Viljoen and Vincent Dutordoir (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Physics-informed machine learning

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

Pingfang Song (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

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

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

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

Machine Learning Reading Group @ CUED

Causal Machine Learning

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

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

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

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

Machine Learning Reading Group @ CUED

User Manipulation in Recommender Systems

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

Micah Carroll (UC Berkeley).

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Philip Wadler, University of Edinburgh.

SS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Stochastic games and strategy complexity

Mahsa Shirmohammadi, University of Oxford.

FW11, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Random Features for Kernel Approximation

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

Isaac Reid (University of Cambridge).

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

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

Cambridge Society for the Application of Research (CSAR)

The adolescent brain

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

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

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

Machine Learning Reading Group @ CUED

An Overview of Differential Privacy, Membership Inference Attacks, and Federated Learning

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

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Structure-based Drug Design and Molecular Optimisation with Diffusion Models

Charlie Harris, University of Cambridge.

Lecture Theatre 2.

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

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

Chris Barrett, University of Birmingham.

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Bayesian Neural Networks

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Luke Johnston, Wayne Soo.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Networks for High-Dimensional Tabular Biomedical Datasets

Andrei Margeloiu (University of Cambridge).

Lecture Theatre 2.

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

Cambridge Society for the Application of Research (CSAR)

Are there solutions for plastic degradation in protein sequence space?

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Relative representations enable zero-shot latent space communication

Organized by Donato Crisostomi and Pietro Barbiero

Luca Moschella, Sapienza University of Rome.

Lecture Theatre 2.

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

Machine Learning Reading Group @ CUED

Offline Reinforcement Learning

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Puria Radmard and David Liu.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Composite Feature Selection using Deep Ensembles

Alex Norcliffe - University of Cambridge.

Lecture Theatre 2.

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

Machine Learning Reading Group @ CUED

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

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

Jixiang Qing, SUMO lab, Ghent University,.

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

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

Computational Neuroscience

The unbreakable lightness of single neuron non-linearities in learning

Yasser Roudi, Kavli Institute for Systems Neuroscience.

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

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

Cambridge Society for the Application of Research (CSAR)

Advanced Raman Spectroscopy and Emerging Applications

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

Meven Lennon-Bertrand, University of Cambridge.

SS03, Computer Laboratory.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

When Vision Transformers Meet Cooperative Perception

Runsheng Xu, UCLA (USA).

Online (Zoom).

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

Machine Learning @ CUED

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

Roger Taylor, former Chair of Ofqual.

Cambridge University Engineering Department, Lecture Room 4.

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

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

Matthew Parkinson, Microsoft Research.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Mateo Espinosa Zarlenga (University of Cambridge).

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

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Scalable simulation and inference in non-Gaussian stochastic PDEs

David Duvenaud (University of Toronto).

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

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

Machine Learning @ CUED

Scalable simulation and inference in non-Gaussian stochastic PDEs

David Duvenaud (University of Toronto).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Edward Young, Zahara Girones.

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

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

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

Manuel Araujo, University of Cambridge.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

Yuanhong Jiang, Shanghai Jiao Tong University.

Lecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Approximate Equivariance SO(3) Needlet Convolution

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

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

Lecture Theatre 2.

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

Computational Neuroscience

Understanding the emergence of neural population dynamics underlying behaviour

Juan Alvaro Gallego.

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

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

Cambridge Society for the Application of Research (CSAR)

An Overview of Rolls-Royce SMR.

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Global Explainability of GNNs via Logic Combination of Learned Concepts

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

Steve Azzolin.

Online (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The Interpretability of Graph Neural Networks

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

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

FW11 + zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

The linear operator semantics of probabilistic programs

Fredrik Dahlqvist, UCL.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Feynman Diagrams using Graph Neural Networks

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

Harrison Mitchell, dept of Physics Cambridge.

lecture theatre 2 dept of computer science and zoom.

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

Machine Learning @ CUED

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

Vedant Nanda, MPI-SWS + University of Maryland .

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

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

Machine Learning Reading Group @ CUED

Information Geometry — Natural Gradient Descent

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

Andy Lin, MLG.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Rui Xia and Mate Lengyel.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Multi-Scene Absolute Pose Regression with Transformers

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

Zoom.

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

Machine Learning @ CUED

Gaussian processes, spectral analysis kernels and optimal transport

Felipe Tobar, Universidad de Chile.

CBL Seminar Room.

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

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

Alex Kavvos, University of Bristol.

SS03.

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

Machine Learning @ CUED

Deep Reinforcement Learning for Multi-Agent Interaction

Stefano Albrecht, Edinburgh.

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

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

Machine Learning Reading Group @ CUED

Predicting generalization of ML models.

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

Vihari Piratla and Shreyas Padhy.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Albert Qiaochu Jiang (University of Cambridge).

Lecture Theatre 2 and Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Hydrogen-Electric Propulsion for a Clean Aviation Future

Dr. Sergey Kiselev, Zeroavia.

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

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

Machine Learning @ CUED

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

Lachan Thorpe, Hawk-Eye Innovations.

Lecture Theatre 6 (LT6), Department of Engineering.

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

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

Ulrik Buchholtz, University of Nottingham.

SS03.

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

Machine Learning Reading Group @ CUED

A tutorial on diffusion models

Emile, Sasha from CBL.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Samuel Eckmann and Yashar Ahmadian.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Geometric Graphs

Chaitanya K. Joshi, Simon V. Mathis.

Lecture Theatre 2 and Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

Dmitry Chistikov, University of Warwick.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Neil Lawrence.

Lecture Theatre 2.

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

Cambridge Society for the Application of Research (CSAR)

Dyslexia, Rhythm, Language and the Developing Brain

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Coherent differentiation makes the differential lambda-calculus deterministic

Thomas Ehrhard, University of Paris.

SS03.

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

Machine Learning Reading Group @ CUED

Benchmarking and evaluation in contemporary machine learning

Austin Tripp and Shoaib Siddiqui, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and David Liu.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

Yu Guang Wang.

Lecture Theatre 2.

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

Computational Neuroscience

Random walks, self-reinforcement and neurons

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

Cambridge University Engineering Department, CBL, BE-438 .

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

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

Ambroise Lafont, University of Cambridge.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Ed Ayers, Five AI.

Lecture Theatre 2.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

Taichi Uemura, University of Stockholm.

SS03.

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

Machine Learning Reading Group @ CUED

Advanced artificial agents intervene in the provision of reward

Michael Cohen, University of Oxford.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

Michael Benedikt, University of Oxford.

SS03.

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

Logic and Semantics Seminar (Computer Laboratory)

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

Bruce Collie, Runtime Verification.

SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Cancelled! Sorry for inconvenience.

Danielle Belgrave, DeepMind.

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

Lauri Hella, Tampere University.

SS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Lauri Hella, University of Helsinki.

SS03.

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

Machine Learning Reading Group @ CUED

Theory and Practice of Infinitely Wide Neural Networks - Guest Talk

Roman Novak, Google Brain.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Backward Compatible Embeddings

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

Weihua Hu, Stanford University and Google.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

Steve Awodey, Carnegie Mellon University.

FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

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

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Decoding Nets: A Formal Take on Address Translation

Ben Fiedler, ETH.

FW26.

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

Machine Learning Reading Group @ CUED

The unreasonable effectiveness of mathematics in large scale deep learning

Greg Yang, Microsoft Research.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The Problem of Size Generalization in Graph Neural Networks

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

Davide Buffelli , Universita' di Padova.

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

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

Machine Learning Reading Group @ CUED

The role of meta-learning for few-shot classification

Eleni Triantafillou, Google Brain.

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

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

Machine Learning @ CUED

Noise-Aware Differentially Private Synthetic Data

Antti Honkela, University of Helsinki.

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

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

Machine Learning Reading Group @ CUED

Benefits and Shortcomings of Assistance

Dmitrii Krasheninnikov and Lauro Langosco, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neighbourhood matching creates realistic surrogate temporal networks

Antonio Longa, FBK.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

Mikołaj Bojanczyk, University of Warsaw.

SS03.

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

Machine Learning @ CUED

Estimating RSV seasonality from pandemic disruptions: a modelling study

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

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

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

Machine Learning Reading Group @ CUED

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

Speaker to be confirmed.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Sequence Models for Mathematical Reasoning

RESCHEDULED, NOTE THE UNUSUAL TIME

Yuhuai(Tony) Wu, Stanford University & Google.

Zoom.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jakub Onysk and Yul Kang.

Online on Zoom.

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

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Are we alone?

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

Hugo Paquet, University of Oxford.

SS03.

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

Machine Learning Reading Group @ CUED

Discussion: Learning PAC-Bayes Priors for Probabilistic Neural Networks

Speaker to be confirmed.

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

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

Machine Learning Reading Group @ CUED

Rethinking evaluation for machine learning models

Adrian Goldwaser & Shoaib Siddiqui.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Wayne Soo.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

David Buterez.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Harnessing cancer patients’ own immune system to control disease.

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

Vikraman Choudhury, University of Indiana.

SS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Vikraman Choudhury, University of Indiana.

SS03.

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

Machine Learning Reading Group @ CUED

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

Speaker to be confirmed.

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

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

Cambridge Society for the Application of Research (CSAR)

Projectile Fusion A new challenge in applied computational science and engineering

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

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

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

Computational Neuroscience

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

Wen-Hao Zhang.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Lifted Relational Neural Networks

Gustav Šir, Czech Technical University in Prague.

Zoom.

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

Machine Learning @ CUED

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

Anastasios Angelopoulos, PhD student at UC Berkeley.

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

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

Machine Learning Reading Group @ CUED

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

David Burt, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

Dan Marsden, University of Oxford.

SS03.

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

Machine Learning Reading Group @ CUED

Bests of ICLR

Speaker to be confirmed.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

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

Zoom + presence (lecture theatre 2) .

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

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

David Richerby, University of Essex.

SS03.

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

Machine Learning @ CUED

Graph neural network approach for decentralized multi-robot coordination

University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

Machine Learning with Quantum Computers

Amira Abbas and Maria Schuld.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

David Liu and Edward Young.

Online on Zoom.

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

Machine Learning Reading Group @ CUED

Autoregressive Diffusion Models

Emiel Hoogeboom.

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

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

Machine Learning Reading Group @ CUED

An Overview of AI Alignment

Neel Alex, University of Cambridge.

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

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Machine Learning Reading Group @ CUED

The Bayesian Learning Rule for Adaptive AI

Emti Khan, RIKEN center for Advanced Intelligence Project.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning as an assay for high-dimensional biology

Sara Mostafavi, University of Washington, USA.

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

Anupam Das, University of Birmingham.

FW26.

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

Logic & Semantics for Dummies

Constructive Classical Logic?

David Berry.

FW09 - William Gates Building.

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

Machine Learning Reading Group @ CUED

Introduction to differential privacy

Talay Cheema & Ferenc Huszar (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Flavia Mancini and Finn Ashley.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Albert Qiaochu Jiang (University of Cambridge).

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Gravitational waves: space-time mavericks in the cosmos.

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

Marie Fortin, University of Liverpool.

FW26.

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

Logic & Semantics for Dummies

The encode-decode method for equality types

Alex Rice (University of Cambridge).

FW09 - William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

Prakash Panangaden, McGill University and University of Edinburgh.

FW26.

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

Machine Learning Reading Group @ CUED

Retrieval Augmented NLP

Jiri Hron and Nitarshan Rajkumar (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Postponed till next week

Albert Qiaochu Jiang (University of Cambridge).

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

David Richerby, University of Essex.

FW26.

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

Machine Learning Reading Group @ CUED

Circuits and Interpretability

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

Cambridge University Engineering Department ,LR3A.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Cris Bodnar.

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Relational databases versus relational models

Alex Gurney, WebFlow.

FW26.

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

Machine Learning Reading Group @ CUED

Optimal Transport Metrics

Shreyas Padhy, University of Cambridge.

Cambridge University Engineering Department ,LR3A.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and Michal Wojcik.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets

Felix Opolka.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Achieving sustainable productivity in agriculture through beneficial microbial associations.

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Categorical Foundations of Gradient-Based Learning

Fabio Zanasi, UCL.

FW26.

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

Machine Learning Reading Group @ CUED

Learned Compression

Gergely Flamich and Stratis Markou (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Brain charts for the human lifespan

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

Zoom.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Marine Schimel.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Advancing mathematics by guiding human intuition with AI

Alex Davies and Petar Velickovic (DeepMind).

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Next-Generation Solar Photovoltaics

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Mukesh Tiwari, University of Cambridge.

tba.

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

Machine Learning Reading Group @ CUED

Diffusion and Score-based Generative Models

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

Cambridge University Engineering Department, LR12.

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

Machine Learning Reading Group @ CUED

AI Safety

Neel Alex.

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

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

Machine Learning Reading Group @ CUED

[Cancelled] Best of Neurips

Speaker to be confirmed.

Online-only.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Daniel Turner-Evans and Hannah Haberkern.

Online on Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

Peter LeFanu Lumsdaine, Stockholm University.

FW26.

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

Machine Learning Reading Group @ CUED

Energy-Based Models

Stratis Markou and James Allingham (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

An Introduction to Federated Learning and its Applications in Medicine

Blaise Thomson, Bitfount.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

Simon Forest, University of Aix-Marseille.

FW26.

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

Computational Neuroscience

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

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

Online on Zoom.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Georgia Turner and Falvia Mancini.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning on Graphs with Missing Node Features

Emanuele Rossi, Twitter & Imperial College.

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Towards a geometry for syntax

Jon Sterling, University of Aarhus.

SS03.

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

Machine Learning Reading Group @ CUED

Deep Kernels

Sebastian Ober and Austin Tripp (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Cellular: CW Networks

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

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Deep AI Research in Health and Life Sciences

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Enriched categories for optimal transport

Simon Willerton, University of Sheffield.

FW26.

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

Machine Learning Reading Group @ CUED

Mean Field Theory of NN (postponed to March 2022)

Speaker to be confirmed.

Cambridge University Engineering Department ,LR3A.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Gido van de Ven.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Gaussian Processes on Graphs via Spectral Kernel Learning

Yin-Cong Zhi, Oxford Man Institute.

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

A formal context for metric semantics

Radu Mardare, University of Strathclyde.

FW26.

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

Machine Learning Reading Group @ CUED

Representation Learning: A Causal Perspective

Yixin Wang.

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

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

Machine Learning Reading Group @ CUED

Ethics, Integrity and Good Practice in ML

Ross Clarke (University of Cambridge).

Cambridge University Engineering Department ,LR3A.

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

Cambridge Society for the Application of Research (CSAR)

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

Dr. Bob Bates, The Pye Foundation.

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

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

Logic and Semantics Seminar (Computer Laboratory)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

Dan Iorga, Imperial College London.

FW26.

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

Machine Learning Reading Group @ CUED

Implicit Regularization in Deep Learning

Jezabel Garcia, Alberto Bernacchia (MediaTek Research).

Cambridge University Engineering Department ,LR3A.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Wayne Soo.

Online on Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

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

Thibaut Benjamin, CEA Tech.

FW26.

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

Machine Learning Reading Group @ CUED

Planning Meeting + PI Presentations

CBL and Computer Lab PIs.

Cambridge University Engineering Department ,LR3A.

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

Cambridge Society for the Application of Research (CSAR)

The Productivity Puzzle

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Quantum Software in 2021: Patterns and Problems

Ross Duncan, Cambridge Quantum Computing.

FW26.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Guillaume Hennequin and Kris Jensen.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

3D Pre-training improves GNNs for Molecular Property Prediction

Hannes Stark, TU Munich.

Zoom.

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

Computational Neuroscience

Computational Neuroscience Journal Club

Marine Schimel and David Liu.

Online on Zoom.

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

Machine Learning Reading Group @ CUED

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

Matej Zecevic, TU Darmstadt.

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

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

Logic & Semantics for Dummies

The formal theory of theories

Nathanael Arkor (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

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

Cristina Savin, New York University.

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

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

Logic & Semantics for Dummies

A modular approach to formalising combinatorial structures

Chelsea Edmonds (University of Cambridge).

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

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

Cambridge Society for the Application of Research (CSAR)

CSAR Forum - Bridging the Gap

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

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

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

Machine Learning Reading Group @ CUED

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

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Georgia Turner.

Online on Zoom.

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

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Nanomanufacturing, batteries and the energy transition.

Professor Michael de Volder, University of Cambridge.

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

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

Logic & Semantics for Dummies

Proof Synthesis with Free Extensions in Intensional Type Theory

Nathan Corbyn (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian and Wayne Soo.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unlocking Deep Learning for Graphs

Dominique Beaini, Valence Discovery, MILA, Canada.

Zoom.

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

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Finale Doshi-Velez

Finale Doshi-Velez, Harvard University.

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

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

Machine Learning Reading Group @ CUED

Pseudo-Points and State-Space Gaussian Processes

Will Tebbutt (University of Cambridge).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Structure-aware generation of molecules in protein pockets

Pavol Drotar.

Zoom.

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

Category Theory Seminar

Cartesian differential categories as skew enriched categories

Richard Garner (Macquarie University).

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

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

Cambridge Society for the Application of Research (CSAR)

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

Dr. Robin Catchpole, Institute of Astronomy, Cambridge.

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

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

Machine Learning Reading Group @ CUED

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

David Duvenaud, University of Toronto.

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

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

Logic & Semantics for Dummies

Quotient inductive types and QW types: part II

Shaun Steenkamp (University of Cambridge).

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

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

Computational Neuroscience

Capacity and errors in classification of object manifolds

Uri Cohen (Hebrew University of Jerusalem).

Online on Zoom.

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

Machine Learning Reading Group @ CUED

The Statistical Finite Element Method

Mark Girolami (University of Cambridge).

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

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

Category Theory Seminar

Categorical Models of Explicit Substitutions

Valeria de Paiva (Topos Institute).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Mate Lengyel and Jasmine Stone.

Online on Zoom.

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

Logic & Semantics for Dummies

Quotient inductive types and QW types

Shaun Steenkamp (University of Cambridge).

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

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

Category Theory Seminar

Categorical composable cryptography

Martti Karvonen (University of Ottawa).

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

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

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Ice templating for Regenerative Medicine - using ice to define cell-guiding frameworks for healing

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

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

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

Logic & Semantics for Dummies

Markov categories: towards a syntax for probability

Paolo Perrone (University of Oxford).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jean-Pascal Pfister and Xizi Li.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Petar Veličković.

Zoom.

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

Machine Learning Reading Group @ CUED

CBL Alumni Talk - Our Power as Technical Designers

Shakir Mohamed, Deepmind.

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

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

Logic & Semantics for Dummies

Semantics of monad transformers

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

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

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

Machine Learning Reading Group @ CUED

Best of ICLR

Speaker to be confirmed.

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

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

Category Theory Seminar

The Gödel fibration

Davide Trotta (University of Pisa).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks

Fabrizio Frasca, Yu Guang and Cris Bodnar.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

Professor Cecilia Mascolo, Professor of Mobile Systems, Department of Computer Science and Technology; Co-director for the Centre for Mobile, Wearable Systems and Augmented Intelligence, Cambridge University.

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

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

Logic & Semantics for Dummies

Higher-order algebraic theories and relative monads

Nathanael Arkor (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Zahara Girones and Ivan Tomic.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Robust and Reliable Model Explanations

Hima Lakkaraju, Harvard University .

Zoom.

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

Machine Learning Reading Group @ CUED

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

Mark van der Wilk, Imperial College London.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data

Sarah Morgan.

Zoom.

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

Machine Learning Reading Group @ CUED

An Introduction to PAC-Bayes

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

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

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

Machine Learning Reading Group @ CUED

Automated Augmented Conjugate Inference for Gaussian Processes

Théo Galy-Fajou (TU Berlin).

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

Tuesday 20 April 2021, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Graphene and GaN - From Basic Science to Manufacturing Devices

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

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

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

Machine Learning Reading Group @ CUED

CBL Alumni Talk: Examining Critiques in Bayesian Deep Learning

Andrew Gordon Wilson.

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

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

Machine Learning Reading Group @ CUED

Online Learning and Online Convex Optimisation

Siddharth Swaroop (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Monte Carlo Gradient Estimation in Machine Learning

James Allingham (University of Cambridge).

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Jonathan So.

Online on Zoom.

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

Machine Learning Reading Group @ CUED

Secondmind's research activities to make Gaussian Processes industry proof

Nicolas Durrande, Director of Research at Secondmind.

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

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

Cambridge Society for the Application of Research (CSAR)

CSAR webinar: Innovation - the engine of economic growth

Lord David Sainsbury, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

Andrew Pitts, University of Cambridge.

Online.

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

Logic & Semantics for Dummies

Semantics of monad transformers

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

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

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

Machine Learning Reading Group @ CUED

Failure Modes of Variational Autoencoders and Their Effects on Downstream Tasks

Yaniv Yacoby, Harvard University.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud and Marine Schimel.

Online on Zoom.

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

Logic & Semantics for Dummies

Categorical models of dependent type theory II

Nathanael Arkor (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Gaussian Processes I have Known

Anthony O'Hagan, University of Sheffield.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning

Qingbiao Li.

Zoom.

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

Logic & Semantics for Dummies

Categorical gluing and logical relations

Mathieu Huot.

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

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

Machine Learning Reading Group @ CUED

Causal Representation Learning

Chaochao Lu, University of Cambridge.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jascha Achterberg and Kris Jensen.

Online on Zoom.

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

Category Theory Seminar

A characterisation of the category of compact Hausdorff spaces

Luca Reggio (University of Oxford).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Computational foundations of morphogenomics

Bianca Dumitrascu.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Logic & Semantics for Dummies

Descriptive Complexity

Felipe Ferreira Santos.

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

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

Machine Learning Reading Group @ CUED

Long-Range Transformers

Valerii Likhosherstov, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Landscape and Gaps in Open Source Fairness Toolkits

Michelle Lee.

Zoom.

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

Logic & Semantics for Dummies

Categorical models of dependent type theory

Nathanael Arkor (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Inference in Stochastic Processes

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

David Liu and Jeroen Olieslagers.

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning and String theory

Challenger Mishra.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Machine Learning Reading Group @ CUED

Fairness in AI

Elre Oldewage (University of Cambridge).

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

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

Category Theory Seminar

On the categorical structure behind Galois theories

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural ODE Processes

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

Zoom.

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

Logic & Semantics for Dummies

Monoidal categories

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

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

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

Machine Learning Reading Group @ CUED

Variational Bayes as Surrogate Regression

Will Tebbutt (University of Cambridge).

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

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

Cambridge Society for the Application of Research (CSAR)

The Hunt for Exoplanets

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

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning under model misspecification

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

Zoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

Christopher Pulte, University of Cambridge.

Online.

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

Logic & Semantics for Dummies

The presheaf model of abstract syntax and variable binding

Dima Szamozvancev (University of Cambridge).

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

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

Category Theory Seminar

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

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

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

Category Theory Seminar

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Latent Action Space for Offline Reinforcement Learning

Wenxuan Zhou, Carnegie Mellon University (USA).

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Hydrogen: Its Role in the UK Economy

Professor Nigel Brandon, Imperial College London.

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

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

Machine Learning Reading Group @ CUED

Bayesian optimization / Gaussian Process Bandits

Sattar Vakili (MediaTek Research).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Debugging Machine Learning Code

Svet Penkov, Efemarai.

Zoom.

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

Machine Learning Reading Group @ CUED

Meta-reinforcement learning

Kris Jensen and Calvin Kao (University of Cambridge).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting material properties with the help of machine learning

Bingqing Cheng.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Computational Neuroscience

A theory for Hebbian Learning in recurrent E-I networks

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

Online on Zoom (recorded).

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

Machine Learning Reading Group @ CUED

Best of NeurIPS

Speaker to be confirmed.

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Calvin Kao and Marine Schimel.

Online on Zoom.

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

Logic & Semantics for Dummies

Introduction to infinity categories

Alex Rice (University of Cambridge).

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

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

Computational Neuroscience

The covariance perceptron: Theory and application to reservoir computing

Matthieu Gilson, Sofia Lawrie (Universitat Pompeu Fabra).

Online on Zoom.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Gabriele Corso.

Zoom.

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

Machine Learning Reading Group @ CUED

Neural Processes

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Gido van de Jen.

Online on Zoom.

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

Category Theory Seminar

Isotropy Groups of Quasi-Equational Theories

Jason Parker, Brandon University.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wasserstein Natural Gradients for Reinforcement Learning

Ferenc Huszár.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Tooth Regeneration and Repair: Dentistry in the 21st century

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

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

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

Logic & Semantics for Dummies

Karoubi envelopes, semifunctors, and the extensional lambda calculus

Nathanael Arkor (University of Cambridge).

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Biomedical Data

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

Marinka Zitnik, Harvard University.

Zoom.

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

Machine Learning Reading Group @ CUED

Large-scale sequential experimentation

Wessel Bruinsma and Jiri Hron (University of Cambridge).

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Philip Saville, University of Edinburgh.

Online.

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

Logic & Semantics for Dummies

Indexed containers and initial algebras for polynomial endofunctors

Shaun Steenkamp (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Symmetries in Reinforcement Learning

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

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

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

Computational Neuroscience

Computational Neuroscience Journal Club

Jasmine Stone (University of Cambridge).

Online on Zoom.

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

Category Theory Seminar

A 2-dimensional bifunctor theorem

Graham Manuell.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

What is Next for the Efficient Machine Learning Revolution?

Nicholas Lane.

Zoom.

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

Cambridge Society for the Application of Research (CSAR)

Is Dementia Preventable?

Professor Gill Livingston, Division of Psychiatry, UCL..

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

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

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

Tomas Jakl, University of Cambridge.

Online.

Friday 13 November 2020, 14:00-15:00

Logic & Semantics for Dummies

Modalities and HoTT

Derek Sorensen.

https://meet.google.com/jxy-edcv-wgx.

Friday 13 November 2020, 13:00-14:00

Machine Learning Reading Group @ CUED

Gradient-based Hyperparameter Optimisation

Ross Clarke (University of Cambridge).

https://eng-cam.zoom.us/j/86068703738?pwd=YnFleXFQOE1qR1h6Vmtwbno0LzFHdz09.

Wednesday 11 November 2020, 11:05-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

Alexander Norcliffe.

Zoom.

Tuesday 10 November 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

Vikraman Choudhury, University of Indiana.

Online.

Friday 06 November 2020, 14:00-15:00

Logic & Semantics for Dummies

Distributive Iaws 2: Monadic Boogaloo

Dima Szamozvancev (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 06 November 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Best Papers from ICML 2020

Reading group participants.

https://meet.google.com/wdk-qnzb-iet.

Wednesday 04 November 2020, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Modulated Bayesian Optimisation

Carl Henrik Ek.

Zoom.

Tuesday 03 November 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Osseointegration, approaching 1,000 cases.

Professor Munjed Al Muderis, MB ChB FRACS FAOrthA; Orthopedic Surgeon, School Of Medicine, University Of Notre Dame Australia, Sydney; School of Medicine Macquarie University.

Location: Zoom. See CSAR website or emails for joining information..

Monday 02 November 2020, 09:00-10:30

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

Gregory Wilsenach, University of Cambridge.

Online.

Friday 30 October 2020, 14:00-15:00

Logic & Semantics for Dummies

Distributive laws

Dima Szamozvancev (University of Cambridge).

https://meet.google.com/jxy-edcv-wgx.

Friday 30 October 2020, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Constraining Variational Inference with Geometric Jensen-Shannon Divergence

Jacob Deasy.

Zoom.

Tuesday 27 October 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution

Alasdair Armstrong, University of Cambridge.

Online.

Friday 23 October 2020, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang and Wayne Soo.

Online on Zoom.

Tuesday 20 October 2020, 15:00-16:30

Category Theory Seminar

Quillen model structures from models of HoTT

Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University).

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 20 October 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting Mortality and Length of Stay with Patient Graph Representation Learning

Emma Rocheteau.

Zoom.

Tuesday 20 October 2020, 13:15-14:15

Computational Neuroscience

Cognitive switches and functional reprogramming of sensory cortex

Abhishek Banerjee, Newcastle University.

Online on google meets.

Friday 16 October 2020, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Incrementality xor currency for monotone fixed points

Michael Arntzenius, University of Cambridge.

Online.

Friday 16 October 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sponge Examples: Energy-Latency Attacks on Neural Networks

Ilia Shumailov.

Zoom.

Tuesday 13 October 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

Electronics on the brain

Professor George Malliaras, Prince Philip Professor of Technology, Department of Engineering, University of Cambridge.

Location: Your choice. See CSAR website or emails for joining information..

Monday 12 October 2020, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Algebra in Computer Science

Eric Finster, University of Cambridge.

Online.

Friday 09 October 2020, 14:00-15:00

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and David Liu.

Online on Zoom.

Tuesday 06 October 2020, 15:00-16:30

Machine Learning @ CUED

Efficient and Structured Uncertainty: Challenges and Opportunities

Andrey Malinin, Yandex Research.

Virtual (see abstract for Zoom link).

Wednesday 22 July 2020, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Yashar Ahmadian.

Online on Zoom.

Tuesday 30 June 2020, 16:30-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Emergent Multi-Agent Communication: The story so far

Agnieszka Slowik (University of Cambridge).

Online on Teams.

Tuesday 30 June 2020, 13:15-14:15

Machine Learning Reading Group @ CUED

Active Learning

Austin Tripp and Erik Daxberger (University of Cambridge).

https://meet.google.com/xom-namz-rzv.

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

Mladen Nikolić, University of Belgrade.

Online on Teams.

Tuesday 23 June 2020, 13:15-14:15

Logic & Semantics for Dummies

Presheaves seen as freely added colimits: an algorithmic approach

Younesse Kaddar.

https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Friday 19 June 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Recent advances in the theory and applications of VAEs

Gergely Flamich and Alexandru Cioba.

Venue to be confirmed.

Wednesday 17 June 2020, 11:00-12:30

Cambridge Society for the Application of Research (CSAR)

Zero cases - the lessons from New Zealand

Professor Michael Baker, Department of Public Health, University of Otago, Wellington, New Zealand..

Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Wednesday 17 June 2020, 10:00-11:00

Logic & Semantics for Dummies

Presheaves and free cocompletion (part 2)

Younesse Kaddar.

https://meet.jit.si/Logic-and-Semantics-for-Dummies.

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

Botty Dimanov (University of Cambridge).

Online on Teams.

Tuesday 09 June 2020, 13:15-14:15

Logic & Semantics for Dummies

Presheaves and free cocompletion

Younesse Kaddar.

https://meet.jit.si/Logic-and-Semantics-for-Dummies.

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.

Professor Danny Altmann, Faculty of Medicine, Department of Immunology and Inflammation, Imperial College Hammersmith Hospital Campus..

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

Computational Neuroscience Journal Club

Mate Lengyel (Engineering Department).

Online on Zoom.

Tuesday 02 June 2020, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges

Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki.

Online on Teams.

Tuesday 02 June 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

CSAR online webinar. Sportable: the story behind the world's first smart rugby ball

Dr. Pete Husemeyer, Sportable.

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)

Catalina Cangea and Ben Day (University of Cambridge).

Online on Teams.

Tuesday 26 May 2020, 13:15-14:15

Computational Neuroscience

Computational Neuroscience Journal Club

Guillaume Hennequin (University of Cambridge).

Online on Zoom.

Tuesday 19 May 2020, 15:00-16:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit

Emma Rocheteau (University of Cambridge).

Online on Teams.

Tuesday 19 May 2020, 13:15-14:15

Cambridge Society for the Application of Research (CSAR)

CSAR online webinar. Science-led Policy: From Global Pandemics to Climate Change

Sir David King, The Centre for Climate Repair, University of Cambridge.

Location: Your choice! See email reminders or "Attending Lectures" for details of how to join in..

Monday 18 May 2020, 19:30-21:00

Logic & Semantics for Dummies

Goodwillie Calculus

Derek Sorensen.

https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Friday 15 May 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Best of ICLR 2020

(University of Cambridge).

https://meet.google.com/eqr-irxn-irx.

Wednesday 06 May 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Jake Stroud (University of Cambridge).

Online on Zoom.

Tuesday 05 May 2020, 15:00-16:30

Cambridge Society for the Application of Research (CSAR)

CSAR online webinar. Dieselgate: The Inside Story

John German, International Council on Clean Transportation.

Location: Your choice. See CSAR website or emails for joining information..

Monday 04 May 2020, 19:30-21:00

Machine Learning Reading Group @ CUED

Differentiable Planning

Will Tebbutt, Robert Pinsler.

https://meet.google.com/zza-agyt-koa.

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.

Professor Mark Post, Maastricht University..

Location: Your choice. See CSAR website or emails for joining information..

Monday 27 April 2020, 19:30-21:00

Computational Neuroscience

Why do neurons spike spontaneously?

Tim Vogels (University of Oxford).

Online on Zoom.

Monday 27 April 2020, 16:30-17:30

Computational Neuroscience

Why do neurons spike spontaneously?

Tim Vogels (University of Oxford).

Online on Zoom.

Monday 27 April 2020, 16:30-17:30

Machine Learning Reading Group @ CUED

Recent Developments in Bayesian Deep Learning

Andrew Foong, Siddharth Swaroop.

https://meet.google.com/hhq-zqtq-siq.

Wednesday 22 April 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang (University of Cambridge).

Online on Zoom.

Tuesday 21 April 2020, 15:00-16:30

Machine Learning Reading Group @ CUED

Strategic Classification

Jiri Hron (University of Cambridge).

https://meet.google.com/hmo-aaio-agh.

Wednesday 15 April 2020, 11:00-12:30

Machine Learning Reading Group @ CUED

Machine Learning on Sets

(University of Cambridge).

https://meet.google.com/qvg-knkr-nrg.

Wednesday 08 April 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Jensen and Marine Schimel.

Online on Zoom.

Tuesday 07 April 2020, 15:00-16:30

Machine Learning Reading Group @ CUED

Boltzmann Generators and Stochastic Normalizing Flows

Vincent Stimper, Michael Bromberg.

Hangouts Meet (Link provided via e-mail).

Wednesday 01 April 2020, 11:00-12:30

Machine Learning Reading Group @ CUED

World Models

Dr Gregor Simm (University of Cambridge).

Hangouts Meet (Link provided via e-mail).

Wednesday 18 March 2020, 11:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

A Syntactic View of Computational Adequacy

Marco Devesas Campos, University of Birmingham.

Computer Lab, GC22.

Thursday 12 March 2020, 13:00-13:20

Machine Learning Reading Group @ CUED

Federated Learning

Siddharth Swaroop (University of Cambridge).

Engineering Department, CBL Room BE-438.

Wednesday 11 March 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Xizi Li (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 10 March 2020, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

Yakoub Nemouchi, University of York.

Computer Lab, SS03.

Tuesday 10 March 2020, 14:30-14:50

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning evolving node and community representations on dynamic graphs

Simeon Spasov.

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.

Professor Nita Forouhi, MRC Epidemiology Unit, University of Cambridge.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 09 March 2020, 19:30-21:00

Logic & Semantics for Dummies

Ends and coends (AKA "Cowedges: Endgame")

Dima Szamozvancev (University of Cambridge).

Rainbow Room (FS07), Computer Laboratory.

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

Maryleen Ndubuaku.

FW26, Computer Lab, 15 JJ Thomson Avenue, Cambridge.

Friday 06 March 2020, 10:00-11:00

Machine Learning @ CUED

Game Playing Meets Game Theory: Strategic Learning from Simulated Play

wellman@umich.edu.

Engineering Department, CBL Room BE-438..

Thursday 05 March 2020, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Aspects of my formal development work

Boris Djalal, OpenAirInterface Software Alliance.

Computer Lab, FW26.

Thursday 05 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

Automating proof by induction in Isabelle/HOL using domain-specific languages

Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

Computer Lab, FW11.

Wednesday 04 March 2020, 10:00-10:20

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep Graph Mapper: Seeing Graphs through the Neural Lens

Cristian Bodnar and Cătălina Cangea.

SS03, Computer Laboratory, William Gates Building.

Tuesday 03 March 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Formal Foundations for Provably Safe Web Components

Michael Herzberg, University of Sheffield.

Computer Lab, FW26.

Tuesday 03 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

A duality theoretic view on limits of finite structures

Tomáš Jakl, Computer Lab.

Computer Laboratory, room SS03.

Friday 28 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cerberus C semantics & pointer provenance

Kayvan Memarian (University of Cambridge).

Computer Laboratory, room SS03.

Friday 28 February 2020, 13:00-14:00

Logic & Semantics for Dummies

A Galois connection for operations and relations

Adam ó Conghaile (University of Cambridge).

Rainbow Room (FS07), Computer Laboratory.

Friday 28 February 2020, 11:00-12:00

Machine Learning Reading Group @ CUED

Self-Supervised Representation Learning

Javier Antoran (University of Cambridge).

Engineering Department, CBL Room BE-438.

Wednesday 26 February 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Marine Schimel.

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 25 February 2020, 16:00-17:00

Computational Neuroscience

Computational Neuroscience Journal Club

Marine Schimel.

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 25 February 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Knowledge Graph Convolutional Networks - Combining ML and Reasoning

James Fletcher, Haikal Pribadi (Grakn).

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.

Prof Sir Leszek Borysiewicz, Cancer Research UK.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 24 February 2020, 19:30-21:00

Logic and Semantics Seminar (Computer Laboratory)

Computation via Substructures

Ramanathan S. Thinniyam, MPI-SWS.

Computer Laboratory, room SS03.

Monday 24 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Profunctorial Finiteness Semantics

Zeinab Galal.

Computer Lab, FW26.

Friday 21 February 2020, 14:00-15:00

Machine Learning Reading Group @ CUED

Kernel Mean Embeddings

Elre Oldewage (University of Cambridge).

Engineering Department, CBL Room BE-438.

Wednesday 19 February 2020, 11:00-12:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Some ideas on neural network modulation

Ben Day (Department of Computer Science and Technology).

GS15, Computer Laboratory, William Gates Building.

Tuesday 18 February 2020, 13:00-14:00

Machine Learning Reading Group @ CUED

Neural Tangent Kernel

Adria Garriga Alonso, Sebastian Ober.

Engineering Department, CBL Room BE-438.

Wednesday 12 February 2020, 11:00-12:30

Computational Neuroscience

Computational Neuroscience Journal Club

Wayne Soo (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

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

Michael Imbeault (Department of Genetics, Cambridge Univ).

FW26, Computer Laboratory, William Gates Builiding.

Tuesday 11 February 2020, 15:00-16:00

Category Theory Seminar

D-ultrafilter monads

Lurdes Sousa (CMUC, University of Coimbra & IP Viseu).

MR4, Centre for Mathematical Sciences.

Tuesday 11 February 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning for network inference

Ljupco Todorovski (University of Ljubljana).

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

Andrew Ashe, onebillion.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 10 February 2020, 19:30-21:00

Category Theory Seminar

Characterizing weakly Schreier extensions of monoids

Peter Faul (University of Cambridge).

MR4, Centre for Mathematical Sciences.

Tuesday 04 February 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality

Edoardo Calvello (Imperial College).

LT2, Computer Laboratory, William Gates Building.

Tuesday 04 February 2020, 13:00-14:00

Logic & Semantics for Dummies

Lawvere theories and finitary monads

Nathanael Arkor (University of Cambridge).

Rainbow Room (FS07), Computer Laboratory.

Friday 31 January 2020, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Simon Schug (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 28 January 2020, 16:00-17:00

Computational Neuroscience

Computational Neuroscience Journal Club

Simon Schug (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 28 January 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Flexible deep learning for heterogeneous clinical time series

Jacob Deasy.

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?

Professor Sarah Tabrizi, University College London.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 27 January 2020, 19:30-21:00

Machine Learning @ CUED

Robust Deep Learning Under Distribution Shift

Zack Lipton, CMU.

Engineering Department, CBL Room BE-438..

Friday 24 January 2020, 11:00-12:00

Category Theory Seminar

A Formal Approach to Generalisations of Monads

Gabriele Lobbia (University of Leeds).

MR4, Centre for Mathematical Sciences.

Tuesday 21 January 2020, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Abstract Diagrammatic Reasoning with Multiplex Graph Networks

Duo Wang.

SS03, Computer Laboratory, William Gates Building.

Tuesday 21 January 2020, 13:00-14:00

Computational Neuroscience

Computational Neuroscience Journal Club

Kris Torp Jensen.

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 14 January 2020, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Air pollution and human health. Lessons learnt and challenges ahead.

Professor Frank Kelly, Department of Analytical, Environmental and Forensic Sciences, King's College London.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 13 January 2020, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Geometrical Perspective on Deep Neural Networks

Stanislav Fort (Stanford University; formerly Google Research).

LT2, Computer Laboratory, William Gates Building.

Monday 13 January 2020, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library

Dmitry Kazhdan.

SS03, Computer Laboratory, William Gates Building.

Tuesday 10 December 2019, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum things 3 - Resources and Co-resources

Anuj Dawar (University of Cambridge).

Computer Laboratory, Room FW26.

Friday 06 December 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Relaxed Dependencies in Weak Memory Concurrency

Marco Paviotti.

Computer Laboratory, Room FW11.

Thursday 05 December 2019, 14:00-15:00

Machine Learning Reading Group @ CUED

Scalable Gaussian Processes

David Burt, Andrew Foong.

Engineering Department, CBL Room BE-438.

Wednesday 04 December 2019, 14:00-15:30

Logic & Semantics for Dummies

An introduction to Martin-Löf Type Theory

Vikraman (University of Cambridge).

Rainbow Room (FS07), Computer Laboratory.

Wednesday 04 December 2019, 11:00-12:00

Computational Neuroscience

Computational Neuroscience Journal Club

Adriana Perez Rotondo (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 03 December 2019, 16:00-17:00

Category Theory Seminar

Zariski-type spectra of localic rings and monoids

Graham Manuell (University of Edinburgh).

MR4, Centre for Mathematical Sciences.

Tuesday 03 December 2019, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Work in progress: Diving deeper into building distributed representations graphs

Paul Scherer.

SS03, Computer Laboratory, William Gates Building.

Tuesday 03 December 2019, 13:00-14:00

Machine Learning Reading Group @ CUED

Probabilistic Programming

Hong Ge and John Bronskill.

Engineering Department, CBL Room BE-438.

Wednesday 27 November 2019, 14:00-15:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

AI, Data Science & Mechanism Design in Sub-Saharan Africa

Daniel Mutembesa (Makerere University).

LT2, Computer Laboratory, William Gates Building.

Wednesday 27 November 2019, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Model extraction for clinical decision support systems

Zohreh Shams.

SS03, Computer Laboratory, William Gates Building.

Tuesday 26 November 2019, 13:00-14:00

Logic & Semantics for Dummies

Horizontal & vertical categorification: from monoids to bicategories

Nathanael Arkor (University of Cambridge).

Rainbow Room (FS07), Computer Laboratory.

Friday 22 November 2019, 11:00-12:00

Machine Learning Reading Group @ CUED

Neural Attention

Elre Oldewage, George Hron.

Engineering Department, CBL Room BE-438.

Wednesday 20 November 2019, 14:00-15:30

Computational Neuroscience

Computational Neuroscience Journal Club

Yul Kang (University of Cambridge).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 19 November 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Finding an Analogy

Aaron Stockdill.

SS03, Computer Laboratory, William Gates Building.

Tuesday 19 November 2019, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

Nadish de Silva (University of Cambridge).

SS03.

Friday 15 November 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 1 - Monads, comonads, and resource-limited computation

Adam ó Conghaile (University of Cambridge).

MR9 Centre for Mathematical Sciences.

Thursday 14 November 2019, 14:15-15:15

Computational Neuroscience

Structure in the randomness of trained recurrent neural networks

Omri Barak (Technion, Israel Institute of Technology).

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Thursday 14 November 2019, 11:00-12:00

Machine Learning Reading Group @ CUED

Equivariance and Symmetries in CNNs

James Allingham, Omer Sella.

Engineering Department, CBL Room BE-438.

Wednesday 13 November 2019, 14:00-15:30

Category Theory Seminar

Coherence through normalisation-by-evaluation for cartesian closed bicategories

Philip Saville (University of Edinburgh).

MR4, Centre for Mathematical Sciences.

Tuesday 12 November 2019, 14:15-15:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Matrix Means for Signed and Multilayer Graph Clustering

Pedro Mercado (University of Tübingen).

SS03, Computer Laboratory, William Gates Building.

Tuesday 12 November 2019, 13:00-14:00

Machine Learning @ CUED

Models and inference for temporal Gaussian processes

William Wilkinson, Aalto University, Finland.

Engineering Department, CBL Room BE-438..

Tuesday 12 November 2019, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

The Next Generation of Children

Professor Lucy Raymond, Cambridge Institute for Medical Research, University of Cambridge.

The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 11 November 2019, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Rule extraction from deep neural nets

Urska Matjasec (University of Ljubljana).

FC22, Computer Laboratory, William Gates Building.

Friday 08 November 2019, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

Richard Eisenberg (Bryn Mawr College).

FW26.

Friday 08 November 2019, 13:00-14:00

Logic & Semantics for Dummies

Applicative functors

Dima Szamozvancev.

Rainbow Room (FS07), Computer Laboratory.

Friday 08 November 2019, 11:00-12:00

Machine Learning Reading Group @ CUED

Hyperparameter Optimisation

Ross Clarke, Erik Daxberger, Austin Tripp.

Engineering Department, CBL Room BE-438.

Wednesday 06 November 2019, 14:00-15:30

Computational Neuroscience

Computational neuroscience journal club

Monika Jozsa.

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions).

Tuesday 05 November 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning Systems Design

Prof Neil Lawrence.

LT2, Computer Laboratory, William Gates Building.

Tuesday 05 November 2019, 13:00-14:00