CUED Control Group Seminars

Probabilistically Robust Decision Making for Uncertain Dynamical Systems

Venkatraman Renganathan, Cranfield University.

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

Thursday 12 June 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

Variational Uncertainty Decomposition for In-Context Learning

Yingzhen Li (Imperial College London).

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

Thursday 12 June 2025, 11:00-12:30

Machine Learning Reading Group @ CUED

Variational Uncertainty Decomposition for In-Context Learning

Yingzhen Li (Imperial College London).

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

Thursday 12 June 2025, 11:00-12:30

Machine Learning Reading Group @ CUED

Vision-language models (VLMs)

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

Varun Jain (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Vision-language models (VLMs)

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

Varun Jain (University of Cambridge).

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

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

Probabilistic Systems, Information, and Inference Group Seminars

Latent Concepts in Large Language Models

Prof. Pradeep Ravikumar, Carnegie Mellon University.

JDB Seminar Room, CUED.

Tuesday 10 June 2025, 14:00-15:00

NLIP Seminar Series

When is Multilinguality a Curse? Language Modeling for 350 Languages

Catherine Arnett and Tyler Chang (EleutherAI and UC San Diego).

ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 06 June 2025, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

A unified treatment of commuting tensor products

Nicola Gambino ( University of Manchester).

SS03, Computer Laboratory.

Friday 06 June 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Aeneas: Rust Verification by Functional Translation

Son Ho (Azure Research team).

SS03, Computer Laboratory.

Friday 30 May 2025, 14:00-15:00

NLIP Seminar Series

Unveiling the Secret Sauce: A Causal Look at Data Memorisation and Tokenisation in Language Models

Pietro Lesci (University of Cambridge).

Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 30 May 2025, 12:00-13:00

CUED Control Group Seminars

Understanding the drivers of antimicrobial resistance evolution

Claudia Igler, University of Manchester.

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

Thursday 29 May 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

Conditional Expectation and Machine Learning

Eugene Wong(UC Berkeley and Clare Hall, Cambridge).

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

Wednesday 28 May 2025, 11:00-12:30

NLIP Seminar Series

Robust Alignment of Large Language Models

Dr. Sangwoong Yoon (UCL).

ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 23 May 2025, 12:00-13:00

Information Engineering Distinguished Lecture Series

What If We Succeed?

Stuart Russell Professor of Computer Science, UC Berkeley.

Department of Engineering - LT2.

Friday 23 May 2025, 12:00-13:00

CUED Control Group Seminars

Engineering Genetic Controllers to Accelerate Adaptation and Attenuate Cellular Noise

Maurice Filo, ETH Zurich.

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

Thursday 22 May 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

Evaluating and Regulating Foundation Models

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

Miri Zilka, Neel Alex, Shoaib Ahmed Siddiqui, University of Cambridge.

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

Wednesday 21 May 2025, 11:00-12:30

NLIP Seminar Series

Measuring Political Bias in Large Language Models

Paul Röttger (Bocconi University).

Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 16 May 2025, 12:00-13:00

CUED Control Group Seminars

Instrumentation and Iteration in Massively Online Live Service Gaming

Mark Kerr, Jagex.

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

Thursday 15 May 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A topological proof of the H-colouring dichotomy

Jakub Oprsal (University of Birmingham).

SS03, Computer Laboratory.

Friday 09 May 2025, 14:00-15:00

NLIP Seminar Series

Research Progress in Mechanistic Interpretability

Arthur Conmy (Google DeepMind).

Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 09 May 2025, 12:00-13:00

Probabilistic Systems, Information, and Inference Group Seminars

Causal Representation Learning

Prof. Ali Tajer, Rensselaer Polytechnic Institute ​.

JDB Seminar Room, CUED.

Thursday 08 May 2025, 15:00-16:00

CUED Control Group Seminars

Krasovskii Passivity Based Approaches to Control Design of Power Systems

Yu Kawano, Hiroshima University.

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

Thursday 08 May 2025, 14:00-15:00

NLIP Seminar Series

Asymmetry in Supposedly Equivalent Facts: Pre-training Bias in Large Language Models

Zifeng Ding (University of Cambridge).

Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 02 May 2025, 12:00-13:00

CUED Control Group Seminars

Biologically Inspired Soft Robotics

Michael T. Tolley UC San Diego.

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

Friday 02 May 2025, 10:30-11:30

CUED Control Group Seminars

Some topics at the intersection of control, dynamics, and learning.

Eduardo Sontag, Northeastern University.

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

Thursday 01 May 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On morphisms between diagrams, and strictification of (∞,n)-categories

Amar Hadzihasanovic - Taltech.

SS03, Computer Laboratory.

Tuesday 22 April 2025, 14:00-15:00

Probabilistic Systems, Information, and Inference Group Seminars

Robust nonnegative matrix factorization with the beta-divergence and applications in imaging

Cédric Févotte, Institut de Recherche en Informatique de Toulouse (IRIT).

LT6, Baker Building, CUED.

Tuesday 22 April 2025, 11:00-12:00

Probabilistic Systems, Information, and Inference Group Seminars

Robust nonnegative matrix factorization with the beta-divergence and applications in imaging

Cédric Févotte, Institut de Recherche en Informatique de Toulouse (IRIT).

LT6, Baker Building, CUED.

Tuesday 22 April 2025, 11:00-12:00

Machine Learning Reading Group @ CUED

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

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

Dmitrii Krasheninnikov, Usman Anwar, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Interventions and Counterfactuals for the Working Programmer

Dario Stein (Radboud University).

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Learning to See the World in 3D

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

Ayush Tewari (University of Cambridge).

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

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

Logic and Semantics Seminar (Computer Laboratory)

Number of quantifiers in 3-variable logic on linear orders

Lauri Hella (Univeristy of Tampere).

SS03, Computer Laboratory.

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

CUED Control Group Seminars

Participation of Energy Storage in Electricity Markets: Strategic Withholding Behaviors and Equilibrium

Bolun Xu, Columbia University.

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

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

CUED Control Group Seminars

Stochastic Algorithms for Nonconvex Optimization

Mathukumalli Vidyasagar, IIT Hyderabad.

LR3A, Department of Engineering and online (Zoom).

Thursday 20 March 2025, 14:00-15:00

Information Engineering Distinguished Lecture Series

From Diffusion Models to Schrödinger Bridges

Professor Arnaud Doucet, University of Oxford .

Department of Engineering - LT1.

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

Machine Learning Reading Group @ CUED

An Introduction to In-Context Learning

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

Juyeon Heo, John Bronskill, University of Cambridge.

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

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

NLIP Seminar Series

Formal syntactic theory in the current NLP landscape

Olga Zamaraeva (University of A Coruña).

Room SS03 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 14 March 2025, 12:00-13:00

CUED Control Group Seminars

Biological design with machine learning and limited data.

Diego Oyarzun, University of Edinburgh.

LR3A, Department of Engineering and online (Zoom).

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

NLIP Seminar Series

Natural Language meets Control Theory

Carmen Amo Alonso (Stanford University).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Wednesday 12 March 2025, 16:00-17:00

Machine Learning Reading Group @ CUED

ML for Medium-Range Weather Forecasting

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Axiomatization of infinity-categories

Bastiaan Cnossen, University of Regensburg.

FW09, Computer Laboratory.

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

NLIP Seminar Series

Typological Diversity in NLP: What, Why and a Way Forward

Esther Ploeger (Aalborg University).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 07 March 2025, 12:00-13:00

CUED Control Group Seminars

Delivering Fusion Power: the challenges of control in a First of a Kind Power Plant

Adam Stephen (UKAEA), Kim Cave-Ayland (UKAEA), Morten Lennholm (UKIFS), Terry Thompson (UKIFS).

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

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

Machine Learning Reading Group @ CUED

Influence Functions

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

CRIS: The power of imagination in specification and verification

Gil Hur (Seoul National University).

SS03, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

Sampling with diffusion models

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

Shreyas Padhy, Jiajun He (University of Cambridge).

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

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

Probabilistic Systems, Information, and Inference Group Seminars

Can kernel machines be a viable alternative to deep neural networks?

Dr Parthe Pandit, Indian Institute of Technology, Bombay.

JDB Seminar Room, CUED.

Tuesday 25 February 2025, 14:00-15:00

NLIP Seminar Series

Assessing language-specific capabilities of LLMs: Lessons from Swedish NLP

Felix Morger (University of Gothenburg).

ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09..

Friday 21 February 2025, 11:00-12:00

CUED Control Group Seminars

The thresholds of an excitable system

Rodolphe Sepulchre, KU Leuven and University of Cambridge.

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

Thursday 20 February 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

Geometric Deep Learning for Structure-Based Drug Design

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

Zixing Song.

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

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

NLIP Seminar Series

Metrized Deep Learning: Fast & Scalable Training

Jeremy Bernstein (MIT).

ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 14 February 2025, 12:00-13:00

Machine Learning Reading Group @ CUED

Diffusion Models Beyond Mean Prediction

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

Mingtian Zhang, University College London.

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

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

NLIP Seminar Series

LLMs as supersloppers and other metaphors

Ann Copestake (University of Cambridge).

Room SS03 .

Friday 07 February 2025, 12:00-13:00

Probabilistic Systems, Information, and Inference Group Seminars

Time-varying Signal Estimation Using Dynamic Topological Graphs

Prof. Ercan E Kuruoglu, Tsinghua University Shenzhen International Graduate School.

JDB Seminar Room, CUED.

Thursday 06 February 2025, 15:00-16:00

CUED Control Group Seminars

Low-power embedded event-based vision processing for low-latency robotics

Jörg Conradt, KTH Stockholm, Sweden.

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

Thursday 06 February 2025, 14:00-15:00

Machine Learning Reading Group @ CUED

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

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

Miri Zilka and Usman Anwar, University of Cambridge.

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

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

NLIP Seminar Series

Preference Alignment, with Reference Mismatch, and without Reference Models

James Thorne (KAIST).

Room SS03 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 31 January 2025, 12:00-13:00

Machine Learning Reading Group @ CUED

An Introduction to Algorithmic Differentiation

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

Will Tebbutt (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

An Introduction to Algorithmic Differentiation

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

Will Tebbutt (University of Cambridge).

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

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

NLIP Seminar Series

Analysing Memorisation in Classification and Translation through Localisation and Cartography

Verna Dankers (University of Edinburgh) .

Room SS03 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 24 January 2025, 12:00-13:00

Machine Learning Reading Group @ CUED

Foundation Models in Robotics

Liyou Zhou (Cambridge).

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

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

CUED Control Group Seminars

Computation-aware set-based analysis and control

Nikos Athanasopoulos, Queen’s University Belfast.

LR3A, Department of Engineering and online (Zoom).

Thursday 05 December 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Learning curve prediction for AutoML

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

Andy Lin.

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

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

Machine Learning Reading Group @ CUED

Learning curve prediction for AutoML

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

Andy Lin.

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

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

NLIP Seminar Series

The Past, Present and Future of Tokenization

Benjamin Minixhofer (Language Technology Lab, University of Cambridge).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 29 November 2024, 12:00-13:00

CUED Control Group Seminars

Building Life-like Robots: From Musculoskeletal Designs to Biohybrid Innovations

Robert Katzschmann, ETH Zurich.

LR3A, Department of Engineering and online (Zoom).

Thursday 28 November 2024, 14:00-15:00

CUED Control Group Seminars

Negative imaginary systems theory: An introduction

Alexander Lanzon, University of Manchester.

LR3B, Department of Engineering and online (Zoom).

Wednesday 27 November 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

An Elementary Introduction to Sequential Monte Carlo Samplers

Xianda Sun (University of Cambridge).

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

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

NLIP Seminar Series

Scansion-based Lyric Generation

Yiwen Chen (University of Cambridge).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 22 November 2024, 12:00-13:00

CUED Control Group Seminars

Predicting antibiotic resistance evolution

Fernanda Pinheiro, Human Technopole, Milan, Italy..

LR3A, Department of Engineering and online (Zoom).

Thursday 21 November 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Scalable Sampling Using Annealed Algorithms

Saifuddin Syed (University of Oxford).

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

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

NLIP Seminar Series

Linguistics in the Age of Large Language Models.

Janet B. Pierrehumbert, University of Oxford.

SS03 and Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 15 November 2024, 12:00-13:00

CUED Control Group Seminars

From Holonic Systems to Human-Integrated Systems

Karel Kruger, University of Cambridge.

LR3A, Department of Engineering and online (Zoom).

Thursday 14 November 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Are we making progress in unlearning? 

Eleni Triantafillou (Google DeepMind).

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

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

NLIP Seminar Series

10 Slides on Human Feedback

Max Bartolo (Cohere).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 08 November 2024, 12:00-13:00

Probabilistic Systems, Information, and Inference Group Seminars

A State-Space Perspective on Modelling and Inference for Online Skill Rating

Dr Sam Power, University of Bristol.

LR11, Baker Building, CUED.

Thursday 07 November 2024, 14:00-15:00

CUED Control Group Seminars

Adaptive closed loop control: from reflexes to planning

Bernd Porr, University of Glasgow.

LR3A, Department of Engineering and online (Zoom).

Thursday 07 November 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Natural Experiments in NLP and Where to Find Them

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

Pietro Lesci, University of Cambridge.

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

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

NLIP Seminar Series

Adaptive Tokenization and Memory in Foundation Models

Edoardo Maria Ponti (University of Edinburgh).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 01 November 2024, 12:00-13:00

CUED Control Group Seminars

Iterative Learning Control --- Past, Present, and Future

Eric Rogers, University of Southampton.

LR3A, Department of Engineering and online (Zoom).

Thursday 31 October 2024, 14:00-15:00

Information Engineering Distinguished Lecture Series

Lippmann Photography: The Art and Science of Multispectral Imagery

Professor Martin Vetterli (Ecole Polytechnique Fédérale de Lausanne).

Department of Engineering - LT2.

Wednesday 30 October 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Linear Attention for Efficient Transformers

Isaac Reid (University of Cambridge).

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

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

NLIP Seminar Series

Language Modelling with Phonemes

Zebulon Youra Goriely (University of Cambridge).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 25 October 2024, 12:00-13:00

NLIP Seminar Series

Truth conditions at scale, and beyond

Guy Edward Toh Emerson (University of Cambridge).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 18 October 2024, 12:00-13:00

CUED Control Group Seminars

Complex Robotic Systems: Modeling, Control, and Planning using Dual Quaternion Algebra

Bruno Vilhena Adorno, University of Manchester.

LR3A, Department of Engineering and online (Zoom).

Thursday 17 October 2024, 14:00-15:00

NLIP Seminar Series

NLIP 2024 Social: Meet New PhD Students

Suchir Salhan (University of Cambridge), Matthieu Moulec (University of Cambridge), Paul Siewart (University of Cambridge).

SS03 and on Zoom, link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 11 October 2024, 12:00-13:00

Probabilistic Systems, Information, and Inference Group Seminars

Different Target Prediction Algorithms for Automotive, HRI and VR Digital Twin

Prof. Pradipta Biswas, Indian Institute of Science.

LT6, Baker Building, CUED.

Wednesday 11 September 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

Task Alignment

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

Vihari Piratla, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

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

Magnus Myreen ( Chalmers University, Sweden).

TBC - probably SS03, Computer Laboratory.

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

NLIP Seminar Series

The tradeoff governing efficient language model architectures

Sabri Eyuboglu, Stanford University.

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 14 June 2024, 16:00-17:00

CUED Control Group Seminars

Measuring the timing and noise of bacteriophage infection steps

Charlie Wedd, University of Cambridge.

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

Thursday 13 June 2024, 14:00-15:00

CUED Control Group Seminars

Measuring the timing and noise of bacteriophage infection steps

Charlie Wedd, University of Cambridge.

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

Thursday 13 June 2024, 14:00-15:00

CUED Control Group Seminars

Measuring the timing and noise of bacteriophage infection steps

Charlie Wedd, University of Cambridge.

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

Thursday 13 June 2024, 14:00-15:00

Machine Learning @ CUED

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

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

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

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

Machine Learning @ CUED

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

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

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

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

Machine Learning @ CUED

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

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

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

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

NLIP Seminar Series

Evaluating Large Language Models as Model Systems for Language

Carina Kauf, MIT Brain and Cognitive Sciences.

https://cam-ac-uk.zoom.us/j/88532356932?pwd=IVo8GI7wBssnObu7in3aNXBjwufHnJ.1.

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

NLIP Seminar Series

Title to be confirmed

Speaker to be confirmed.

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

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

CUED Control Group Seminars

Fit for purpose: the right model for the right robotic task

Marcello Calisti, University of Lincoln.

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

Thursday 30 May 2024, 14:00-15:00

Machine Learning Reading Group @ CUED

A Light Introduction to Topological Data Analysis

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

Tim Hargreaves, Tor Fjelde, University of Cambridge.

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

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

NLIP Seminar Series

Open-Endedness and General Intelligence

Tim Rocktäschel, University College London .

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

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

CUED Control Group Seminars

Nonlinear motion control

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

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

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

NLIP Seminar Series

The intersection of Interpretability and Fairness

Giuseppe Attanasio, Milan NLP.

https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

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

Logic and Semantics Seminar (Computer Laboratory)

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

Paweł T. Wojciechowski, Poznan University of Technology.

SS03, Computer Laboratory.

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

Probabilistic Systems, Information, and Inference Group Seminars

Quickest Change Detection Using Mismatched CUSUM

Prof. Sean Meyn, University of Florida.

LT6, Baker Building, CUED.

Monday 13 May 2024, 14:00-13:00

NLIP Seminar Series

Automated Fact-Checking of Climate Change Claims with Large Language Models

Dominik Stammbach, ETH Zurich.

Room FW11 at CL or William Gates Building or on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 10 May 2024, 13:00-14:00

Information Engineering Distinguished Lecture Series

When will we have intelligent robots?

Professor Jitendra Malik, Berkeley .

Department of Engineering - LR4.

Tuesday 07 May 2024, 15:00-16:00

Machine Learning Reading Group @ CUED

Mean Field Theory of NNs

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

Adrian Goldwaser, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

Andrej Bauer, University of Ljubljana.

SS03, Computer Laboratory.

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

NLIP Seminar Series

Title to be confirmed

Speaker to be confirmed.

SS03, William Gates Building. .

Friday 26 April 2024, 12:00-13:00

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

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

Bruno Mlodozeniec, Julien Horwood, Runa Eschenhagen.

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

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

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

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

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

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

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

Machine Learning Reading Group @ CUED

AI Control

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

Dmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

Neural likelihood-free inference

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

Yanzhi Chen, University of Cambridge.

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

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

NLIP Seminar Series

Misinformation: Will it get better or worse and what can we do about it?

Mevan Babakar, Google .

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09.

Friday 15 March 2024, 12:00-13:00

CUED Control Group Seminars

Examples of "control" in research and teaching at Physics

Pietro Cicuta, University of Cambridge.

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

Thursday 14 March 2024, 14:00-15: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

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

NLIP Seminar Series

Understanding Comparative Questions and Retrieving Argumentative Answers

Alexander Bondarenko, University of Leipzig .

Computer Lab, SS03.

Friday 08 March 2024, 12:00-13:00

CUED Control Group Seminars

Learning to Predict and to Act - Exploring Structure in World Models and Latent Spaces

Ingmar Posner, Oxford University .

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

Thursday 07 March 2024, 14:00-15:00

CUED Control Group Seminars

Control of Uncertainty or Control with Uncertainty? A New Control Design Paradigm for Autonomous Stochastic Systems

Panagiotis Tsiotras, Georgia Tech .

Board Room, Baker Building, Department of Engineering and online (Zoom).

Tuesday 05 March 2024, 14:15-15:15

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

NLIP Seminar Series

LLMs: Everything’s Different and Nothing Has Changed

Emma Strubell, CMU.

Computer Lab, SS03.

Friday 01 March 2024, 12:00-13: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

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

NLIP Seminar Series

Integrating Combinatorial Solvers and Neural Models

Pasquale Minervi, University of Edinburgh.

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09.

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

CUED Control Group Seminars

Neuromorphic sensing and computing in today’s AI landscape

Yulia Sandamirskaya, ZHAW Zurich University of Applied Sciences.

JDB Seminar Room and online (Zoom).

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

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

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

NLIP Seminar Series

Scaling Multilingual Generation for Low-Resource Languages

Priyanka Agrawal, Google Deepmind.

Computer Lab, SS03.

Friday 16 February 2024, 12:00-13:00

CUED Control Group Seminars

Accommodating magnitude and rate-limits in model reference adaptive control systems

Matthew Turner, University of Southampton.

JDB Seminar Room and online (Zoom).

Thursday 15 February 2024, 14:00-15: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

NLIP Seminar Series

Employing Psycholinguistics to Understand Decoding in Probabilistic Language Generators

Clara Meister, ETH Zurich.

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09.

Friday 09 February 2024, 12:00-13: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

NLIP Seminar Series

This talk is cancelled - Modeling Cognitive Complexity in NLP

Lisa Beinborn, VU Amsterdam.

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09..

Friday 02 February 2024, 12:00-13: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

NLIP Seminar Series

Revisiting the Optimality of Word Lengths

Tiago Pimentel.

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09.

Friday 26 January 2024, 12:00-13:00

NLIP Seminar Series

Faster Minimum Bayes Risk Decoding with Confidence-based Pruning

Julius Cheng (University of Cambridge).

Computer Lab, SS03.

Friday 19 January 2024, 12:00-13:00

CUED Control Group Seminars

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

Per Ola Kristensson, University of Cambridge.

JDB Seminar Room and online (Zoom).

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

CUED Control Group Seminars

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

Professor Kanat Camlibel, Bernoulli Institute, University of Groningen.

JDB Seminar room.

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

CUED Control Group Seminars

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

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

LT6 Seminar Room.

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

CUED Control Group Seminars

Sound Control Synthesis with Logics and Data

Professor Alessandro Abate, Department of Computer Science, University of Oxford.

Department of Engineering, JDB Seminar Room, and online (zoom): https://newnham.zoom.us/j/92544958528?pwd=YS9PcGRnbXBOcStBdStNb3E0SHN1UT09.

Friday 01 December 2023, 14:00-15:00

NLIP Seminar Series

Fairness Evaluation in Generative NLP

Seraphina Goldfarb-Tarrant (Cohere).

Computer Lab, SS03.

Friday 01 December 2023, 12:00-13:00

CUED Control Group Seminars

New Innovative Idea on Bio Medical Research

Makoto Kaneko, Meijo University and Osaka University..

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

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

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

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

NLIP Seminar Series

Efficiency by Construction

Fermin Moscoso del Prado Martin (University of Cambridge).

Computer Lab, SS03.

Friday 24 November 2023, 12:00-13:00

CUED Control Group Seminars

Buckling instabilities in chaining bacterial colonies

Aidan Brown, Edinburgh University.

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

Thursday 23 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

CUED Control Group Seminars

Exploiting Structure for Scalable Design and Verification of Complex Systems

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

Department of Engineering, James Dyson Building Seminar Room.

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

CUED Control Group Seminars

Passivity-based control of underactuated surgical robots

Enrico Franco, Imperial College.

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

Thursday 16 November 2023, 14:15-15:15

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

Information Engineering Distinguished Lecture Series

Cybergenetics: Theory and Implementation of genetic control systems

Prof Mustafa Khammash, ETH Zurich.

Department of Engineering - LT2.

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

CUED Control Group Seminars

Distributed Control, Estimation and Optimization in Multi-agent Systems

Professor Wei Ren, Department of Electrical and Computer Engineering University of California, Riverside.

Department of Engineering, LT6, and online (zoom): https://newnham.zoom.us/j/92544958528?pwd=YS9PcGRnbXBOcStBdStNb3E0SHN1UT09.

Friday 10 November 2023, 14:30-15:30

NLIP Seminar Series

Numerical Reasoning in Natural Language Processing

Nafise Moosavi (University of Sheffield).

Computer Lab, SS03.

Friday 10 November 2023, 12:00-13:00

CUED Control Group Seminars

Modelling and analysis of electrical circuits with memristors for neuromorphic computing applications

Anne-Men Huijzer, University of Groningen.

Department of Engineering, LR5, and online (Zoom).

Thursday 09 November 2023, 14:00-15: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

NLIP Seminar Series

Avoiding AI's "Moore's Law": Why we are building a ladder to the moon

Sara Hooker (Cohere For AI).

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09.

Friday 03 November 2023, 15:00-16:00

CUED Control Group Seminars

Theory of Stability Regions and its Practical Application in Online Stability Assessment of Large-Scale Power Grids

Hsiao-Dong Chiang, Cornell University.

Department of Engineering, James Dyson Building Seminar Room.

Friday 03 November 2023, 14:00-15: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

NLIP Seminar Series

Natural Language Processing for Text-to-Speech Synthesis

Gleb Mazovetskiy (Google).

Computer Lab, SS03.

Friday 27 October 2023, 12:00-13: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

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

NLIP Seminar Series

Collaborative Pretraining on Evolving Pretraining and Small Manageable Tasks

Leshem Choshen (IBM AI research, Hebrew University of Jerusalem).

https://cam-ac-uk.zoom.us/j/86071371348?pwd=OVlqdDhZNHlGbzV5RUZrSzM1cUlhUT09#success.

Friday 20 October 2023, 12:00-13:00

CUED Control Group Seminars

Quantitative Microbiology With Smart Microscopy

Georgeos Hardo, University of Cambridge.

Department of Engineering / Online (Zoom).

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

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

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

NLIP Seminar Series

Fighting Bad Information with AI

David Corney (Full Fact).

Computer Lab, SS03.

Friday 13 October 2023, 12:00-13:00

CUED Control Group Seminars

An Optimization-based Approach to Safe and Efficient Learning-based Control

Melanie Zeilinger, ETH Zürich.

Department of Engineering / Online (Zoom).

Thursday 12 October 2023, 14:15-15:15

NLIP Seminar Series

Does Syntax Still Matter in the World of LLMs?

Miloš Stanojević (DeepMind).

Computer Laboratory, room SS03.

Friday 06 October 2023, 12:00-13:00

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

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

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

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

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

NLIP Seminar Series

Knowledge Issues and Language Models

James Thorne (KAIST).

Computer Lab, SS03.

Friday 16 June 2023, 12:00-13:00

Probabilistic Systems, Information, and Inference Group Seminars

AI for Sound

Prof. Mark Plumbley, University of Surrey.

LT6, Baker Building, CUED.

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

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

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

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

NLIP Seminar Series

Investigating Reasons for Disagreement in Natural Language Inference

Marie-Catherine de Marneffe (FNRS – UCLouvain – The Ohio State University).

Computer Lab, FW26.

Friday 09 June 2023, 12:00-13: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

NLIP Seminar Series

Fighting Misinformation in Science Communication with NLP

Dustin Wright (University of Copenhagen).

Computer Lab, SS03.

Friday 02 June 2023, 12:00-13: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

NLIP Seminar Series

Interpretable Multi-hop Question Answering

Zhenyun Deng (University of Cambridge).

Computer Lab, SS03.

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

Information Engineering Distinguished Lecture Series

Physically Intelligent Robots at the Milli/Microscale

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

Department of Engineering - LT2.

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

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

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

NLIP Seminar Series

Challenges of Low-Resource Natural Language Processing: A Focus on Sentiment Analysis and Hate Speech Detection in Amharic

Seid Muhie Yimam (HCDS, University of Hamburg).

Virtual (Zoom).

Friday 19 May 2023, 12:00-13:00

NLIP Seminar Series

Reality Check: NLP in the era of Large Language Models

Vered Shwartz (University of British Columbia).

Virtual (Zoom).

Friday 12 May 2023, 16:00-17: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

CUED Control Group Seminars

Integrate your residuals while solving dynamic optimization problems

Eric Kerrigan, Imperial College.

Department of Engineering / Online (Zoom).

Thursday 11 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

CUED Control Group Seminars

Extended differential balancing based model reduction for structure preservation

Jacquelien Scherpen, University of Groningen.

Department of Engineering / Online (Zoom).

Thursday 04 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

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

NLIP Seminar Series

Improving Model Robustness for Natural Language Inference

Joe Stacey (Imperial College London).

Computer Lab, FW26.

Friday 28 April 2023, 12:00-13:00

CUED Control Group Seminars

Vector-based steering control in the insect brain

Barbara Webb, University of Edinburgh.

Department of Engineering / Online (Zoom).

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

Machine Learning Reading Group @ CUED

Neural Tangent Kernel

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

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

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

CUED Control Group Seminars

CANCELLED - An Optimization-based Approach to Safe and Efficient Learning-based Control

Melanie Zeilinger.

Department of Engineering / Online (Zoom).

Thursday 16 March 2023, 14:00-15:00

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

NLIP Seminar Series

Navigating the AI Hype: Building Natural Language Processing for Low Resource Languages

Asmelash Teka Hadgu (Lesan; DAIR).

Virtual (Zoom).

Friday 10 March 2023, 12:00-13:00

CUED Control Group Seminars

Control challenges in Synthetic and Evolutionary Biology

Harrison Steel, University of Oxford.

Department of Engineering / Online (Zoom).

Thursday 09 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

NLIP Seminar Series

An Affordance Account of Value Embedding in Technology: Why Good Intentions are Not Enough

Fabio Tollon (Bielefeld University).

Virtual (Zoom).

Friday 03 March 2023, 12:00-13:00

CUED Control Group Seminars

Design principles of complex cellular decision-making networks during cancer metastasis

Mohit Kumar Jolly, IISc Bangalore.

Department of Engineering / Online (Zoom).

Thursday 02 March 2023, 14:00-15: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

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

NLIP Seminar Series

Modular and Compositional Transfer Learning

Jonas Pfeiffer (Google Research).

Virtual (Zoom).

Friday 24 February 2023, 12:00-13:00

CUED Control Group Seminars

Distributed Learning and Control for Networked Autonomy

Konstantinos Gatsis, University of Oxford.

Department of Engineering / Online (Zoom).

Thursday 23 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

NLIP Seminar Series

Narrative Summarization from Multiple Views

Pinelopi Papalampidi (DeepMind).

Computer Lab, SS03.

Friday 17 February 2023, 12:00-13:00

CUED Control Group Seminars

Microbial growth behavior and the control of protein synthesis in and out of steady state

Jonas Cremer, Stanford University.

Department of Engineering / Online (Zoom).

Thursday 16 February 2023, 14:00-15: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

CUED Control Group Seminars

Data-driven control of hybrid systems and Chance-Constrained optimization

Raphael Jungers, UC Louvain.

Department of Engineering / Online (Zoom).

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

CUED Control Group Seminars

Feedback system analysis: back to the future

Rodolphe Sepulchre, KU Leuven and University of Cambridge.

Department of Engineering / Online (Zoom).

Thursday 09 February 2023, 14:00-15: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

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

NLIP Seminar Series

Processing Multiword Expressions for Grammatical Error Correction

Shiva Taslimipoor (University of Cambridge).

Computer Laboratory, Room FW09.

Friday 03 February 2023, 12:00-13: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

NLIP Seminar Series

GenBench -- State-of-the-art generalisation research in NLP

Dieuwke Hupkes (Facebook AI Research, ELLIS).

Virtual (Zoom).

Friday 27 January 2023, 12:00-13:00

CUED Control Group Seminars

A Modern Conjecture on Absolute Stability

Joaquin Carrasco, University of Manchester.

Department of Engineering / Online (Zoom).

Thursday 26 January 2023, 14:00-15:00

NLIP Seminar Series

Exploring and Controlling Social Values in Large Language Models through Role-Playing 

Paul Röttger (Oxford University).

Computer Lab, SS03.

Friday 20 January 2023, 12:00-13:00

CUED Control Group Seminars

Smarter materials for simpler robotics

Andrew Conn.

Department of Engineering / Online (Zoom).

Thursday 19 January 2023, 14:00-15: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

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

NLIP Seminar Series

Rethinking the role of tokenization in the NLP pipeline

Kris Cao (DeepMind).

Computer Lab, FW26.

Friday 02 December 2022, 12:00-13:00

CUED Control Group Seminars

Generalisable 3D printing error detection and correction via neural networks

Sebastian Pattinson, Assistant Professor in the Department of Engineering at the University of Cambridge.

Department of Engineering / Online (Zoom).

Thursday 01 December 2022, 14:00-15: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

NLIP Seminar Series

CANCELLED

Dieuwke Hupkes (Facebook AI Research, ELLIS).

Computer Lab, TBD.

Friday 25 November 2022, 12:00-13: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

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

NLIP Seminar Series

Towards Trustworthy Natural Language Processing

Jasmijn Bastings (Google Brain).

Virtual (Zoom).

Friday 18 November 2022, 12:00-13:00

CUED Control Group Seminars

On motor intelligence for soft robots

Cosimo Della Santina, Assistant Professor at TU Delft, The Netherland.

Department of Engineering / Online (Zoom).

Thursday 17 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

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

NLIP Seminar Series

Decoding is deciding under uncertainty — the case of NMT

Bryan Eikema (University of Amsterdam).

Virtual (Zoom).

Friday 11 November 2022, 12:00-13:00

CUED Control Group Seminars

Physics-based modeling of deformable robots for real-time simulation and control

Christian Duriez, Research Director at Inria Lille, France.

Department of Engineering / Online (Zoom).

Thursday 10 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

NLIP Seminar Series

NLP for Science: Advances and Challenges

Tom Hope (Allen Institute for AI, Hebrew University of Jerusalem).

Computer Lab, FW11.

Monday 07 November 2022, 11:00-12: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

CUED Control Group Seminars

Force sensing across different length scales - from cell biology to orthopaedic surgery

Prof. Sohini Kar-Narayan, Department of Materials Science, University of Cambridge.

Department of Engineering / Online (Zoom).

Sunday 30 October 2022, 14:00-15: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

NLIP Seminar Series

Efficient Structured Prediction on Long Texts

Mrinmaya Sachan (ETH Zurich).

Virtual (Zoom).

Friday 28 October 2022, 12:00-13:00

CUED Control Group Seminars

Multivariable Control in 40 Minutes

Prof. Jan Maciejowski, Emeritus Professor of Control Engineering, Cambridge University.

Department of Engineering / Online (Zoom).

Thursday 27 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

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

NLIP Seminar Series

A study of recent techniques to estimate the difficulty of exam questions from text

Luca Benedetto (University of Cambridge).

FW09.

Friday 21 October 2022, 12:00-13:00

CUED Control Group Seminars

Sensorimotor Control of Robotic Wearable technologies

Tamar Makin, MRC CBU at the University of Cambridge.

Department of Engineering / Online (Zoom).

Thursday 20 October 2022, 14:00-15: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

NLIP Seminar Series

The Aston Forensic Linguistic Databank (FoLD)

Martyn Petyko and Daniela Schneevogt (Aston University).

Virtual (Zoom).

Friday 07 October 2022, 12:00-13:00

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

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

NLIP Seminar Series

Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity Prediction

Martin Fajčík ( Brno University of Technology ).

Computer Lab, FW26.

Tuesday 12 July 2022, 14:00-15: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

CUED Control Group Seminars

Controlling imperfect robot swarms

Hector Garcia de Marina, Universidad de Granada.

Baker Building - Board Room, Department of Engineering / Online (Zoom).

Thursday 30 June 2022, 14:00-15: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

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

NLIP Seminar Series

Pitfalls with ablation in neural network architectures

Christina Lioma (University of Copenhagen).

Computer Lab, SS03.

Friday 17 June 2022, 12:00-13:00

CUED Control Group Seminars

Non-Stationary Representation Learning in Sequential Linear Bandits

Yuzhen Qin, University of California, Riverside.

JBD seminar room, Department of Engineering / Online (Zoom).

Thursday 16 June 2022, 16:00-17: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

NLIP Seminar Series

(Modeling) Morality? On Machine Learning and Phrenology

Zeerak Talat (Digital Democracies Institute, Simon Fraser University).

Virtual (Zoom).

Monday 13 June 2022, 12:00-13: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

NLIP Seminar Series

An aperitivo of efforts against harming online contents: propaganda, hate speech, spam

Alberto Barrón-Cedeño (University of Bologna).

Virtual (Zoom).

Friday 10 June 2022, 12:00-13:00

CUED Control Group Seminars

Distributed Control of DC Microgrids with Flexible Structure

Mahdieh S. Sadabadi, Queen Mary University of London.

Dyson Teaching Room, Department of Engineering / Online (Zoom).

Thursday 09 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

NLIP Seminar Series

Measuring Causal Effects of Data Statistics on Language Model Predictions

Yanai Elazar (Bar-Ilan University).

Computer Lab, FW26.

Wednesday 01 June 2022, 17:00-18:00

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

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

Information Engineering Distinguished Lecture Series

Fundamental Limits of Learning with Feedforward and Recurrent Neural Networks

Prof. Helmut Bolcskei, ETH Zurich.

Department of Engineering - LT1.

Friday 27 May 2022, 12:00-13:00

CUED Control Group Seminars

Size-dependence of switching and stable behavior in biochemical systems

Monika Jozsa, University of Cambridge.

Dyson Teaching Room, Department of Engineering / Online (Zoom).

Thursday 26 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

CUED Control Group Seminars

Analysis and design of bio-inspired indecision-breaking decision makers

Alessio Franci, Universidad Nacional Autónoma de México.

Dyson Teaching Room, Department of Engineering / Online (Zoom Meeting ID: 856 2376 0684 Passcode: 986863).

Thursday 19 May 2022, 14:00-15:00

NLIP Seminar Series

Language (In)Equality in Parsing and Machine Translation: Data Size is Only One Term in the Equation

Arianna Bisazza (University of Groningen).

Virtual (Zoom).

Thursday 19 May 2022, 13:00-14:00

NLIP Seminar Series

Neuro-Symbolic Deep Natural Language Understanding

Lili Mou (University of Alberta).

Computer Lab, FW26.

Tuesday 17 May 2022, 12:00-13:00

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

Probabilistic Systems, Information, and Inference Group Seminars

Computational Imaging and Sensing: Theory and Applications

Prof. Pier Luigi Dragotti, Imperial College London.

JDB Seminar Room, CUED.

Thursday 12 May 2022, 15:00-16:00

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

NLIP Seminar Series

Diagnosing AI Explanation Methods with Folk Concepts of Behavior

Alon Jacovi (Bar-Ilan University).

Virtual (Zoom).

Friday 06 May 2022, 12:00-13:00

CUED Control Group Seminars

Weak Control for Human-in-the-loop Systems

Masaki Inoue, Keio University.

Dyson Seminar Room, Department of Engineering / Online (Zoom Meeting ID: 892 4602 0075 Passcode: 913765).

Thursday 05 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

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

NLIP Seminar Series

Interactive and decomposed approaches for NLP: the case of multi-text summarization

Ido Dagan (Bar-Ilan University).

Virtual (Zoom).

Friday 29 April 2022, 12:00-13:00

CUED Control Group Seminars

On Minimax Adaptive Control

Anders Rantzer, Lund University.

Dyson Seminar Room, Department of Engineering / Online (Zoom Meeting ID: 832 4377 0774 Passcode: 684832).

Thursday 28 April 2022, 14:00-15:00

CUED Control Group Seminars

Passivity, Monotonicity, and Network Optimization: New Perspectives for Network Systems Analysis

Daniel Zelazo, Technion - Israel Institute of Technology.

Dyson Seminar Room, Department of Engineering / Online (Zoom Meeting ID: 837 4007 0422 Passcode: 081031).

Thursday 21 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

CUED Control Group Seminars

Dance-inspired investigation of human locomotor coordination

Praneeth Namburi, MIT.

Dyson Seminar Room, Department of Engineering / Online (Zoom Meeting ID: 825 7950 4541 Passcode: 123551).

Thursday 14 April 2022, 14:00-15:00

CUED Control Group Seminars

Cybergenetics: A control theory for living cells

Corentin Briat, ETH-Zürich.

Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 856 3342 6333 Passcode: 367773).

Thursday 31 March 2022, 14:00-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

CUED Control Group Seminars

Advanced Sliding Mode Control

Antonella Ferrara, University of Pavia.

Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 856 0420 7880 Passcode: 578888).

Thursday 24 March 2022, 14:00-15:00

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

NLIP Seminar Series

Multilingual Autoregressive Entity Linking

Nicola De Cao (University of Amsterdam, Huggingface).

Virtual (Zoom).

Friday 18 March 2022, 12:00-13: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

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

Anupam Das, University of Birmingham.

FW26.

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

NLIP Seminar Series

Hugging Face: a hub for the whole ML community to collaborate

Nate Raw and Ömer Faruk Özdemir (HuggingFace).

Virtual (Zoom).

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

CUED Control Group Seminars

Modular analysis of linear systems using assume-guarantee contracts

Bart Besselink, University of Groningen.

Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 842 0121 0459 Passcode: 338605).

Thursday 10 March 2022, 14:00-15: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

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

NLIP Seminar Series

Using NLP and graph theory to capture speech abnormalities in psychosis

Caroline Nettekoven (University of Cambridge).

Virtual (Zoom).

Friday 04 March 2022, 12:00-13:00

CUED Control Group Seminars

Learning-based control of soft robots

Thomas George-Thuruthel, University of Cambridge.

Dyson Seminar Room, Department of Engineering / Online (Zoom Meeting ID: 839 0458 8067 Passcode: 572898).

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

NLIP Seminar Series

Learning from Past: Bringing Planning Back to Neural Generators

Shashi Narayan (Google Research).

Virtual (Zoom).

Friday 25 February 2022, 12:00-13:00

CUED Control Group Seminars

Data-driven stabilization of nonlinear polynomial systems with noisy data

Meichen Guo, University of Groningen.

Dyson Seminar Room, Department of Engineering / Online (Zoom: Meeting ID: 875 1060 6963, Passcode: 661347).

Thursday 24 February 2022, 15:00-16: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

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

NLIP Seminar Series

[POSTPONED] Parametric vs Nonparametric Knowledge, and what we can learn from Knowledge Bases

Sebastian Riedel (Facebook AI Research and UCL).

Virtual (Zoom).

Friday 18 February 2022, 12:00-13:00

CUED Control Group Seminars

Saddle-point dynamics, non-expansive semiflows, and necessary and sufficient conditions for convergence

Dr Ioannis Lestas (University of Cambridge).

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 17 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

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

Logic and Semantics Seminar (Computer Laboratory)

Categorical Foundations of Gradient-Based Learning

Fabio Zanasi, UCL.

FW26.

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

NLIP Seminar Series

When do languages use the same word for different meanings? The Goldilocks Principle that shapes the lexicon

Gemma Boleda (Universitat Pompeu Fabra).

Virtual (Zoom).

Friday 04 February 2022, 12:00-13: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

NLIP Seminar Series

Towards Out-of-distribution generalization in NLP

Prof. He He (New York Univeristy).

Virtual (Zoom).

Friday 28 January 2022, 13:00-14:00

CUED Control Group Seminars

Epidemic mitigation through testing and optimal urban mobility

Muhammad Umar B Niazi, KTH.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 27 January 2022, 14:00-15: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

NLIP Seminar Series

Expectations vs. Reality: Lessons learned from Working on Toxic Content Detection in NLP

Nedjma Ousidhoum (University of Cambridge).

Virtual (Zoom).

Friday 21 January 2022, 12:00-13: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

CUED Control Group Seminars

Contraction and Convexity, Robustness and Regularisation

For the Zoom link to this talk, please e-mail tbb29@cam.ac.uk

Prof. Ian Manchester, University of Sydney.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 09 December 2021, 09:00-10:00

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

NLIP Seminar Series

CANCELLED

Lotty Brand (University of Sheffield) .

Virtual (Zoom).

Friday 03 December 2021, 12:00-13:00

CUED Control Group Seminars

Towards a Theory of Energy Conversion

Prof. Arjan van der Schaft, University of Groningen.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 02 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

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

NLIP Seminar Series

Sparse Latent Structure with Overlapping Constraints

Vlad Niculae (University of Amsterdam).

Virtual (Zoom).

Friday 26 November 2021, 12:00-13:00

CUED Control Group Seminars

Title to be confirmed

Dr. Henk van Waarde, ETH Zurich.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 25 November 2021, 14:00-15:00

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

NLIP Seminar Series

Analyzing and Summarizing Movies using Turning Points

Frank Keller (University of Edinburgh).

Virtual (Zoom).

Friday 19 November 2021, 12:00-13:00

CUED Control Group Seminars

Modeling human sensorimotor control for better control of surgical robots

Prof. Ilana Nisky, Ben-Gurion University of the Negev / University of Cambridge.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 18 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

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

NLIP Seminar Series

How language understanding unfolds in minds and machines

Roger Levy (MIT).

Virtual (Zoom).

Friday 12 November 2021, 12:00-13:00

CUED Control Group Seminars

Distributed Optimal Secondary Frequency Control for Power Systems With Delay Independent Stability

Dr. Mengmou Li, University of Cambridge.

Dyson Seminar Room, Department of Engineering / Online (Zoom).

Thursday 11 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

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

NLIP Seminar Series

Integrating Human Cognition with Natural Language Processing

Yevgeni Berzak (Technion).

Virtual (Zoom).

Friday 05 November 2021, 12:00-13: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

CUED Control Group Seminars

A deterministic least squares approach for simultaneous input and state estimation

Greg Gakis, University of Cambridge.

LR 11, Department of Engineering / Online (Zoom).

Thursday 04 November 2021, 14:00-15: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

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

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

NLIP Seminar Series

Toward Broad and Deep Language Understanding for Intelligent Systems

Marjorie McShane (Rensselaer Polytechnic Institute).

Virtual (Zoom).

Friday 22 October 2021, 12:00-13: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

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

NLIP Seminar Series

Exploring Feedback Comment Generation for Language Learners

Ryo Nagata (Konan University).

Virtual (Zoom).

Friday 15 October 2021, 12:00-13:00

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

CUED Control Group Seminars

Closing The Gap Between Theory and Experiments in The Design of Biomolecular Feedback Circuits

Zoom meeting link to be released

Noah Olsman, Harvard University.

Online (Zoom).

Thursday 05 August 2021, 14:00-15: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

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

CUED Control Group Seminars

Combining two mechanisms to produce neural firing rate homeostasis

Zoom meeting link: https://zoom.us/j/97625047934

Paul Miller, Brandeis University.

Online (Zoom).

Thursday 01 July 2021, 14:00-15:00

CUED Control Group Seminars

Spiking Control Systems

Zoom meeting link: https://zoom.us/j/93178617889

Prof. Rodolphe Sepulchre, University of Cambridge.

Online (Zoom).

Thursday 24 June 2021, 14:00-15:00

NLIP Seminar Series

NMT Analysis: The Trade-Off Between Source and Target, and (a Bit of) the Training Process

Elena Voita (University of Edinburgh).

Virtual (Zoom).

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

CUED Control Group Seminars

Graphical Nonlinear System Analysis

Zoom meeting link: https://zoom.us/j/96507147724

Tom Chaffey, University of Cambridge.

Online (Zoom).

Thursday 17 June 2021, 14:00-15:00

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

NLIP Seminar Series

Challenges in evaluating natural language generation systems

Note unusual time

Mohit Iyyer (University of Massachusetts Amherst).

Virtual (Zoom).

Friday 11 June 2021, 13:00-14: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

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

NLIP Seminar Series

Beyond Facts: The Problem of Framing in Assessing What is True

Note unusual time

Philip Resnik (University of Maryland).

Virtual (Zoom).

Friday 04 June 2021, 14:00-15:00

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

NLIP Seminar Series

Interpretability in NLP: Moving Beyond Vision

Note unusual time

Shuoyang Ding (Johns Hopkins University).

Virtual (Zoom).

Friday 28 May 2021, 13:00-14:00

NLIP Seminar Series

Typological Feature Prediction and Blinding for Cross-Lingual NLP

Johannes Bjerva (Aalborg University).

Virtual (Zoom).

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

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

NLIP Seminar Series

Incorporating Structure into NLP Models with Graph Neural Networks

Michael Schlichtkrull (University of Cambridge).

Virtual (Zoom).

Friday 14 May 2021, 12:00-13: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

NLIP Seminar Series

Adaptation and Control in Enterprise Language Technology

Ryan McDonald (ASAPP).

Virtual (Zoom).

Friday 07 May 2021, 12:00-13:30

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

NLIP Seminar Series

Cross domain similarities and intra-person changes

Maria Liakata (University of Warwick).

Virtual (Zoom).

Friday 30 April 2021, 12:00-13:00

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

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

CUED Control Group Seminars

Distribution and regulation of ion channels in neurons: Quantitative studies of global protein transport and homeostatic synaptic scaling

Zoom meeting link: https://zoom.us/j/99231423419

Adriano Bellotti, University of Cambridge.

Online (Zoom).

Thursday 08 April 2021, 14:00-15:00

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

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

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

Andrew Pitts, University of Cambridge.

Online.

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

CUED Control Group Seminars

Generalized Nash equilibrium seeking under partial information

Zoom meeting link: https://zoom.us/j/96326600203

Sergio Grammatico, TU Delft.

Online (Zoom).

Thursday 25 March 2021, 14:00-15: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

NLIP Seminar Series

Title TBD

Ryan McDonald (Google).

Virtual (Zoom).

Friday 19 March 2021, 12:00-13: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

NLIP Seminar Series

🎈🎈🎈🥳 NLP Social Hour 🥳🎈🎈🎈

-.

Virtual (Zoom).

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

NLIP Seminar Series

Representation Learning for Text Retrieval: Learning and Pretraining Strategies for Dense Retrieval

Unusual date and time

Chenyan Xiong (Microsoft Research).

Virtual (Zoom).

Thursday 11 March 2021, 16:00-17:00

NLIP Seminar Series

Title TBD

Note unusual time

Chenyan Xiong (Microsoft Research AI).

Virtual (Zoom).

Thursday 11 March 2021, 15:00-16:00

CUED Control Group Seminars

The role of space in evolution: insights from microbial and viral expansions

Zoom meeting link: https://zoom.us/j/99083035008

Diana Fusco, University of Cambridge.

Online (Zoom).

Thursday 11 March 2021, 14:00-15: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

NLIP Seminar Series

[RESCHEDULED] Typological Feature Prediction and Blinding for Cross-Lingual NLP

RESCHEDULED TBD

Johannes Bjerva (Aalborg University).

Virtual (Zoom).

Friday 05 March 2021, 12:00-13: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

NLIP Seminar Series

Papers with Code and the automatic extraction of results from papers

Robert Stojnic (Facebook / Papers with Code).

Virtual (Zoom).

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

CUED Control Group Seminars

Information transfer from biological to analog microcircuits

Zoom meeting link: https://zoom.us/j/97349674751

Prof. Alain Nogaret, University of Bath.

Online (Zoom).

Thursday 25 February 2021, 14:00-15: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

NLIP Seminar Series

Title TBD

Mariam Redi (Wikimedia).

Virtual (Zoom).

Friday 19 February 2021, 12:00-13:00

NLIP Seminar Series

The Science of Knowledge Equity - Research at Wikimedia

Miriam Redi, Diego Saez (Wikimedia Foundation).

Virtual (Zoom).

Friday 19 February 2021, 12:00-13:00

CUED Control Group Seminars

Stabilization of Discrete-Time Switched Affine Systems and their Applications in Power Electronics

Zoom meeting link: https://zoom.us/j/98109940596

Dr. Lucas Egidio, Université Catholique de Louvain.

Online (Zoom).

Thursday 18 February 2021, 14:00-15: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

NLIP Seminar Series

Detecting the "Fake News" Before It Was Even Written, Media Literacy, and Flattening the Curve of the COVID-19 Infodemic

Preslav Nakov (Qatar Computing Research Institute (QCRI), HBKU).

Virtual (Zoom).

Friday 12 February 2021, 12:00-13: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

NLIP Seminar Series

A Graph-Based Framework for Structured Prediction Tasks in Sanskrit

Note unusual time

Amrith Krishna (University of Cambridge).

Virtual (Zoom).

Friday 05 February 2021, 13:00-14:00

CUED Control Group Seminars

Stability of Optimisation-based Control: Brief Review and New Results

Zoom meeting link: https://zoom.us/j/93349961156

Wen-Hua Chen, Loughborough University.

Online (Zoom).

Thursday 04 February 2021, 14:00-15:00

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

NLIP Seminar Series

Learning with Graphs in Natural Language Generation and Relation Extraction

Zhijiang Guo (University of Cambridge).

Virtual (Zoom).

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

NLIP Seminar Series

Revisiting and re-evaluating rumour stance classification

Carolina Scarton (University of Sheffield).

Virtual (Zoom).

Friday 22 January 2021, 12:00-13:00

CUED Control Group Seminars

Data-driven control à la Finsler and Yakubovich

Zoom meeting link: https://zoom.us/j/92943573797

Henk van Waarde, University of Cambridge.

Online (Zoom).

Thursday 21 January 2021, 14:00-15: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

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

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

NLIP Seminar Series

Compositional Neural Meaning Representation Parsing

Weiwei Sun (University of Cambridge).

Virtual (Zoom).

Friday 04 December 2020, 12:00-13:00

CUED Control Group Seminars

Identification and model reduction of complex network systems

Zoom meeting link: https://zoom.us/j/93541687585

Dr. Xiaodong Cheng, Eindhoven University of Technology.

Online (Zoom).

Thursday 03 December 2020, 14:00-15:00

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

NLIP Seminar Series

Improving Speech Translation with Linguistically-Informed Representations

Elizabeth Salesky (Johns Hopkins University).

Zoom.

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

CUED Control Group Seminars

A canonical brain computation: from mechanism to purpose

Zoom meeting link: https://zoom.us/j/99373703786

Dr. Yashar Ahmadian, University of Cambridge.

Online (Zoom).

Thursday 26 November 2020, 14:00-15: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

CUED Control Group Seminars

A Digital Twin for Controlling Industrial Processes

Zoom meeting link: https://zoom.us/j/98082715567

Dr. Amritam Das, University of Cambridge.

Online (Zoom).

Thursday 19 November 2020, 14:00-15: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

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

NLIP Seminar Series

Predicting Text Readability and Reading Comprehension from Reading Interactions

Sian Gooding (University of Cambridge).

Virtual (Zoom).

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

CUED Control Group Seminars

Electronics on the Brain

Prof. George Malliaras, University of Cambridge.

Online (Zoom).

Thursday 12 November 2020, 14:00-15: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

NLIP Seminar Series

How far have we come in giving our NLU systems common sense?

Note time change

Nasrin Mostafazadeh (Verneek).

Virtual (Zoom).

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

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

CUED Control Group Seminars

Self-Healing Codes

Zoom meeting link: https://zoom.us/j/92275948382

Dr. Michael Rule, University of Cambridge.

Online (Zoom).

Thursday 05 November 2020, 14:00-15: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

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

Gregory Wilsenach, University of Cambridge.

Online.

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

CUED Control Group Seminars

Understanding and engineering biological networks using timelapse microfluidic microscopy

Zoom meeting link: https://zoom.us/j/93507110597

Somenath Bakshi, University of Cambridge.

Online (Zoom).

Thursday 29 October 2020, 14:00-15:00

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

NLIP Seminar Series

Five Sources of Biases and Ethical Issues in NLP, and What to Do about Them

Dirk Hovy (Bocconi University).

Virtual (Zoom).

Friday 23 October 2020, 12:00-13:00

CUED Control Group Seminars

An Optimal Control Approach to Covid-19

Zoom meeting link: https://zoom.us/j/97430090424

Prof. Jan Maciejowski, University of Cambridge.

Online (Zoom).

Thursday 22 October 2020, 14:00-15: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

NLIP Seminar Series

What are the Goals of Distributional Semantics?

Guy Emerson (University of Cambridge).

Virtual (Zoom).

Friday 16 October 2020, 12:00-13: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

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

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

NLIP Seminar Series

Towards explainable fact checking

Isabelle Augenstein (University of Copenhagen).

https://meet.google.com/xkv-cako-arr.

Friday 19 June 2020, 12:00-13: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

NLIP Seminar Series

Achieving Verified Robustness to Adversarial NLP Inputs

Note later start

Johannes Welbl (UCL).

https://meet.google.com/tgv-vods-pdk.

Friday 12 June 2020, 12:30-13:30

CUED Control Group Seminars

Nonlinear resonance and excitability in interconnected systems

Ilario Cirillo, University of Cambridge.

Cambridge University Engineering Department.

Thursday 11 June 2020, 14:00-15:00

CUED Control Group Seminars

System Identification of Neuronal Behaviors

Thiago Burghi, University of Cambridge.

Cambridge University Engineering Department.

Thursday 04 June 2020, 14:00-15:00

NLIP Seminar Series

Methodological advances in creating time sensitive sensors from language and heterogeneous user generated content

Rescheduled

Maria Liakata (Queen Mary University of London, University of Warwick, Alan Turing Institute).

https://meet.google.com/awc-wvbh-azc.

Friday 29 May 2020, 12:00-13:00

CUED Control Group Seminars

On feedback control of switches and oscillators based on dominance theory

Fulvio Forni, University of Cambridge.

Cambridge University Engineering Department..

Thursday 28 May 2020, 14:00-15:00

Information Engineering Distinguished Lecture Series

A mathematical theory of deep neural networks

Postponed due to COVID-19

Prof. Helmut Bolcskei, ETH Zurich.

Department of Engineering - LT1.

Friday 22 May 2020, 12:00-13:00

CUED Control Group Seminars

Geometric Thinking in Engineering and Applied Sciences

Cyrus Mostajeran, University of Cambridge.

Cambridge University Engineering Department..

Thursday 21 May 2020, 14:00-15:00

CUED Control Group Seminars

Tradeoffs in biological optimisation

Dhruva Raman, University of Cambridge.

Cambridge University Engineering Department, TBD.

Thursday 14 May 2020, 14:00-15:00

Information Engineering Distinguished Lecture Series

Title to be confirmed

Postponed due to COVID-19

Prof Mustafa Khammash.

Department of Engineering - LT1.

Thursday 07 May 2020, 14:00-15:00

CUED Control Group Seminars

Hierarchical Robust Performance Analysis of Uncertain Large Scale Systems

Khaled Laib, University of Cambridge.

Cambridge University Engineering Department, TBD.

Thursday 07 May 2020, 14:00-15: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

NLIP Seminar Series

Reducing gender bias in neural machine translation as a domain adaptation problem

Online Seminar

Danielle Saunders (University of Cambridge).

https://meet.google.com/hhk-hmiz-mpt.

Friday 01 May 2020, 12:00-13: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

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

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

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

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

NLIP Seminar Series

Evaluating Deep Generative Models on Out-of-Distribution Inputs

Eric Nalisnick (University of Cambridge).

FW26, Computer Laboratory.

Friday 06 March 2020, 12:00-13: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

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

NLIP Seminar Series

Learning Tensors and Random Matrix Theory

Mehrnoosh Sadrzadeh (UCL).

FW26, Computer Laboratory.

Friday 28 February 2020, 12:00-13:00

CUED Control Group Seminars

An overview of Research and Robotics at Google Deepmind

Francesco Nori, Deepmind.

Cambridge University Engineering Department, Seminar Room JDB.

Thursday 27 February 2020, 14:00-15: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

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

NLIP Seminar Series

Shaping Recommendations in a Marketplace via User & Content Understanding

Rishabh Mehrotra (Spotify).

FW26, Computer Laboratory.

Friday 21 February 2020, 12:00-13:00

CUED Control Group Seminars

Exploiting Sparsity in Semidefinite and Sum of Squares Programming

Antonis Papachristodoulou, University of Oxford.

Cambridge University Engineering Department, Seminar Room JDB.

Thursday 20 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

Information Engineering Distinguished Lecture Series

Intellectual Debt and the Death of the Programmer

Prof Neil Lawrence.

Department of Engineering - LT2.

Friday 14 February 2020, 12:00-13:00

NLIP Seminar Series

Beat the AI: Investigating Adversarial Human Annotations for Reading Comprehension

Max Bartolo (UCL).

FW26, Computer Laboratory.

Friday 14 February 2020, 12:00-13:00

CUED Control Group Seminars

Integral quadratic constraints for asynchronous sampled-data links

Michael Cantoni, University of Melbourne.

Cambridge University Engineering Department, Seminar Room JDB.

Thursday 13 February 2020, 14:00-15: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

NLIP Seminar Series

Zero-shot Language Learning through Bayesian Neural Models

Edoardo Maria Ponti (University of Cambridge).

FW26, Computer Laboratory.

Friday 07 February 2020, 12:00-13:00

CUED Control Group Seminars

Principles of lossless adjustable one-ports

Malcolm Smith, University of Cambridge.

Cambridge University Engineering Department, Seminar Room JDB.

Thursday 06 February 2020, 14:00-15:00

CUED Control Group Seminars

Sequential Monte Carlo and deep regression

Thomas Schön, Uppsala University.

Cambridge University Engineering Department, Seminar Room JDB.

Thursday 30 January 2020, 14:00-15: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

CUED Control Group Seminars

Networks of Nonsmooth Oscillators & Applications in Neuroscience

Stephen Coombes, University of Nottingham.

Cambridge University Engineering Department, TBD.

Thursday 23 January 2020, 14:00-15:00

NLIP Seminar Series

Can we optimise fashion ecommerce using NLG?

Note: earlier time of 11am

Rory Waite (Emotif.ai).

FW26, Computer Laboratory.

Friday 17 January 2020, 11:00-12:00

Probabilistic Systems, Information, and Inference Group Seminars

On the Stability and the Uniform Propagation of Chaos Properties of Ensemble Kalman-Bucy Filters

Prof Pierre Del Moral, INRIA.

JDB Seminar Room, CUED.

Thursday 16 January 2020, 15:00-16:00

Probabilistic Systems, Information, and Inference Group Seminars

Reliability function near the zero error capacity

Dr Marco Dalai, University of Brescia.

LT6, Baker Building, CUED.

Monday 09 December 2019, 15:00-16: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

NLIP Seminar Series

Long Form Question Answering

Angela Fan (Facebook).

FW26, Computer Laboratory.

Friday 06 December 2019, 12:00-13:00

CUED Control Group Seminars

Sliding Modes for Estimation: theory and practice

Sarah Spurgeon, University College London.

Cambridge University Engineering Department, LR 12.

Thursday 05 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

Probabilistic Systems, Information, and Inference Group Seminars

Lie Group Machine Learning and Natural Gradient from Information Geometry

Dr Frederic Barbaresco, THALES Land and Air Systems.

LT6, Baker Building, CUED.

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

Probabilistic Systems, Information, and Inference Group Seminars

Gradient-based Adaptive Markov Chain Monte Carlo

Dr Michalis Titsias, DeepMind.

LR11, Department of Engineering.

Tuesday 03 December 2019, 15:00-16:00

CUED Control Group Seminars

Data Science: From System Identification to (Deep) Learning and Big Data

Lennart Ljung, Linköping University.

Cambridge University Engineering Department, Lecture Room 5.

Monday 02 December 2019, 14:00-15:00

CUED Control Group Seminars

Biologically realistic mean-field models of neuronal populations

Alain Destexhe, Paris-Saclay Institute of Neuroscience (NeuroPSI), CNRS, Gif sur Yvette, France..

Cambridge University Engineering Department, Lecture Room 6.

Thursday 28 November 2019, 16:00-17:00

CUED Control Group Seminars

On Nucleic Acid Feedback Controllers