![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Cock.
Friday 17 April 2026, 14:00-15:00
yk373's list
A personal list of talks.
Contact: Younesse Kaddar
10 upcoming talks View 3101 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Logic and Semantics Seminar (Computer Laboratory)
Andy Pitts Says 'Type Soundness proofs are two a penny!' but I think they're cheaper than that.
⚠️ This is a special off-schedule edition of the Logic & Semantics Seminar, with Conor Mc Bride headlining. Please note the date, time and location.
Foundation AI
GraphNeuralRAG: On the Opportunities and Challenges of GNNs for GraphRAG, from Multi-Hop Question Answering to Perturbation Modelling
⚠️ Google meet's link: https://meet.google.com/ypo-yqjc-cwv
Foundation AI
Forward Pass as Heat Flow
Logic and Semantics Seminar (Computer Laboratory)
Non-Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Computational Neuroscience
Hippocampal neuronal activity is aligned with action plans
Machine Learning Reading Group @ CUED
From Stochastic Interpolants to Flow Maps: Foundations, Fast Generation, and Applications to Weather & Climate Modeling
Logic and Semantics Seminar (Computer Laboratory)
Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
Machine Learning Reading Group @ CUED
Evolution Strategies at the Hyperscale
Machine Learning Reading Group @ CUED
Evolution Strategies at the Hyperscale
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretability in the Wild: When Explainability Meets Causality and Clinical Reality
⚠️ Note unusual time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep-layered machines have a built-in Occam's razor
⚠️ Notice unusual day, time and room
Machine Learning Reading Group @ CUED
Machine Learning on Tabular Data
Artificial Intelligence Research Group Talks (Computer Laboratory)
Discovering mathematical concepts through a multi-agent system
⚠️ Notice unusual day, time and room
Foundation AI
AI/ML in bioinformatics and CNS drug discovery
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Millimetre-wave antenna designs for future wireless communications and radar sensor applications
Machine Learning Reading Group @ CUED
Rethinking aleatoric and epistemic uncertainty
Artificial Intelligence Research Group Talks (Computer Laboratory)
Mechanistic Interpretability - Progress and Limits
⚠️ Notice unusual time
Logic and Semantics Seminar (Computer Laboratory)
Layered monoidal theories
Computational Neuroscience
Multiplexed representations of decision content and uncertainty in visual processin
Cambridge Society for the Application of Research (CSAR)
CANCELLED .....CSAR lecture: Finding common ground
Logic and Semantics Seminar (Computer Laboratory)
The Cognitive and Human Factors of Formal Methods
Information Theory Seminar
Applications of Algorithmic Information Theory
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Symbolic Interpretability
⚠️ Notice unusual day and time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Causally Reliable Concept-based Models
⚠️ Notice unusual day, time and place
Computational Neuroscience
Compositional Generalization and Learning
Cambridge Society for the Application of Research (CSAR)
Illuminating the Future: The Transformative Power of Laser Materials Processing in Science, Engineering, Art and Design
Logic and Semantics Seminar (Computer Laboratory)
Nitro Isolation Engine: formally verifying a production hypervisor
Machine learning theory
Tackling Label Corruptions: Univariate Polynomial Regression and Generalized Linear Models
Computational Neuroscience
Mind-body dualism: A perceptual core
Computational Neuroscience
Infinite Hidden Semi-Markov Models
Foundation AI
Toward a Theoretical Understanding of Self-Supervised Learning in the Foundation Model Era
⚠️ Lecture Theatre 1
Cambridge Society for the Application of Research (CSAR)
The Hidden Universe of The Human Microbiome and Its Role In Health and Disease: How DNA sequencing approaches can help us understand the hidden dark matter of the human microbiome
Computational Neuroscience
Frugal computation
Machine Learning Reading Group @ CUED
How does gradient descent work?
Computational Neuroscience
Tiny & Gigantic Neural Networks
Cambridge Society for the Application of Research (CSAR)
From Planets to Exoplanets: the search for life, with the James Webb Telescope and others
Logic and Semantics Seminar (Computer Laboratory)
Semantics for Reactive Probabilistic Programming
Machine Learning Reading Group @ CUED
Variational Inference: An Algorithm-Centric Perspective
Artificial Intelligence Research Group Talks (Computer Laboratory)
VIKING: Deep variational inference with stochastic projections
⚠️ Note unusual room
Machine learning theory
Learning shallow neural networks in high dimensions: SGD dynamics and scaling laws
Machine Learning Reading Group @ CUED
Neural Operators for Scientific Simulation
Artificial Intelligence Research Group Talks (Computer Laboratory)
Introducing BoltzGen: Toward Universal Binder Design
⚠️ This talk is only in presence
Computational Neuroscience
Lazy-rich learning
Computational Neuroscience
Lazy-rich learning
Cambridge Society for the Application of Research (CSAR)
CSAR Lecture: Biopharmaceutical Development - The Journey from Molecule to Medicine
Machine learning theory
To Intrinsic Dimension and Beyond: Efficient Sampling in Diffusion Models
Computational Neuroscience
Neural basis of decision making
Logic and Semantics Seminar (Computer Laboratory)
Liberating synthetic quasi-coherence from syntax
Machine Learning Reading Group @ CUED
A Tutorial on Algorithmic Information Theory in Modern ML
Cambridge Society for the Application of Research (CSAR)
Revealing the artists’ secrets: combining humanities with science
Logic and Semantics Seminar (Computer Laboratory)
Cospans of finite sets
Computational Neuroscience
From Data to Models to Understanding: Evaluating Neural Latents and Finding Decision Boundaries in Recurrent Neural Networks (RNNs)
Machine Learning Reading Group @ CUED
Diffusion Language Models
Artificial Intelligence Research Group Talks (Computer Laboratory)
Is it even possible to defend AI agents against attacks in practice?
⚠️ NOTE unusual place (FW11)
Machine Learning Reading Group @ CUED
An Introduction to Stochastic Interpolants
Computational Neuroscience
Thalamocortical Interactions for Flexible Cognition
Artificial Intelligence Research Group Talks (Computer Laboratory)
AIReg-Bench: Benchmarking Language Models That Assess AI Regulation Compliance
⚠️ NOTE unusual place (LT1)
Cambridge Society for the Application of Research (CSAR)
Artificial Intelligence in Radiotherapy
Logic and Semantics Seminar (Computer Laboratory)
The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem
Logic and Semantics Seminar (Computer Laboratory)
Semiring Semantics: Algebraic Properties vs. Logical Results
Foundation AI
Quantum Interactive Oracle Proofs
Logic and Semantics Seminar (Computer Laboratory)
On Solution Discovery via Reconfiguration
Logic and Semantics Seminar (Computer Laboratory)
Fibred models of dual-context type theory and internal universes in models of HoTT
Computational Neuroscience
Cerebellum Computation
Computational Neuroscience
The Fruit Fly Connectome and Beyond
Foundation AI
GNN-ACLP: Graph Neural Networks Based Analog Circuit Link Prediction
⚠️ https://drive.google.com/file/d/1XK4HTy4aaC4h2E8t8jgzDUrJrl4jBxKH/view?usp=sharing
Cambridge Statistics Clinic
Statistics Clinic Summer 2025 II
Foundation AI
Title to be confirmed
Foundation AI
AI-Powered Graph Representation Learning for Robust and Efficient Urban and Social Science
Foundation AI
Title to be confirmed
Foundation AI
From Score to Sound: Music Generation in the AI Era
Foundation AI
AI Governance and Regulation: Comparing EU, US, and China’s Models and global initiatives
Foundation AI
title
Foundation AI
Artificial Intelligence in Agrifood and Environment
Foundation AI
Performance evaluation for learning systems
Foundation AI
title
Foundation AI
title
Foundation AI
title
Foundation AI
title
Foundation AI
Title to be confirmed
Artificial Intelligence Research Group Talks (Computer Laboratory)
Success, sensitivity and unbelievable quality of LLM code generation
Machine Learning Reading Group @ CUED
The structure of curvature in neural networks
⚠️ 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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Feedback Forensics: A Toolkit to Measure AI Personality
Computational Neuroscience
Multitasking and compositionality in brain and in neural networks
Cambridge Society for the Application of Research (CSAR)
An Introduction to The Alan Turing Institute, the National Institute for Data Science, and Artificial Intelligence
Machine Learning Reading Group @ CUED
Variational Uncertainty Decomposition for In-Context Learning
Machine Learning Reading Group @ CUED
Variational Uncertainty Decomposition for In-Context Learning
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.
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.
Computational Neuroscience
Context, Computation, and Continuity: Neural Mechanisms of Memory and Decision-Making
Computational Neuroscience
Context, Computation, and Continuity: Neural Mechanisms of Memory and Decision-Making
Logic and Semantics Seminar (Computer Laboratory)
A unified treatment of commuting tensor products
Computational Neuroscience
Discovering reward-guided learning strategies from large-scale datasets
Logic and Semantics Seminar (Computer Laboratory)
Aeneas: Rust Verification by Functional Translation
Machine Learning Reading Group @ CUED
Conditional Expectation and Machine Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Computer Vision: Between Forensics and Biomedical Imaging
Computational Neuroscience
Dendrites, Synaptic Plasticity and Hippocampal Place Fields
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.
Foundation AI
Deep Learning Approaches for Label-Free Tumour Image Segmentation Spectroscopy in Cancer Diagnosis
Computational Neuroscience
Connectome-based Echo State Networks
Foundation AI
Sheaf-Based Diffusion for Multimodal Graph Learning
Computational Neuroscience
Quantifying individuality in neural circuit representations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Explainable AI in Neuroscience: From Interpretability to Biomarker Discovery
Cambridge Society for the Application of Research (CSAR)
Bioelectronic Medicine
Foundation AI
Superposition in GNNs
Foundation AI
Exploring the interplay between Ricci Flow, the Fisher Information Matrix and Gradient Descent in Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
A topological proof of the H-colouring dichotomy
Computational Neuroscience
The successor representation, its neural substrate, and behavioural consequences.
Cambridge Society for the Application of Research (CSAR)
Malaria Mosquito Genomics Across Africa
Foundation AI
bla bla
Foundation AI
bla bla
Foundation AI
bla bla
Logic and Semantics Seminar (Computer Laboratory)
On morphisms between diagrams, and strictification of (∞,n)-categories
Computational Neuroscience
In-Context Learning
Foundation AI
blabla
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.
Foundation AI
Deterministic Neural Syllogistic Reasoning (Part 2) recorded: https://www.youtube.com/watch?v=PFCHg-DAnEs
Logic and Semantics Seminar (Computer Laboratory)
Interventions and Counterfactuals for the Working Programmer
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.
Foundation AI
From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning (Part 1)
Foundation AI
Surgical data using LLMs
Logic and Semantics Seminar (Computer Laboratory)
Number of quantifiers in 3-variable logic on linear orders
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Similarity-based Methods for Language Model Analysis and Prediction
Foundation AI
From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning (Part 1).
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multimodal AI in Spatial Biology
⚠️ Note: unusual date compared to regular AI Seminars
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.
Computational Neuroscience
Integrating Random Memory Patterns and Spatial Maps in Food-Caching Birds
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: AI in Manufacturing
Logic and Semantics Seminar (Computer Laboratory)
Axiomatization of infinity-categories
Foundation AI
On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning
⚠️ hybrid : meet.google.com/bhz-scdk-unp
Artificial Intelligence Research Group Talks (Computer Laboratory)
RO-FIGS: Efficient and Expressive Tree-Based Ensembles for Tabular Data
⚠️ NOTE unusual date
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.
Computational Neuroscience
The Continual Learning (CL) Theory
Logic and Semantics Seminar (Computer Laboratory)
CRIS: The power of imagination in specification and verification
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.
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: The Road to Zero Carbon Cement
Foundation AI
Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks
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.
Computational Neuroscience
Hopfield Networks: From Neuroscience to Machine Learning and Back
Computational Neuroscience
Certain about uncertainty? Latent representations of VAEs optimized for visual tasks.
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.
Computational Neuroscience
Neural circuit reorganisation and functional resilience
Computational Neuroscience
Inverse normative modeling of continuous perception and action
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Psychological Inoculation Against Misinformation
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Text-and-audio methods
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.
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
SynFlowNet: Design of Synthesisable Molecules with GFlowNets
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Electric Jet Engines and Cricket Ball Swing
Machine Learning Reading Group @ CUED
Foundation Models in Robotics
Computational Neuroscience
Data-driven models of neural and behavioural learning
Foundation AI
Multi-Head Explainer: A General Framework to Improve Explainability in CNNs and Transformers
⚠️ record: https://youtu.be/iuT_tkVEgA4
Computational Neuroscience
Evaluating dynamical systems hypotheses for pattern generation in motor cortex
Computational Neuroscience
Modelling C. elegans pharynx
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.
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.
Computational Neuroscience
Relating the diversity of firing rates to the dimension of variability in recurrent networks
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Geological disposal of our radioactive waste legacy.
Machine Learning Reading Group @ CUED
An Elementary Introduction to Sequential Monte Carlo Samplers
Computational Neuroscience
State space models (as alternatives to Transformers)
Artificial Intelligence Research Group Talks (Computer Laboratory)
Controlling Behavioral Diversity in Multi-Agent Reinforcement Learning
Machine Learning Reading Group @ CUED
Scalable Sampling Using Annealed Algorithms
Artificial Intelligence Research Group Talks (Computer Laboratory)
Bias Mitigation in the Wild: Challenges and Opportunities
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Is recycling just a load of rubbish?
Machine Learning Reading Group @ CUED
Are we making progress in unlearning?
Computational Neuroscience
Geometry of neural representations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Natural Experiments in NLP and Where to Find Them
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Paying Attention to Efficiency: LLM Deployment on Mobile and Edge Devices
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Next Gen asset tracking using battery-free Internet of Things and Artificial Intelligence
Machine Learning Reading Group @ CUED
Linear Attention for Efficient Transformers
Computational Neuroscience
Sensory prediction errors in thalamocortical circuits
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Celebrating the contribution of viral sequencing to the COVID-19 pandemic response.
Computational Neuroscience
Geometry of population coding in large and transcriptomically-identified cortical populations
Foundation AI
Sheaves for Heterogeneous Data
Foundation AI
Sheaves for Heterogeneous Data
Robotics Seminar Series
Reinforcement Learning and Learning-guided Search for Generalizability for Multi-agent Mobility Systems
Cambridge ML Systems Seminar Series
Navigating Privacy Risks in Language Models
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.
Computational Neuroscience
Causal inference during motion perception, and its neural basis
Logic and Semantics Seminar (Computer Laboratory)
Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
Computational Neuroscience
Learning Bayesian inference models of cortical visual processing
Machine Learning @ CUED
Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis
Machine Learning @ CUED
Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis
Machine Learning @ CUED
Application of the optimal transport Gromov-Wasserstein problem to manifold learning and graph analysis
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Segmenting the biological causes of hearing loss
Foundation AI
How deep can LLMs reason? Benchmarking GPT and Llama models on nested mathematical formulas
Computational Neuroscience
Computational Neuroscience Journal Club
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.
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Physics IS Enhancing Machine Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unveiling Causal Drivers of Non-Communicable Diseases with Interpretable Models
Artificial Intelligence Research Group Talks (Computer Laboratory)
Leveraging AI for Breakthroughs in Genomic Research
⚠️ Hybrid: https://cam-ac-uk.zoom.us/j/2554325137?pwd=NGZEbGl1WkJxQVdkV09oc2k1L2pwQT09 Meeting ID: 255 432 5137 Passcode: 360730
Computational Neuroscience
Circuit for memory-based action selection
Computational Neuroscience
Integrated Spin model with global inhibition for decision making
Logic and Semantics Seminar (Computer Laboratory)
A selective and biased choice of techniques for building a distributed data store
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Creating brain organoids to uncover what makes us human.
Computational Neuroscience
Unifying the mechanisms of the hippocampal and prefrontal cognitive maps
Computational Neuroscience
Computational Neuroscience Journal Club
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
Logic and Semantics Seminar (Computer Laboratory)
Comodule representations of Second-order functionals
⚠️ Note the unusual date and time.
Artificial Intelligence Research Group Talks (Computer Laboratory)
The UK AI Safety Institute
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: What to do about plastics?
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.
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.
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.
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.
Computational Neuroscience
Neurotransmitter receptor gradients: gateways for subcortical routing of cortex-wide dynamics during cognition
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
TacticAI: an AI assistant for football tactics
Computational Neuroscience
Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning
Computational Neuroscience
Behavioral, Neuropsychological, and Computational Perspectives on Sensorimotor Learning
Logic and Semantics Seminar (Computer Laboratory)
Choice Principles in Observational Type Theory
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED
⚠️ POSTPONED. Sorry for inconvenience.
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Picking raspberries with robots.
Logic and Semantics Seminar (Computer Laboratory)
Epimorphisms and Acyclic Types in Univalent Mathematics
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.
Computational Neuroscience
Title to be confirmed
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Consistent Validation for Predictive Methods in Spatial Settings
Foundation AI
Towards Machine Learning-enhanced Monitoring
Computational Neuroscience
Computational Neuroscience Journal Club
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.
Cambridge Society for the Application of Research (CSAR)
CANCELLED: CSAR lecture: Graphene, Two Dimensional Materials & Delivering the Future of Electronic Devices
Foundation AI
Opinion dynamics inspired sheaf neural networks.
Logic and Semantics Seminar (Computer Laboratory)
Synthesis modulo oracles
Computational Neuroscience
Computational Neuroscience Journal Club
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning to Receive Help: Intervention-Aware Concept Embedding Models
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Learning-Powered Networked Systems
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: A multi-cancer early detection test - TBC
Artificial Intelligence Research Group Talks (Computer Laboratory)
Text-and-audio methods
Logic and Semantics Seminar (Computer Laboratory)
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
Logic and Semantics Seminar (Computer Laboratory)
Towards Secure Distributed Choreographies
Artificial Intelligence Research Group Talks (Computer Laboratory)
Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Development of a combined digital and biomarker test for Bipolar Disorder.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Vibe checks and red teaming: why ML researchers are increasingly reverting to manual evaluation
Logic and Semantics Seminar (Computer Laboratory)
Testing GPU Memory Consistency at Large
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.
Machine Learning @ CUED
Modern Bayesian Experimental Design
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Unlocking cellular reprogramming to reverse ageing and age-driven diseases.
Logic and Semantics Seminar (Computer Laboratory)
A categorical semantics for neural networks
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep screening of RNA, XNA and protein interactions
⚠️ https://cl-cam-ac-uk.zoom.us/j/83721191406?pwd=V0xkY0Vvb3czWUJkR0xIZC9qMnM0QT09
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
RetroBridge: Modeling Retrosynthesis with Markov Bridges
⚠️ This talk is online only: https://cam-ac-uk.zoom.us/j/92041617729
Cambridge Society for the Application of Research (CSAR)
ESA HydroGNSS Scout – A Small Satellite Mission Sensing Climate Variables using GNSS Reflectometry
Foundation AI
Multi-Agent Graph Learning-Based Optimization and its Applications to Computer Networks
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multi-Agent Simulation and Learning in TorchRL
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Social prescribing - beyond pills
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.
Foundation AI
Revolutionizing Biosensing Technologies: Plug and Play Devices in Medical and Agricultural Diagnostics
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies
⚠️ Notice that this talk is online only: https://cam-ac-uk.zoom.us/j/92041617729 Pietro Lio and Chaitanya Joshi will introduce the speakers
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
Logic and Semantics Seminar (Computer Laboratory)
Software for Compositional Modeling
Machine Learning Reading Group @ CUED
Quasi-Monte Carlo: structure in the randomness for better sampling
Artificial Intelligence Research Group Talks (Computer Laboratory)
On Learning Latent Models with Multi-Instance Weak Supervision
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: FlexEnable: Taking Organic Electronics from Lab to Fab
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
Computational Neuroscience
A new look at eye design
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Structured recognition for generative models with explaining away
Machine Learning @ CUED
Visit and talk by Jay McClelland: "Some thoughts on the differences between human and machine intelligence"
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sediment core analysis using artificial intelligence
Artificial Intelligence Research Group Talks (Computer Laboratory)
Scattering Networks and Singular Values Decomposition: different methods to remove background in Single-Molecule Localization Microscopy image
⚠️ hybrid (zoom link at the end of the abstract)
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sphere Neural-Network for Higher-level Cognition
⚠️ join us also with zoom
Machine Learning @ CUED
Compositional mathematics and automatic gradient descent
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Is ChatGPT adequate for decision-making?
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Protein generation and fitness optimization
⚠️ https://cl-cam-ac-uk.zoom.us/j/94094286505?pwd=T2V3MFVSQ1ZKTFFyYlFueHlzTE83Zz09
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretable Neural-Symbolic Concept Reasoning
⚠️ Note this is on zoom only! Note a change of date! Note a new zoom link!
Logic and Semantics Seminar (Computer Laboratory)
Formalizing General Calculi with Binders in Rewriting Logic
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.
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED: Interpretable Neural-Symbolic Concept Reasoning
⚠️ This talk has moved to 20 June 2023.
Cambridge Society for the Application of Research (CSAR)
Developments in neuroscience (TBC)
Logic and Semantics Seminar (Computer Laboratory)
RoboCert: A Formal Specification Notation for Robotic Software
Artificial Intelligence Research Group Talks (Computer Laboratory)
Untangling genome assembly graphs with graph neural networks
⚠️ https://cl-cam-ac-uk.zoom.us/j/93934749405?pwd=M0ZERUZleklON01vZlpXbzhqTld0Zz09. ; ID riunione: 939 3474 9405 Passcode: 374750
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Information Spreading on Networks
⚠️ NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Hypergraph Factorisation for Multi-Tissue Gene Expression Imputation
⚠️ NOTE: Room changed, now Lecture Theatre 1
Cambridge Society for the Application of Research (CSAR)
The Unsung Heroes of the Discovery of the Double Helix
Artificial Intelligence Research Group Talks (Computer Laboratory)
MaRF: Representing Mars as Neural Radiance Fields
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unveiling Bounded Confidence Dynamics in Sheaf Neural Networks
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Improving learning with noisy labels in two possibile scenarios.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Relative Entropy Coding for Learned Data Compression
Artificial Intelligence Research Group Talks (Computer Laboratory)
Integrating Radiomics and Explainable Methods: Paving the Way for Transparent and Interpretable Medical Imaging Analysis
Logic and Semantics Seminar (Computer Laboratory)
Making concurrency functional
Artificial Intelligence Research Group Talks (Computer Laboratory)
Dimensionality Reduction via Probabilistic Inference
Cambridge Society for the Application of Research (CSAR)
Light, sight and the wonders of the eye…. with a focus on the lens
Logic and Semantics Seminar (Computer Laboratory)
Compound Memory Models
Machine Learning @ CUED
Convergence bounds for the Random Walk Metropolis algorithm - Perspectives from Isoperimetry
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.
Logic and Semantics Seminar (Computer Laboratory)
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
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.
Cambridge Society for the Application of Research (CSAR)
The CASSIOPeiA Solar Power Satellite: Dispatchable Green Energy from Space
Logic and Semantics Seminar (Computer Laboratory)
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
Computational Neuroscience
Computational Neuroscience Journal Club
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.
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.
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.
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.
Computational Neuroscience
Computational Neuroscience Journal Club
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.
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.
Logic and Semantics Seminar (Computer Laboratory)
Graduality and Parametricity - Together again for the first time, for the second time
Logic and Semantics Seminar (Computer Laboratory)
Stochastic games and strategy complexity
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.
Cambridge Society for the Application of Research (CSAR)
The adolescent brain
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Structure-based Drug Design and Molecular Optimisation with Diffusion Models
Logic and Semantics Seminar (Computer Laboratory)
The Functional Machine Calculus
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Networks for High-Dimensional Tabular Biomedical Datasets
Cambridge Society for the Application of Research (CSAR)
Are there solutions for plastic degradation in protein sequence space?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Relative representations enable zero-shot latent space communication
⚠️ Organized by Donato Crisostomi and Pietro Barbiero
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Composite Feature Selection using Deep Ensembles
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.
Computational Neuroscience
The unbreakable lightness of single neuron non-linearities in learning
Cambridge Society for the Application of Research (CSAR)
Advanced Raman Spectroscopy and Emerging Applications
Logic and Semantics Seminar (Computer Laboratory)
Bidirectional typing is not just an implementation technique
Artificial Intelligence Research Group Talks (Computer Laboratory)
When Vision Transformers Meet Cooperative Perception
Machine Learning @ CUED
Calls to F the Algorithm: Lessons from the 2020 Exam Debacle
Logic and Semantics Seminar (Computer Laboratory)
When Concurrency Strikes
Artificial Intelligence Research Group Talks (Computer Laboratory)
Concept Embedding Models: Beyond the Accuracy-Explainability Trade-off
Cambridge Society for the Application of Research (CSAR)
Feeding Britain: should this rich country feed itself more or rely on others’ land and labour?
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Machine Learning Reading Group @ CUED
Scalable simulation and inference in non-Gaussian stochastic PDEs
Machine Learning @ CUED
Scalable simulation and inference in non-Gaussian stochastic PDEs
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Distance Function based Cascaded Neural Network for accurate Polyps Segmentation and Classification
⚠️ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Artificial Intelligence Research Group Talks (Computer Laboratory)
Approximate Equivariance SO(3) Needlet Convolution
⚠️ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Computational Neuroscience
Understanding the emergence of neural population dynamics underlying behaviour
Cambridge Society for the Application of Research (CSAR)
An Overview of Rolls-Royce SMR.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Global Explainability of GNNs via Logic Combination of Learned Concepts
⚠️ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Artificial Intelligence Research Group Talks (Computer Laboratory)
The Interpretability of Graph Neural Networks
⚠️ Join Zoom Meeting https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Feynman Diagrams using Graph Neural Networks
⚠️ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Machine Learning @ CUED
Measuring Alignment Between Perceptual Systems: An Analysis Through The Lens of Shared Invariances
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.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Multi-Scene Absolute Pose Regression with Transformers
Machine Learning @ CUED
Gaussian processes, spectral analysis kernels and optimal transport
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
Machine Learning @ CUED
Deep Reinforcement Learning for Multi-Agent Interaction
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.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Cambridge Society for the Application of Research (CSAR)
Hydrogen-Electric Propulsion for a Clean Aviation Future
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
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Machine Learning Reading Group @ CUED
A tutorial on diffusion models
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Neural Networks for Geometric Graphs
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
Artificial Intelligence Research Group Talks (Computer Laboratory)
AI for Science: An Oral Report from a Recent Dagstuhl Workshop
Cambridge Society for the Application of Research (CSAR)
Dyslexia, Rhythm, Language and the Developing Brain
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
Machine Learning Reading Group @ CUED
Benchmarking and evaluation in contemporary machine learning
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
ACMP: Allen-Cahn Message Passing with Attractive and Repulsive Forces for Graph Neural Networks
⚠️ https://cl-cam-ac-uk.zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Computational Neuroscience
Random walks, self-reinforcement and neurons
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Artificial Intelligence Research Group Talks (Computer Laboratory)
Query-based Hard-Image Retrieval for Object Detection at Test Time
Cambridge Society for the Application of Research (CSAR)
CSAR lecture - Where do we do go next with antimicrobial resistance?
Logic and Semantics Seminar (Computer Laboratory)
∞-type theories and coherence problems
Machine Learning Reading Group @ CUED
Advanced artificial agents intervene in the provision of reward
Logic and Semantics Seminar (Computer Laboratory)
Mixing finite and infinite structure
Logic and Semantics Seminar (Computer Laboratory)
Verification for free: using K to build a theorem prover for any language
Artificial Intelligence Research Group Talks (Computer Laboratory)
Cancelled! Sorry for inconvenience.
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Machine Learning Reading Group @ CUED
Theory and Practice of Infinitely Wide Neural Networks - Guest Talk
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Backward Compatible Embeddings
⚠️ hybrid event (https://cl-cam-ac-uk.zoom.us/j/92564083880?pwd=Wk5DVWpUc2lIN0krMFU5azEwUGpEUT09)
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Machine Learning Reading Group @ CUED
The unreasonable effectiveness of mathematics in large scale deep learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
The Problem of Size Generalization in Graph Neural Networks
⚠️ Recording: https://www.youtube.com/watch?v=W4jNbgtBl_k
Machine Learning Reading Group @ CUED
The role of meta-learning for few-shot classification
Machine Learning @ CUED
Noise-Aware Differentially Private Synthetic Data
Machine Learning Reading Group @ CUED
Benefits and Shortcomings of Assistance
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neighbourhood matching creates realistic surrogate temporal networks
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Machine Learning @ CUED
Estimating RSV seasonality from pandemic disruptions: a modelling study
Machine Learning Reading Group @ CUED
Discussion: Pre-Train Your Loss: Easy Bayesian Transfer Learning with Informative Priors
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Sequence Models for Mathematical Reasoning
⚠️ RESCHEDULED, NOTE THE UNUSUAL TIME
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Are we alone?
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Machine Learning Reading Group @ CUED
Discussion: Learning PAC-Bayes Priors for Probabilistic Neural Networks
Machine Learning Reading Group @ CUED
Rethinking evaluation for machine learning models
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multi-fidelity machine learning models for improved high-throughput screening predictions
Cambridge Society for the Application of Research (CSAR)
Harnessing cancer patients’ own immune system to control disease.
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Machine Learning Reading Group @ CUED
Discussion: Bayesian Model Selection, the Marginal Likelihood, and Generalization
Cambridge Society for the Application of Research (CSAR)
Projectile Fusion A new challenge in applied computational science and engineering
Computational Neuroscience
How a recurrent circuit of Poisson spiking neurons is able to implement sampling-based inference
Artificial Intelligence Research Group Talks (Computer Laboratory)
Lifted Relational Neural Networks
Machine Learning @ CUED
Beyond Conformal Prediction: Distribution-Free Uncertainty Quantification for Complex Machine Learning Tasks
Machine Learning Reading Group @ CUED
How close are these distributions? A brief introduction to statistical distances and divergences.
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Machine Learning Reading Group @ CUED
Bests of ICLR
Artificial Intelligence Research Group Talks (Computer Laboratory)
On the Two-fold Role of Logic Constraints in Deep Learning
⚠️ https://cl-cam-ac-uk.zoom.us/j/99805544705?pwd=cXR6MTlaeXd6VmEreVdQSmFRblBtUT09
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
Machine Learning @ CUED
Graph neural network approach for decentralized multi-robot coordination
Machine Learning Reading Group @ CUED
Machine Learning with Quantum Computers
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Autoregressive Diffusion Models
Machine Learning Reading Group @ CUED
An Overview of AI Alignment
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: Protein self-assembly - From fundamentals to applications in materials and drug discovery
Machine Learning Reading Group @ CUED
The Bayesian Learning Rule for Adaptive AI
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine learning as an assay for high-dimensional biology
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Logic & Semantics for Dummies
Constructive Classical Logic?
Machine Learning Reading Group @ CUED
Introduction to differential privacy
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Work in progress: Making efficient use of language models for theorem proving
Cambridge Society for the Application of Research (CSAR)
Gravitational waves: space-time mavericks in the cosmos.
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Logic & Semantics for Dummies
The encode-decode method for equality types
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Machine Learning Reading Group @ CUED
Retrieval Augmented NLP
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED till next week!!!! Work in progress: Making efficient use of language models for theorem proving
⚠️ Postponed till next week
Cambridge Society for the Application of Research (CSAR)
A Cambridge vaccine, targeting SARS-CoV-2 variants and related Coronaviruses
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
Machine Learning Reading Group @ CUED
Circuits and Interpretability
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
Machine Learning Reading Group @ CUED
Optimal Transport Metrics
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets
Cambridge Society for the Application of Research (CSAR)
Achieving sustainable productivity in agriculture through beneficial microbial associations.
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Machine Learning Reading Group @ CUED
Learned Compression
Artificial Intelligence Research Group Talks (Computer Laboratory)
Brain charts for the human lifespan
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Advancing mathematics by guiding human intuition with AI
Cambridge Society for the Application of Research (CSAR)
Next-Generation Solar Photovoltaics
Logic and Semantics Seminar (Computer Laboratory)
Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software
Machine Learning Reading Group @ CUED
Diffusion and Score-based Generative Models
Machine Learning Reading Group @ CUED
AI Safety
Machine Learning Reading Group @ CUED
[Cancelled] Best of Neurips
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Machine Learning Reading Group @ CUED
Energy-Based Models
Artificial Intelligence Research Group Talks (Computer Laboratory)
An Introduction to Federated Learning and its Applications in Medicine
Cambridge Society for the Application of Research (CSAR)
Early detection of cancer: learning from the oesophagus, or how long is a piece of string?
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
Computational Neuroscience
Connectivity inference in visual cortex and characterization of contrast-suppressed cells
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning on Graphs with Missing Node Features
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
Machine Learning Reading Group @ CUED
Deep Kernels
Artificial Intelligence Research Group Talks (Computer Laboratory)
Weisfeiler and Lehman Go Cellular: CW Networks
Cambridge Society for the Application of Research (CSAR)
Deep AI Research in Health and Life Sciences
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
Machine Learning Reading Group @ CUED
Mean Field Theory of NN (postponed to March 2022)
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Gaussian Processes on Graphs via Spectral Kernel Learning
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Machine Learning Reading Group @ CUED
Representation Learning: A Causal Perspective
Machine Learning Reading Group @ CUED
Ethics, Integrity and Good Practice in ML
Cambridge Society for the Application of Research (CSAR)
The Pye Story: The history of one of Cambridge’s iconic technology companies.
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Machine Learning Reading Group @ CUED
Implicit Regularization in Deep Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
Machine Learning Reading Group @ CUED
Planning Meeting + PI Presentations
Cambridge Society for the Application of Research (CSAR)
The Productivity Puzzle
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
3D Pre-training improves GNNs for Molecular Property Prediction
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Towards Neuro-Causality: Relating Graph Neural Networks to Structural Causal Models
Logic & Semantics for Dummies
The formal theory of theories
Machine Learning Reading Group @ CUED
CBL Alumni Talk - Task-specific routing of information in neural circuits via structured noise by Cristina Savin
Logic & Semantics for Dummies
A modular approach to formalising combinatorial structures
Cambridge Society for the Application of Research (CSAR)
CSAR Forum - Bridging the Gap
Machine Learning Reading Group @ CUED
CBL Alumni Talk: Nonlinear filtering as a unifying principle in neuroscience by Jean-Pascal Pfister
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Nanomanufacturing, batteries and the energy transition.
Logic & Semantics for Dummies
Proof Synthesis with Free Extensions in Intensional Type Theory
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unlocking Deep Learning for Graphs
Machine Learning Reading Group @ CUED
CBL Alumni Talk: Finale Doshi-Velez
Machine Learning Reading Group @ CUED
Pseudo-Points and State-Space Gaussian Processes
Artificial Intelligence Research Group Talks (Computer Laboratory)
Structure-aware generation of molecules in protein pockets
Category Theory Seminar
Cartesian differential categories as skew enriched categories
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Asteroids, comets and impacts: should we worry?
Machine Learning Reading Group @ CUED
CBL Alumni Talk: Latent Stochastic Differential Equations: An Unexplored Model Class.
Logic & Semantics for Dummies
Quotient inductive types and QW types: part II
Computational Neuroscience
Capacity and errors in classification of object manifolds
Machine Learning Reading Group @ CUED
The Statistical Finite Element Method
Category Theory Seminar
Categorical Models of Explicit Substitutions
Computational Neuroscience
Computational Neuroscience Journal Club
Logic & Semantics for Dummies
Quotient inductive types and QW types
Category Theory Seminar
Categorical composable cryptography
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Ice templating for Regenerative Medicine - using ice to define cell-guiding frameworks for healing
Logic & Semantics for Dummies
Markov categories: towards a syntax for probability
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Geometric Deep Learning: Grids, Graphs, Groups, Geodesics, and Gauges
Machine Learning Reading Group @ CUED
CBL Alumni Talk - Our Power as Technical Designers
Logic & Semantics for Dummies
Semantics of monad transformers
Machine Learning Reading Group @ CUED
Best of ICLR
Category Theory Seminar
The Gödel fibration
Artificial Intelligence Research Group Talks (Computer Laboratory)
Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Sounding out wearable and audio data for health diagnostics.
Logic & Semantics for Dummies
Higher-order algebraic theories and relative monads
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Robust and Reliable Model Explanations
Machine Learning Reading Group @ CUED
CBL Alumni Talk: Accurate Gaussian Processes and how they can help Deep Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data
Machine Learning Reading Group @ CUED
An Introduction to PAC-Bayes
Machine Learning Reading Group @ CUED
Automated Augmented Conjugate Inference for Gaussian Processes
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Graphene and GaN - From Basic Science to Manufacturing Devices
Machine Learning Reading Group @ CUED
CBL Alumni Talk: Examining Critiques in Bayesian Deep Learning
Machine Learning Reading Group @ CUED
Online Learning and Online Convex Optimisation
Machine Learning Reading Group @ CUED
Monte Carlo Gradient Estimation in Machine Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Secondmind's research activities to make Gaussian Processes industry proof
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Innovation - the engine of economic growth
Logic and Semantics Seminar (Computer Laboratory)
Unfinity Categories
Logic & Semantics for Dummies
Semantics of monad transformers
Machine Learning Reading Group @ CUED
Failure Modes of Variational Autoencoders and Their Effects on Downstream Tasks
Computational Neuroscience
Computational Neuroscience Journal Club
Logic & Semantics for Dummies
Categorical models of dependent type theory II
Machine Learning Reading Group @ CUED
Gaussian Processes I have Known
Artificial Intelligence Research Group Talks (Computer Laboratory)
Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning
Logic & Semantics for Dummies
Categorical gluing and logical relations
Machine Learning Reading Group @ CUED
Causal Representation Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A characterisation of the category of compact Hausdorff spaces
Artificial Intelligence Research Group Talks (Computer Laboratory)
Computational foundations of morphogenomics
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Space Weather - exploring the science, impacts and challenges posed by space weather.
Logic & Semantics for Dummies
Descriptive Complexity
Machine Learning Reading Group @ CUED
Long-Range Transformers
Artificial Intelligence Research Group Talks (Computer Laboratory)
Landscape and Gaps in Open Source Fairness Toolkits
Logic & Semantics for Dummies
Categorical models of dependent type theory
Machine Learning Reading Group @ CUED
Inference in Stochastic Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine Learning and String theory
Cambridge Society for the Application of Research (CSAR)
CSAR webinar: Driving Insurance Innovation: Data Science and Research at Aviva
Machine Learning Reading Group @ CUED
Fairness in AI
Category Theory Seminar
On the categorical structure behind Galois theories
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural ODE Processes
Logic & Semantics for Dummies
Monoidal categories
Machine Learning Reading Group @ CUED
Variational Bayes as Surrogate Regression
Cambridge Society for the Application of Research (CSAR)
The Hunt for Exoplanets
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning under model misspecification
Logic and Semantics Seminar (Computer Laboratory)
Promising ARMv8/RISC-V relaxed memory
Logic & Semantics for Dummies
The presheaf model of abstract syntax and variable binding
Category Theory Seminar
Large categories and quantifiers in topos theory
Category Theory Seminar
Large categories and quantifiers in topos theory
Artificial Intelligence Research Group Talks (Computer Laboratory)
Latent Action Space for Offline Reinforcement Learning
Cambridge Society for the Application of Research (CSAR)
Hydrogen: Its Role in the UK Economy
Machine Learning Reading Group @ CUED
Bayesian optimization / Gaussian Process Bandits
Artificial Intelligence Research Group Talks (Computer Laboratory)
Debugging Machine Learning Code
Machine Learning Reading Group @ CUED
Meta-reinforcement learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting material properties with the help of machine learning
Cambridge Society for the Application of Research (CSAR)
The End of the World (again) .... or, Lessons from the Black Death
Computational Neuroscience
A theory for Hebbian Learning in recurrent E-I networks
Machine Learning Reading Group @ CUED
Best of NeurIPS
Computational Neuroscience
Computational Neuroscience Journal Club
Logic & Semantics for Dummies
Introduction to infinity categories
Computational Neuroscience
The covariance perceptron: Theory and application to reservoir computing
Artificial Intelligence Research Group Talks (Computer Laboratory)
Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?
Machine Learning Reading Group @ CUED
Neural Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Isotropy Groups of Quasi-Equational Theories
Artificial Intelligence Research Group Talks (Computer Laboratory)
Wasserstein Natural Gradients for Reinforcement Learning
Cambridge Society for the Application of Research (CSAR)
Tooth Regeneration and Repair: Dentistry in the 21st century
Logic & Semantics for Dummies
Karoubi envelopes, semifunctors, and the extensional lambda calculus
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Neural Networks for Biomedical Data
⚠️ Note the change of date and time. This seminar is part of the Wednesday seminar series too.
Machine Learning Reading Group @ CUED
Large-scale sequential experimentation
Logic and Semantics Seminar (Computer Laboratory)
Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke
Logic & Semantics for Dummies
Indexed containers and initial algebras for polynomial endofunctors
Machine Learning Reading Group @ CUED
Symmetries in Reinforcement Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A 2-dimensional bifunctor theorem
Artificial Intelligence Research Group Talks (Computer Laboratory)
What is Next for the Efficient Machine Learning Revolution?
Cambridge Society for the Application of Research (CSAR)
Is Dementia Preventable?
Logic and Semantics Seminar (Computer Laboratory)
Lovász' Theorem and Comonads in Finite Model Theory
Logic & Semantics for Dummies
Modalities and HoTT
Machine Learning Reading Group @ CUED
Gradient-based Hyperparameter Optimisation
Artificial Intelligence Research Group Talks (Computer Laboratory)
Second Order Behaviour in Augmented Neural ODEs
Logic and Semantics Seminar (Computer Laboratory)
Free Commutative Monoids in Homotopy Type Theory
Logic & Semantics for Dummies
Distributive Iaws 2: Monadic Boogaloo
Machine Learning Reading Group @ CUED
Best Papers from ICML 2020
Artificial Intelligence Research Group Talks (Computer Laboratory)
Modulated Bayesian Optimisation
Cambridge Society for the Application of Research (CSAR)
Osseointegration, approaching 1,000 cases.
Logic and Semantics Seminar (Computer Laboratory)
Symmetric Arithmetic Circuits
Logic & Semantics for Dummies
Distributive laws
Artificial Intelligence Research Group Talks (Computer Laboratory)
Constraining Variational Inference with Geometric Jensen-Shannon Divergence
Logic and Semantics Seminar (Computer Laboratory)
Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Quillen model structures from models of HoTT
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting Mortality and Length of Stay with Patient Graph Representation Learning
Computational Neuroscience
Cognitive switches and functional reprogramming of sensory cortex
Logic and Semantics Seminar (Computer Laboratory)
Incrementality xor currency for monotone fixed points
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sponge Examples: Energy-Latency Attacks on Neural Networks
Cambridge Society for the Application of Research (CSAR)
Electronics on the brain
Logic and Semantics Seminar (Computer Laboratory)
Higher Algebra in Computer Science
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Efficient and Structured Uncertainty: Challenges and Opportunities
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Emergent Multi-Agent Communication: The story so far
Machine Learning Reading Group @ CUED
Active Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Weighting Based Adversarial Approach to Fairness in Machine Learning
Logic & Semantics for Dummies
Presheaves seen as freely added colimits: an algorithmic approach
Machine Learning Reading Group @ CUED
Recent advances in the theory and applications of VAEs
Cambridge Society for the Application of Research (CSAR)
Zero cases - the lessons from New Zealand
Logic & Semantics for Dummies
Presheaves and free cocompletion (part 2)
Artificial Intelligence Research Group Talks (Computer Laboratory)
Adversarial Explanations - You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods
Logic & Semantics for Dummies
Presheaves and free cocompletion
Cambridge Society for the Application of Research (CSAR)
What policy makers need to know about COVID-19 protective immunity.
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges
Cambridge Society for the Application of Research (CSAR)
CSAR online webinar. Sportable: the story behind the world's first smart rugby ball
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Representation Learning under Uncertainty (WIP)
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit
Cambridge Society for the Application of Research (CSAR)
CSAR online webinar. Science-led Policy: From Global Pandemics to Climate Change
Logic & Semantics for Dummies
Goodwillie Calculus
Machine Learning Reading Group @ CUED
Best of ICLR 2020
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
CSAR online webinar. Dieselgate: The Inside Story
Machine Learning Reading Group @ CUED
Differentiable Planning
Cambridge Society for the Application of Research (CSAR)
CSAR online webinar. From Medicine to Hamburgers. Cell and tissue culture applied to sustainable production of food meat.
Computational Neuroscience
Why do neurons spike spontaneously?
Computational Neuroscience
Why do neurons spike spontaneously?
Machine Learning Reading Group @ CUED
Recent Developments in Bayesian Deep Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Strategic Classification
Machine Learning Reading Group @ CUED
Machine Learning on Sets
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Boltzmann Generators and Stochastic Normalizing Flows
Machine Learning Reading Group @ CUED
World Models
Logic and Semantics Seminar (Computer Laboratory)
A Syntactic View of Computational Adequacy
Machine Learning Reading Group @ CUED
Federated Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Tests and Proofs in Isabelle
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning evolving node and community representations on dynamic graphs
Cambridge Society for the Application of Research (CSAR)
Let food be thy medicine.
Logic & Semantics for Dummies
Ends and coends (AKA "Cowedges: Endgame")
ML@CL Ad-hoc Seminar Series
Deep Learning-Enhanced Analytics on Collaborative Edge-Cloud
⚠️ Timing to be confirmed on getting venue
Machine Learning @ CUED
Game Playing Meets Game Theory: Strategic Learning from Simulated Play
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Automating proof by induction in Isabelle/HOL using domain-specific languages
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep Graph Mapper: Seeing Graphs through the Neural Lens
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Logic and Semantics Seminar (Computer Laboratory)
A duality theoretic view on limits of finite structures
Logic and Semantics Seminar (Computer Laboratory)
Cerberus C semantics & pointer provenance
Logic & Semantics for Dummies
A Galois connection for operations and relations
Machine Learning Reading Group @ CUED
Self-Supervised Representation Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Knowledge Graph Convolutional Networks - Combining ML and Reasoning
Cambridge Society for the Application of Research (CSAR)
Cancer: From science to benefit.
Logic and Semantics Seminar (Computer Laboratory)
Computation via Substructures
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Machine Learning Reading Group @ CUED
Kernel Mean Embeddings
Artificial Intelligence Research Group Talks (Computer Laboratory)
Some ideas on neural network modulation
Machine Learning Reading Group @ CUED
Neural Tangent Kernel
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks
Category Theory Seminar
D-ultrafilter monads
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine learning for network inference
Cambridge Society for the Application of Research (CSAR)
A Global Learning Crisis - Using tablets to get one billion children reading
Category Theory Seminar
Characterizing weakly Schreier extensions of monoids
Artificial Intelligence Research Group Talks (Computer Laboratory)
Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality
Logic & Semantics for Dummies
Lawvere theories and finitary monads
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Flexible deep learning for heterogeneous clinical time series
Cambridge Society for the Application of Research (CSAR)
Gene targeting therapies – what does the future hold for neurological disorders?
Machine Learning @ CUED
Robust Deep Learning Under Distribution Shift
Category Theory Seminar
A Formal Approach to Generalisations of Monads
Artificial Intelligence Research Group Talks (Computer Laboratory)
Abstract Diagrammatic Reasoning with Multiplex Graph Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Air pollution and human health. Lessons learnt and challenges ahead.
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Geometrical Perspective on Deep Neural Networks
Artificial Intelligence Research Group Talks (Computer Laboratory)
MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library
Logic and Semantics Seminar (Computer Laboratory)
Quantum things 3 - Resources and Co-resources
Logic and Semantics Seminar (Computer Laboratory)
Modular Relaxed Dependencies in Weak Memory Concurrency
Machine Learning Reading Group @ CUED
Scalable Gaussian Processes
Logic & Semantics for Dummies
An introduction to Martin-Löf Type Theory
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Zariski-type spectra of localic rings and monoids
Artificial Intelligence Research Group Talks (Computer Laboratory)
Work in progress: Diving deeper into building distributed representations graphs
Machine Learning Reading Group @ CUED
Probabilistic Programming
Artificial Intelligence Research Group Talks (Computer Laboratory)
AI, Data Science & Mechanism Design in Sub-Saharan Africa
Artificial Intelligence Research Group Talks (Computer Laboratory)
Model extraction for clinical decision support systems
Logic & Semantics for Dummies
Horizontal & vertical categorification: from monoids to bicategories
Machine Learning Reading Group @ CUED
Neural Attention
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Finding an Analogy
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 1 - Monads, comonads, and resource-limited computation
Computational Neuroscience
Structure in the randomness of trained recurrent neural networks
Machine Learning Reading Group @ CUED
Equivariance and Symmetries in CNNs
Category Theory Seminar
Coherence through normalisation-by-evaluation for cartesian closed bicategories
Artificial Intelligence Research Group Talks (Computer Laboratory)
Matrix Means for Signed and Multilayer Graph Clustering
Machine Learning @ CUED
Models and inference for temporal Gaussian processes
Cambridge Society for the Application of Research (CSAR)
The Next Generation of Children
Artificial Intelligence Research Group Talks (Computer Laboratory)
Rule extraction from deep neural nets
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Logic & Semantics for Dummies
Applicative functors
Machine Learning Reading Group @ CUED
Hyperparameter Optimisation
Computational Neuroscience
Computational neuroscience journal club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine Learning Systems Design
Computational Neuroscience
Neural information processing during behavior and sleep
Machine Learning Reading Group @ CUED
Meta-Learning or "Learning To Learn"
Logic & Semantics for Dummies
Programming with monads and graded monads
Machine Learning @ CUED
Reinforcement Learning at Huawei: Robustness, Safety, and Efficiency
Artificial Intelligence Research Group Talks (Computer Laboratory)
Question Answering in Realistic Visual Environments: Challenges and Approaches
Cambridge Society for the Application of Research (CSAR)
Artificial Intelligence in Opthalmology
Machine Learning @ CUED
Constructing temporal latent spaces: Representation learning for clustering and imputation on time series
Machine Learning @ CUED
Explaining Neural Networks: Post-hoc and Natural Language Explanations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural networks to model probability densities in quantum chromodynamics
Machine Learning Reading Group @ CUED
Hamiltonian Monte Carlo for Hierarchical Models
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping
Logic & Semantics for Dummies
Call-by-push-value
Category Theory Seminar
Toposes for modified realizability
Artificial Intelligence Research Group Talks (Computer Laboratory)
Verifiable robustness of neural networks in autonomous vehicles.
Cambridge Society for the Application of Research (CSAR)
Big Data Psychometrics
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
Computational Neuroscience
Dopamine as prediction error in active inference
Computational Neuroscience
Neurotransmitter spillover modulates neuronal information transmission
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Innovation and the Cambridge Cluster: Past, present and future.
Machine Learning @ CUED
Learning-Algorithms from Bayesian Principles
Artificial Intelligence Research Group Talks (Computer Laboratory)
A human-oriented term rewriting system
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Computational Neuroscience
Wearable non-invasive human neural interface with action potential resolution
Computational Neuroscience
Wearable non-invasive human neural interface with action potential resolution
Machine Learning @ CUED
Rotation Invariant Householder Parameterization for Bayesian PCA
Machine Learning @ CUED
Two Approximate Sampling Methods for Bayesian Deep Learning
Machine Learning @ CUED
Semi-Unsupervised Learning with Deep Generative Models / Disentangling Improves VAEs' Robustness to Adversarial Attacks
Machine Learning @ CUED
Efficiency and Transferability of Neural Networks
Machine Learning @ CUED
Learning via Data Compression: Bayesian Coresets and Sparse Variational Inference
Machine Learning @ CUED
Deep Neural Networks: A Nonparametric Bayesian Approach with Local Competition
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Information Consumption on Social Media: Efficiency, Trust, and Divisiveness
Cambridge Society for the Application of Research (CSAR)
Volcano watching: weapons of ash eruption.
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
On the Theory of Higher Subtopoi
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
Computational Neuroscience
How perception informs urgent saccadic choices: halting, acceleration, and deceleration
Machine Learning @ CUED
Why Do We Need New Hardware & Software for Machine Intelligence?
Machine Learning Reading Group @ CUED
Particle MCMC
Logic & Semantics for Dummies
Internal categories, generalised multicategories and operads
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Gene eating
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Machine Learning Reading Group @ CUED
Stochastic Differential Equations
Logic & Semantics for Dummies
Linear Logic and Quantum Programming
Category Theory Seminar
Metric Algebra
Machine Learning @ CUED
Nonparametric Generative Modeling via Optimal Transport and Diffusions with Provable Guarantees
Machine Learning Reading Group @ CUED
Generalisation in neural networks
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Betweenness reals: How to do Dedekind cuts when you don't know which way is up
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretable Deep Learning
Cambridge Society for the Application of Research (CSAR)
“The Robot will see you now.” Has the time for surgical robots arrived?
Machine Learning Reading Group @ CUED
An Overview of Normalizing Flows
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Machine Learning @ CUED
NeVAE: A Deep Generative Model for Molecular Graphs
Machine Learning @ CUED
Global model explainability via aggregation
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Reading Group @ CUED
Sampling as Optimization
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Machine Learning @ CUED
Robust machine learning for causal inference in health care
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
How do we measure quality in higher education?
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Computational Neuroscience
The K-FAC method for neural network optimization
Machine Learning Reading Group @ CUED
Implicit Variational Inference
Machine Learning Reading Group @ CUED
Continual Learning: Definitions, Benchmarks, and Approaches
Category Theory Seminar
The Legendre-Fenchel transform from a category theoretic perspective
Cambridge Society for the Application of Research (CSAR)
How did we get here? Reconstructing the genome of our ancient vertebrate ancestor.
Machine Learning Reading Group @ CUED
Causal Inference and Causal Reinforcement Learning
Computational Neuroscience
Stimulus complexity shapes response correlations in primary visual cortex
Category Theory Seminar
Internal Language of Higher Categories
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Machine Learning Reading Group @ CUED
Generative models for few-shot prediction tasks
Logic & Semantics for Dummies
Monadic modalities
Computational Neuroscience
Computational Neuroscience Journal Club
Artificial Intelligence Research Group Talks (Computer Laboratory)
Dilated DenseNets for Relational Reasoning
Cambridge Society for the Application of Research (CSAR)
Cancers and the tumour microenvironment
Computational Neuroscience
Neural circuit mechanisms of learning and attentional task-switching during visually-guided behaviour in mice
Machine Learning @ CUED
Online Meta-Learning
Machine Learning Reading Group @ CUED
Logical Uncertainty
Logic & Semantics for Dummies
Dataflow languages and the semantics of context-dependent programming
Category Theory Seminar
Locally graded categories
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A new proof of the lattice property of the Tamari order
Artificial Intelligence Research Group Talks (Computer Laboratory)
Quick intro to building and analysing distributed representation of graphs
Cambridge Society for the Application of Research (CSAR)
Inflamed Depression
Computational Neuroscience
High-dimensional dynamics of generalization error in neural networks: implications for experience replay
Machine Learning @ CUED
Gauge Equivariant Convolutional Networks on Manifolds
Machine Learning Reading Group @ CUED
Stein Discrepancy
Machine Learning @ CUED
Observation and Intervention Incentives in Causal Influence Diagrams: Towards an Understanding of Powerful Machine Learning Systems
Logic & Semantics for Dummies
Moggi's Monads
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
How Science Really Works, and Why It Matters
Computational Neuroscience
Local and global synaptic credit assignment
Machine Learning @ CUED
Fairness for Sequential Decision Making Algorithms
Machine Learning @ CUED
Gaussian processes for inferring latent functions in complex data models
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Machine Learning Reading Group @ CUED
Neural Ordinary Differential Equations
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Univalent Universes of Sets
Cambridge Society for the Application of Research (CSAR)
Talk: The Science of Conversation
Adrian Seminars in Neuroscience
Adrian Seminar - "Computational model of rapid learning in hippocampus".
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
Machine Learning Reading Group @ CUED
Natural gradient in deep neural networks
Computational Neuroscience
A brain-machine interface for locomotion driven by subspace dynamics
Logic & Semantics for Dummies
Introduction to string diagrams
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Computational Neuroscience
Neural mechanisms of model-based planning in the rat
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Machine Learning Reading Group @ CUED
Graph Neural Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Univalent Completion
Cambridge Society for the Application of Research (CSAR)
Climate Change, Storms, Floods, Uncertainty and Humans?
Machine Learning Reading Group @ CUED
Defending Against Adversarial Attacks
Logic & Semantics for Dummies
Agda: a practical tutorial
Machine Learning Reading Group @ CUED
Reinforcement Learning and Control as Probabilistic Inference
Logic & Semantics for Dummies
Introduction to game semantics for programming languages
Category Theory Seminar
A Model Invariance Problem in Homotopy Type Theory
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Energy and matter at the origin of life – and why it matters
Logic & Semantics for Dummies
Dependent type theory and the univalence axiom
Category Theory Seminar
No-Go Theorems for Distributive Laws
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Hello World: How to be human in the age of the machine
Machine Learning @ CUED
Causal Inference for Treatment Effects: A Theory and Associated Learning Algorithms
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Can we slow ageing? Lessons from an EPIC cohort
Category Theory Seminar
Dagger limits
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Computational Neuroscience
Reactivation in biological and artificial neural networks
Machine Learning @ CUED
Interpretability - the myth, questions, and some answers
Machine Learning @ CUED
Constraint-based causal Discovery from NOnstationary/heterogeneous Data (CD-NOD)
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Fast yet Simple Natural-Gradient Variational Inference in Complex Models
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Machine Learning @ CUED
Variance in Policy Gradient methods and Learning Sequential Latent Variable Models
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Structured deep models: Deep learning on graphs and beyond
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
Machine Learning @ CUED
Preventing Fairness Gerrymandering: Auditing and Learning for Subgroup Fairness
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Machine Learning @ CUED
Semi-Generative Modelling: Domain Adaptation with Cause and Effect Features
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Uniform Kan fibrations from scratch
Machine Learning @ CUED
Algorithmic Glass Ceiling in Social Networks
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Computational Neuroscience
Information Efficacy of a Dynamic Synapse
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Category Theory Seminar
New methods for left exact localizations of topoi
Machine Learning @ CUED
A Bayesian Perspective on Generalization and SGD
Machine Learning @ CUED
Algorithmic Glass Ceiling in Social Networks
Cambridge Society for the Application of Research (CSAR)
Metamaterials and the Science of Invisibility
Category Theory Seminar
Elementary embeddings for category theory
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
Machine Learning Reading Group @ CUED
Neural Networks and Natural Language Processing
Category Theory Seminar
Comonad cohomology of track categories
Machine Learning @ CUED
Structure in tensor-variate data: a trivial byproduct of simpler phenomena?
Cambridge Society for the Application of Research (CSAR)
The Knotty Maths of Medicine
Machine Learning Reading Group @ CUED
Information Theory, Codes, and Compression
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
What does it mean to be Hopf?
Cambridge Society for the Application of Research (CSAR)
Epigenetics - Why DNA Is Not Your Destiny
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Machine Learning @ CUED
Lipschitz Global Optimization
Machine Learning Reading Group @ CUED
Statistical Learning Theory
Computational Neuroscience
Interfacing with the brain using organic electronics
Category Theory Seminar
Constructing models of constructive or intuitionistic set theory from classical models of set theory
Category Theory Seminar
A characterisation of the congruence biframe
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Perfect toposes and infinitesimal weak generation
Cambridge Society for the Application of Research (CSAR)
Enhancing the Brain and Wellbeing in Health and Disease
Machine Learning Reading Group @ CUED
Deep Generative Models
Category Theory Seminar
Univalent polymorphism
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
Machine Learning Reading Group @ CUED
Minimum Description Length
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Cambridge Society for the Application of Research (CSAR)
Building World Class Life Science Businesses – The Good, The Bad and The Ugly
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Category Theory Seminar
Sattler model structures
Machine Learning Reading Group @ CUED
Machine Learning for Sounds
Machine Learning Reading Group @ CUED
NIPS 2017 Highlights
Machine Learning @ CUED
Variational inference for some models with Polya-Gamma latent variables and Gaussian process priors
Machine Learning @ CUED
Bayesian Generative Adversarial Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Machine Learning @ CUED
AI for Inclusive Finance
Machine Learning Reading Group @ CUED
Hardware Efficient Machine Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Skew monoidal structure on categories of algebras
Cambridge Society for the Application of Research (CSAR)
How Democracy Ends: Thinking the Unthinkable
Machine Learning @ CUED
Backprop through the Void: Optimizing Control Variates for Black-Box Gradient Estimation.
Machine Learning @ CUED
Learning to Learn without Gradient Descent by Gradient Descent
Machine Learning Reading Group @ CUED
Learning to Learn
Machine Learning @ CUED
Towards true end-to-end learning & optimization
Logic & Semantics for Dummies
Linear and Dependent Types
Machine Learning Reading Group @ CUED
WGAN and Optimal Transport
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Will the Antarctic Go Green Again? Lessons from its Fossil History
Computational Neuroscience
How much to gain: Controlling space and time via gain modulation in cortical networks
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Machine Learning Reading Group @ CUED
Interpretability in Machine Learning
Category Theory Seminar
Two-Level Type Theory
Logic & Semantics for Dummies
iCAP-TSO, a program logic for the TSO relaxed memory model
Machine Learning Reading Group @ CUED
Deep Structured Prediction for Handwriting Recognition
Machine Learning @ CUED
Targeted Disclosure to Support Auditing and Accountability for Automated Decision-making
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
The Scientific Challenges of Fusion Power
Logic & Semantics for Dummies
Monads and the semantics of effects
Computational Neuroscience
Somatosensory cortex is essential for adaptive motor control in mice
Machine Learning Reading Group @ CUED
Cooperative Inverse RL
Computational Neuroscience
From the olfactory cocktail party to markerless tracking
Category Theory Seminar
Equilogical spaces and algebras for a double-power monad
Logic & Semantics for Dummies
Asynchronous Fixed Points
Machine Learning Reading Group @ CUED
Infer.NET
Machine Learning @ CUED
Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Enriched Internal Categories
Computational Neuroscience
Spike timing in motor control
Cambridge Society for the Application of Research (CSAR)
The DNA Revolution Has Arrived in the Behavioural Sciences
Machine Learning @ CUED
Transfer Learning for NLP
Logic & Semantics for Dummies
Weighted relational semantics for PCF
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
⚠️ NB: rescheduled from 2017/09/22
Machine Learning @ CUED
A Bayesian Treatment for Uncertainty -- and its application in health care
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Machine Learning @ CUED
Unbiased Estimation of the Eigenvalues of Large Implicit Matrices
Machine Learning @ CUED
The Grammar Variational Autoencoder & Counterfactual Fairness
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Machine Learning @ CUED
Accelerating computation of SVM and DNN by binary approximation
Machine Learning @ CUED
Towards User-Friendly Image Inpainting: Learning-to-Rank based Image Quality Assessment for Image Inpainting
Machine Learning @ CUED
Deep learning for autonomous driving
Category Theory Seminar
Ultrafilters, ultraproducts and ultracategories
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Machine Learning @ CUED
Understanding Black-box Predictions via Influence Functions
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
A simple neural network module for relational reasoning
Machine Learning @ CUED
Future technology: machine learning using memristors networks
Machine Learning @ CUED
Future technology: machine learning using memristors networks
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Mutational processes in the human genome
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
Computational Neuroscience
motifNet: Deep learning for system identification of regulatory networks
Computational Neuroscience
Neural network models of free recall and spatial navigation
Computational Neuroscience
Inferring decision rules from evidence, choice, and reaction times
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Cambridge Society for the Application of Research (CSAR)
"The world in 2050" - Human extinction risks
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
⚠️ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Magnitude homology
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Machine Learning @ CUED
On Different Distances Between Distributions and Generative Adversarial Networks
Category Theory Seminar
List objects with algebraic structure
Cambridge Society for the Application of Research (CSAR)
Debate: "This house believes that Artificial Intelligence/Robotics will make us happy"
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Embedding theorems for (regular) Mal'tsev categories
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Category Theory Seminar
Homology of monoids with coefficients in group completion
Cambridge Society for the Application of Research (CSAR)
Architecture for Resilience - surviving earthquakes, tornadoes, fire and floods.
Adrian Seminars in Neuroscience
Decoding the population activity of grid cells for spatial localization and goal-directed navigation
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Lie's Third Theorem in Synthetic Differential Geometry
Cambridge Society for the Application of Research (CSAR)
Meet the Authors
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Study Group
Deep Learning Book - Meeting 9 - Representation Learning
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Study Group
Deep Learning Book - Meeting 8 - Autoencoders
Machine Learning Study Group
Deep Learning Book - Meeting 7 - Neural Turing Machines & Conditional Random Fields as RNNs
Cambridge Society for the Application of Research (CSAR)
Towards General Artificial Intelligence
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Machine Learning Reading Group @ CUED
Kernel Mean Embeddings
Information Engineering Division seminar list
Bayesian Optimization for Probabilistic Programs
Category Theory Seminar
Hopf Formulae for TOR
Machine Learning Study Group
Deep Learning Book - Meeting 6 - Recurrent Neural Networks
Machine Learning @ CUED
Differentially Private Bayesian Learning
Computational and Biological Learning Seminar Series
Control, inference and learning
Machine Learning Reading Group @ CUED
Differential Privacy
Machine Learning @ CUED
Differential Privacy Tutorial
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Fibration categories and models for higher categories
Cambridge Society for the Application of Research (CSAR)
A trick of the light? Development, function and evolution of plant nanostructures that influence animal behaviour
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Machine Learning Study Group
Deep Learning Book - Meeting 5 - ResNets and DenseNets
Category Theory Seminar
Split extensions of bialgebras
Machine Learning @ CUED
Cooperative Inverse Reinforcement Learning
Machine Learning Study Group
Deep Learning Book - Meeting 4 - Convolutional Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Abstract Systems and Sheaves
Cambridge Society for the Application of Research (CSAR)
Citizens, Science and Science for Citizens
Computational Neuroscience
Dynamic reorganization of neuronal activity patterns in parietal cortex
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Machine Learning Reading Group @ CUED
Probabilistic Numerics
Category Theory Seminar
Metric spaces and synthetic differential geometry
Machine Learning Study Group
Deep Learning Book - Meeting 3 - Optimization
Machine Learning @ CUED
Bayesian optimisation in many dimensions with bespoke probabilistic programs
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Gluing models of type theory
Machine Learning Study Group
Deep Learning Book - Meeting 2 - Regularization
Cambridge Society for the Application of Research (CSAR)
Black Holes at Work
Logic & Semantics for Dummies
Coherence Spaces
Category Theory Seminar
Homotopy type theory and algebraic weak factorization systems
Machine Learning Study Group
Deep Learning Book - Meeting 1 - Deep Feedforward NNs
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
⚠️ Joint Logic and Semantics and Computer Architecture Seminar
Machine Learning @ CUED
Variational Bayes In Private Settings
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Logic programming: laxness and saturation
Machine Learning @ CUED
Julia: Introduction and new developments
Cambridge Society for the Application of Research (CSAR)
Creating and erasing memories with epigenetics
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
Machine Learning Reading Group @ CUED
NIPS 2016 papers in 5mins
Cambridge Society for the Application of Research (CSAR)
Manufacturing - the vital capability for effective innovation
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Bayesian optimality and frequentist extended admissibility are equivalent in saturated models
Machine Learning @ CUED
Hierarchical Multi-Agent Reinforcement Learning through Communicative Actions for Human-Robot Collaboration
Machine Learning @ CUED
Variational autoencoders with latent graphical models
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Machine Learning Reading Group @ CUED
Symmetry in Statistical Models
Machine Learning @ CUED
Learning with limited supervision
Category Theory Seminar
Globular: Higher categories, the easy way
Cambridge Society for the Application of Research (CSAR)
Leonardo, Rapunzel and the Physics of Hair
Logic & Semantics for Dummies
Datatypes as algebras
Machine Learning Reading Group @ CUED
Bayesian Optimization
Machine Learning @ CUED
A tale of P-matrices and TripleSpinners - the unreasonable effectiveness of structured models in nonlinear embeddings
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Minimal dense C*-embedded sublocales
Machine Learning @ CUED
Rejection Sampling Variational Inference
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
⚠️ NOTE NON-STANDARD ROOM BOOKING
Logic & Semantics for Dummies
Presheaf models of type theory
Machine Learning Reading Group @ CUED
deep generative models
Computational Neuroscience
Neural representations of uncertainty: the right tool for the right job
Machine Learning @ CUED
Probabilistic Numerical Computation: A New Concept?
Computational Neuroscience
Prospective coding by spiking neurons
Cambridge Society for the Application of Research (CSAR)
Big Data in Biology: Challenges and Opportunities for Healthcare and Research
Computational Neuroscience
Grid cells get back to the memory game
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Logic & Semantics for Dummies
On normalization for the typed λ-calculus
Machine Learning Reading Group @ CUED
Sketching methods
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Coordinatization of Countable MV algebras
Machine Learning @ CUED
A talk in two parts: (1) AI Neuroscience: How much do deep neural networks understand about the images they classify? (2) Robots that can adapt like animals.
⚠️ Note venue: James Dyson Building
Machine Learning Reading Group @ CUED
A crash-course on Bayesian Reinforcement Learning
Machine Learning @ CUED
Multi-view Anomaly Detection via Robust Probabilistic Latent Variable Models
Machine Learning @ CUED
Robots learning on the move: deep learning from lots of demonstration
Category Theory Seminar
Displayed categories
Cambridge Society for the Application of Research (CSAR)
What shapes the human immune system?
Category Theory Seminar
Semi-Segal types in Homotopy Type Theory
Cambridge Society for the Application of Research (CSAR)
Nanostructured steel: the challenge of manufacture
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Machine Learning @ CUED
Probabilistic modeling for position and orientation estimation using inertial sensors
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Infinitesimal models of theories
Cambridge Society for the Application of Research (CSAR)
OK Computer - teaching machines to write music
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Category Theory Seminar
Effect Algebroids
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
Machine Learning @ CUED
Moment matching for latent variable models: from ICA to LDA and CCA
Computational Neuroscience
Computational Neuroscience Journal Club
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Analysing Goedel’s T by means of ordinal assignment and collapsing
⚠️ NOTE NON-STANDARD ROOM BOOKING
Machine Learning @ CUED
Multiresolution Matrix Factorization
Machine Learning @ CUED
Dynamic Models for Health Data
Logic and Semantics Seminar (Computer Laboratory)
Making Reactive Programs Function
Machine Learning @ CUED
Learning with Memory Embeddings
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Data Driven Discrete Time Modeling of Continuous Time Nonlinear Systems: Problems, Challenges, Success Stories
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
⚠️ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Machine Learning @ CUED
Inference as Learning
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Machine Learning @ CUED
Interpretable and interactive machine learning
Machine Learning @ CUED
Discriminative Embeddings of Latent Variable Models for Structured Data
Machine Learning @ CUED
Structured Dynamic Graphical Models & Scaling Multivariate Time Series Methodology
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Scaling and Generalizing Approximate Bayesian Inference
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Computational Neuroscience
Computational Neuroscience Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Logic & Semantics for Dummies
Cylindrical decomposition : a way to solve 1st order logic of the real numbers
Cambridge Society for the Application of Research (CSAR)
Sustainable Engineering and Design for the Built Environment
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Computational Neuroscience
A decision-theoretic framework for active cognition
Computational Neuroscience
Computational Neuroscience Journal Club
arg58's list
A modular architecture for Unicode text compression
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Machine Learning @ CUED
Modeling the Dynamics of Online Learning Activity
Machine Learning @ CUED
Developments in Exact Inference in Graphical Models
Machine Learning @ CUED
Approximation strategies for structure learning in Bayesian networks
⚠️ Note: via Skype!
Cambridge Society for the Application of Research (CSAR)
Landing on a Comet
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
Machine Learning @ CUED
Automated Reasoning and AI for Large Formal Mathematics
Machine Learning Reading Group @ CUED
Partially Observable Markov Decision Processes (POMDPs)
Machine Learning @ CUED
Variational inference for scalable Gaussian process approximations
Machine Learning @ CUED
Novel MCMC and SMC schemes for Poisson-Kingman Bayesian Nonparametric mixture models
Machine Learning @ CUED
Turing: Rejuvenating Probabilistic Programming in Julia
Computational Neuroscience
Perceptual decision-making: models of the decision-making process and formulation of uncertainty
Computational Neuroscience
Towards a theory of layered neural circuit architectures
Machine Learning @ CUED
Towards Weaker Supervision and Simpler Pipelines in Speech Recognition
Machine Learning Reading Group @ CUED
Learning polynomials with Neural Networks
Category Theory Seminar
Using the internal language of toposes in algebraic geometry
Machine Learning @ CUED
Sum-Product Networks for Probabilistic Modeling
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Craik Club
Perception as a closed-loop convergence process
⚠️ The host for this talk is Máté Lengyel. Note the unusual time and the unusual location
Logic & Semantics for Dummies
An introduction to pi-calculus
Category Theory Seminar
What does the universal measuring coalgebra measures?
Cambridge Society for the Application of Research (CSAR)
Probing the Polar Oceans
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
Logic & Semantics for Dummies
The lambda calculus as an initial monad
Machine Learning @ CUED
MLE-Struct: Bethe Learning of Graphical Models
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Logic & Semantics for Dummies
Event structures for dummies
Machine Learning Reading Group @ CUED
An introduction to Bayesian nonparametrics: some inference schemes for infinite mixture models
Category Theory Seminar
Maximal flat extensions and DeMorganization of locales
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Logic & Semantics for Dummies
Cubical Type Theory
Machine Learning Reading Group @ CUED
Topics in Expectation Propagation
Category Theory Seminar
Operads as polynomial 2-monads
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Logic & Semantics for Dummies
PCF: keeping it real
Machine Learning Reading Group @ CUED
Deep Q-Learning and AlphaGo
Computational Neuroscience
Synaptic origins of working memory capacity
Machine Learning Reading Group @ CUED
inference failures in probabilistic programming
Category Theory Seminar
Obstructions in the Deformation Theory of Pasting Diagrams: Shrestha's Polygonal Method.
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Logic & Semantics for Dummies
Profunctors and coends
Machine Learning Reading Group @ CUED
Variational Methods and Compressed Sensing
Machine Learning @ CUED
Inference and Learning in the Anglican Probabilistic Programming System
Cambridge Society for the Application of Research (CSAR)
Book Event: Meet the Authors
Machine Learning Reading Group @ CUED
Fast Fusion of Multi-band Images: A Powerful Tool for Super-resolution
Computational Neuroscience
Brain State Control by Closed-Loop Environmental Feedback
Machine Learning @ CUED
Unsupervised Risk Estimation with only Structural Assumptions
Computational Neuroscience
The stabilized supralinear network: A simple "balanced network" mechanism explaining nonlinear cortical integration
Computational Neuroscience
It's the Network Dummy: Exhuming the reticular theory while shoveling a little dirt on the neuron doctrine
Cambridge Society for the Application of Research (CSAR)
Churchill's Bomb
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Logic & Semantics for Dummies
Stone Duality
Machine Learning @ CUED
The geometry of uncertainty
Category Theory Seminar
Weakly globular n-fold categories
Logic & Semantics for Dummies
Topoi, or not topoi, that is the question
Machine Learning Reading Group @ CUED
Probabilistic programming
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
⚠️ THIS TALK HAS BEEN CANCELLED/POSTPONED
Category Theory Seminar
An Algebraic Combinatorial Approach to Opetopic Structure
Cambridge Society for the Application of Research (CSAR)
EDSAC Reborn: A computer detective story
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
⚠️ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Finding our way around routing algebras
Machine Learning Reading Group @ CUED
Learning by learning rich generative models
Junior Category Theory Seminar
Logical relations
Category Theory Seminar
Syntax-semantics adjunctions
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Machine Learning @ CUED
A more Automated Statistician
Logic & Semantics for Dummies
The co-end justifies the co-means
Machine Learning Reading Group @ CUED
Natural gradient descent and variational inference
Junior Category Theory Seminar
Gödel's "Dialectica": Abstract and Concrete
Category Theory Seminar
Another look at simple reflections
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
⚠️ NOTE UNUSUAL VENUE This is the second seminar this week.
Computational Neuroscience
Probabilistic synapses
Logic & Semantics for Dummies
Open maps and their uses in concurrency models
Machine Learning Reading Group @ CUED
Differentiable Data Structures and (if we have time) POMDPs
⚠️ NOTE Topic Change
Logic and Semantics Seminar (Computer Laboratory)
What is an Algorithm?
⚠️ NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Category Theory Seminar
Cartesian Essential Inclusions of Grothendieck Toposes
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
⚠️ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Linear Logic
Cambridge Society for the Application of Research (CSAR)
Depicting the Dead and Verifying the Visage Facial identification:Forensic and Archaeological Application
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
⚠️ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Everything's a Kan extension
Machine Learning Reading Group @ CUED
Random projection ensemble classification
Category Theory Seminar
On the relation between continuous and combinatorial cohesion
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Logic & Semantics for Dummies
Categorical models of dependent types
Machine Learning Reading Group @ CUED
Deep learning for time series
Junior Category Theory Seminar
Semi-abelian categories
Cambridge Society for the Application of Research (CSAR)
The Challenge and Excitement of Discovering New Medicines
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Machine Learning Reading Group @ CUED
Stochastic discrete integration
Category Theory Seminar
Constructive conceptual completeness for regular logic
Machine Learning @ CUED
General Reinforcement Learning
Computational Neuroscience
The contribution of millisecond spike timing of cortical neurons to sensory coding and perceptual decisions
Cambridge Society for the Application of Research (CSAR)
Technology Development
⚠️ The lecture will be preceded by a short presentation entitled "In the African Bush: Researching the Rhino Poaching Crisis in South Africa" given by Katrin Pfeil
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Cambridge Society for the Application of Research (CSAR)
Earthquake Science and Vulnerability in Asia
⚠️ This lecture will be dedicated to the memory of Professor Sir Sam Edwards, Past President of CSAR who died earlier this year
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Machine Learning Reading Group @ CUED
Stochastic optimization and adaptive learning rates
Junior Category Theory Seminar
The fundamental group from a Tannakian viewpoint
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Another viewpoint on cartesian theories
Machine Learning Reading Group @ CUED
Logic, Theorem Proving, and Probabilistic Programming
Junior Category Theory Seminar
Adjointness in Foundations: an introduction to Hyperdoctrines
Category Theory Seminar
A Synthetic Version of Lie's Second Theorem
Cambridge Society for the Application of Research (CSAR)
Addressing the Challenges of Feeding the World Sustainably
⚠️ This lecture will be preceded by the CSAR AGM
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Machine Learning Reading Group @ CUED
Connections between kernels, GPs, and NNs
Junior Category Theory Seminar
An Introduction to Fibred Categories
Machine Learning @ CUED
Inference of a partially observed kinetic Ising model
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Abstract aspects of commutativity
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
Machine Learning Reading Group @ CUED
Detecting paraphrases using recursive autoencoders
Cambridge Society for the Application of Research (CSAR)
Maths and the Arts
⚠️ The Lecture will be preceded by a five minute presentation entitled "Balancing food production and the environment in Mexico" by CSAR Award Student David Williams.
Machine Learning Reading Group @ CUED
Bayesian optimization and its applications
Junior Category Theory Seminar
Elementary embeddings of the universe for category theory
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A cotangent complex formalism via integral model structures
Machine Learning Reading Group @ CUED
LP relaxations for MAP inference
Category Theory Seminar
Two dimensional Lawvere Theories
Cambridge Society for the Application of Research (CSAR)
Pioneer Colonists and Indigenous Response: Resistance and Collaboration
⚠️ Jointly with "The Cambridge Festival of Ideas"
Cambridge Society for the Application of Research (CSAR)
Addressing the Challenges of Feeding the World Sustainably
Machine Learning @ CUED
Meta-Bayesian Analysis
Computational Neuroscience
Approximate nonlinear filtering with a neural network
Machine Learning @ CUED
Efficient Inference and Learning with Intractable Posteriors? Yes, Please.
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Dicing with Fate; the statistical physics of cell biology
⚠️ Joint meeting with the Cambridge Philosophical Society
Computational Neuroscience
Dale’s principle and the neural processing of latent factors
Computational Neuroscience
Decoding of complex stimuli from large retinal populations
Computational Neuroscience
Complementary approaches to Synaptic Plasticity: Objective Functions and Biophysics
Category Theory Seminar
Exact completion for fibration categories
Machine Learning @ CUED
Efficient multi-task Gaussian process models for genome-wide association studies
Category Theory Seminar
Polynomial and Analytic Functors and Monads, revisited.
Machine Learning @ CUED
Harmonic Exponential Families and Group-Equivariant Convolution Networks
Machine Learning @ CUED
Higher Order Fused Regularization for Supervised Learning with Grouped Parameters
Machine Learning @ CUED
A-Star Sampling Review
Machine Learning @ CUED
Convex Factorization Machines
Machine Learning @ CUED
Belief and Truth in Hypothesised Behaviours
Machine Learning @ CUED
Training and Understanding Deep Neural Networks for Robotics, Design, and Perception
Machine Learning @ CUED
Information-Theoretic Bounded Rationality
Machine Learning @ CUED
The limits of MAP inference by MWSS on perfect graphs
Computational Neuroscience
A normative account of episodic memory in online learning over open model spaces
Machine Learning @ CUED
Scalable Gaussian Processes for Scientific Discovery
Machine Learning @ CUED
MCMC for non-linear state space models using ensembles of latent sequences
⚠️ (via Skype!)
Machine Learning @ CUED
Gradient-based hyperparameter optimization through reversible learning
Machine Learning @ CUED
Rich Component Analysis
Machine Learning @ CUED
A new MCMC hybrid scheme for Poisson-Kingman Bayesian Nonparametric mixture models
Computational Neuroscience
Contextual modulation of gamma rhythms in inhibition stabilized cortical networks
Machine Learning @ CUED
Extreme Classification: A New Paradigm for Ranking & Recommendation
Machine Learning @ CUED
Convex and non-convex worlds in machine learning
Machine Learning @ CUED
Random Function Classes for Machine Learning
Machine Learning @ CUED
Explaining Non-Linear Classifier Decisions with application to Deep Learning
Machine Learning @ CUED
Deep Gaussian processes and variational propagation of uncertainty
Machine Learning @ CUED
Deep Learning
Computational Neuroscience
A three-threshold learning rule approaches the maximal capacity of recurrent neural networks
Computational Neuroscience
The statistical structure of noise in large neural populations
Machine Learning @ CUED
Random Function Classes for Machine Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Unsupervised Learning with Latent Variable Models
Machine Learning @ CUED
Unsupervised Learning with Latent Variable Models
Cambridge Society for the Application of Research (CSAR)
Gallium Nitride LEDs: How can they save energy, purify water, improve our health (and be made here in the UK)
⚠️ This talk will be preceeded by a short presentation by Olivia Macleod on her research
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
Junior Category Theory Seminar
On the solution of recursive domain equations
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Structural Markov laws / Geometry and HMC
Cambridge Society for the Application of Research (CSAR)
The Saga of the Miles M-52 Britain’s Wartime Supersonic Project
⚠️ Please note this lecture is different to that previously advertised. It will be preceeded by a short presentation by Vaibhav Bhardwaj on his research "Algae-bacteria symbiosis: Using molecular biology to improve algae cultivation for biofuels"
Machine Learning @ CUED
Mean Field Approaches to Two Sequential Decision Making Problems.
⚠️ This talk will be given via Skype
Category Theory Seminar
Synthetic differentiation of species
Machine Learning @ CUED
Do Deep Nets Really Need to be Deep?
Cambridge Society for the Application of Research (CSAR)
Finding Patterns in Genes and Proteins
⚠️ The Lecture will be preceded by a brief presentation by Bursary Student Siang Koh, entitled “It takes two to tango: Combination therapy in cancer”
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Junior Category Theory Seminar
Classifying toposes and forcing
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Closure operators and central extensions in the category of quandles
Computational Neuroscience
Rogue states: altered dimensionality of neural circuit activity in Fragile-X mice
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Machine Learning Reading Group @ CUED
Convolutional Neural Networks
Junior Category Theory Seminar
Categorical Logic Round Table
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Category Theory Seminar
Generalising the functor of points approach
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Machine Learning Reading Group @ CUED
Hessian-free Optimisation for Neural Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Weak factorization systems for intensional type theory
Machine Learning @ CUED
Probabilistic numerics: treating numerical computation as learning, or; it's Bayes all the way down
Cambridge Society for the Application of Research (CSAR)
The Evolution of Dragonfly Wings
⚠️ The lecture will be preceded by a short presentation by Jan Mertens on new materials
Machine Learning Reading Group @ CUED
Scalable MCMC
Junior Category Theory Seminar
Profunctors - An Introduction
Machine Learning @ CUED
Machine Learning for Quantitative Finance: A collaboration between the Cambridge Machine Learning Group and Cambridge Capital Management
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Skew monoidal structures in 2-category theory
Cambridge Society for the Application of Research (CSAR)
New Developments in Machine Intelligence
⚠️ This talk will be preceeded by a short presentation from Laura Burzynski on her research into blood clotting proteins
Machine Learning Reading Group @ CUED
Causal Inference
Junior Category Theory Seminar
Models of Polymorphism
Machine Learning @ CUED
Title to be confirmed
Machine Learning Reading Group @ CUED
Gaussian Process Models for Time Series
Machine Learning @ CUED
Inference for infinite mixture models and Gaussian Process mixtures of experts using simple approximate MAP Inference
Cambridge Society for the Application of Research (CSAR)
The CSAR debate:"This House believes that the Government should fund discovery of new antibiotics and control their distribution and use"
Machine Learning Reading Group @ CUED
Informational Geometry
Machine Learning Reading Group @ CUED
Deep Gaussian Processes
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Machine Learning Reading Group @ CUED
Combinatorial Stochastic Processes in Bayesian Nonparametrics
Machine Learning @ CUED
Evolutionary dynamics in a continuous public goods game
Cambridge Society for the Application of Research (CSAR)
Meet the Authors
⚠️ Held in association with the Cambridge Science Festival
Machine Learning @ CUED
An introduction to the Mondrian Process
Category Theory Seminar
Covariant fibrations and diagrams of spaces
Junior Category Theory Seminar
Polynomial functors
Computational Neuroscience
Dopamine - beyond reward?
Machine Learning @ CUED
Population Inference for Functional Brain Connectivity
Category Theory Seminar
Ex-infinity
Microsoft Research Machine Learning and Perception Seminars
Workshop: Machine Learning in Cambridge 2015
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Cambridge Society for the Application of Research (CSAR)
Flying 300 underwater Planes and other Oil Industry Innovations
Machine Learning @ CUED
Probabilistic approaches to understanding bird conversations
Junior Category Theory Seminar
The semi-direct product of categories
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
A* Sampling
Category Theory Seminar
Algebraically coherent categories: definition, examples and basic properties
Cambridge Society for the Application of Research (CSAR)
Some of my Accidents
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Machine Learning Reading Group @ CUED
Variance Reduction Techniques and Stochastic Optimisation for Monte Carlo
Junior Category Theory Seminar
Simplicial sets and their homotopy theory
Machine Learning @ CUED
Orthologous networks in biological systems
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
KZ diagonal fillers
Junior Category Theory Seminar
On the analogy between Galois and fundamental groups.
Cambridge Society for the Application of Research (CSAR)
Ripping up the Rule Book in Formula One
Machine Learning Reading Group @ CUED
Transfer Learning
Junior Category Theory Seminar
The functor of points
Machine Learning @ CUED
Latent Branching Trees
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Universal geometric tensor categories
Machine Learning @ CUED
Experiments with Non-parametric Topic Models
Machine Learning Reading Group @ CUED
Advanced HMC
Junior Category Theory Seminar
Adjunctions induced by Kan Extensions between Grothendieck Toposes
Category Theory Seminar
Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
Cambridge Society for the Application of Research (CSAR)
Innovation in Practise
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Computational Neuroscience
Computational Neuroscience Course (4G3)
⚠️ 4G3 course -- repeats every Wed at 12noon, and Fri at 11am during Lent
Machine Learning Reading Group @ CUED
Active Learning
Cambridge Society for the Application of Research (CSAR)
Prospects and Obstacles affecting Cell Replacement in Humans
Machine Learning @ CUED
The Blended Paradigm: A Bayesian Approach to Handling Outliers and Misspecified Models
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Machine Learning Reading Group @ CUED
Deep Probabilistic Models (Wake/Sleep)
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A non-abelian Verdier's hypercovering theorem
Cambridge Society for the Application of Research (CSAR)
Building a Climate System Laboratory: Modelling the climate system.
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Machine Learning @ CUED
Machine Translation with LSTMs
⚠️ Room changed to LR3B in Inglis building and time changed to 10:30
Machine Learning Reading Group @ CUED
PAC Bayes
Junior Category Theory Seminar
Discrete Objects in a Topos
Machine Learning @ CUED
Oracle Variational Inference
Category Theory Seminar
Three notions of symmetric monoidal 2-category
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Machine Learning Reading Group @ CUED
LSTM and Recurrent Neural Networks
Junior Category Theory Seminar
Some observations on cubical sets
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Functoriality of modified realizability
Cambridge Society for the Application of Research (CSAR)
The Living Time Machine: Non-verbal intelligence
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Machine Learning @ CUED
Bayesian modeling for high-level real nursing activity recognition using accelerometers
⚠️ short talk
Machine Learning Reading Group @ CUED
Automatic Differentiation with Theano
Junior Category Theory Seminar
Basic Concepts of Enriched Category Theory
Computational Neuroscience
Chaos and entropy production in spiking networks
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Machine Learning Reading Group @ CUED
State Space Abstraction for Reinforcement Learning
Junior Category Theory Seminar
An Introduction to Toposes
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Categorical models of effects and resources
Cambridge Society for the Application of Research (CSAR)
Human Metabolic Disease: Lessons from the extremes.
Machine Learning Reading Group @ CUED
Kernel Embedding for Distributions
Junior Category Theory Seminar
Geometric morphisms of Realizability Toposes
Category Theory Seminar
Symmetric monoidal closed categories relative to a base
Machine Learning @ CUED
A Tutorial on Probabilistic Programming
Junior Category Theory Seminar
On the interplay between a group and its (category of) representations
Computational Neuroscience
Computational Neuroscience Journal Club
CUED Control Group Seminars
Optimal control and optimal sampling: A statistical physics perspective.
Category Theory Seminar
A new take on arithmetic universes.
Cambridge Society for the Application of Research (CSAR)
Learning to Remember: How should we teach history?
Junior Category Theory Seminar
Sets for category theory
Computational Neuroscience
Sensory processing in neocortical networks: randomness, specificity and learning
Computer Laboratory Automated Reasoning Group Lunches
Logic programming beyond Prolog
⚠️ This is a MSR Seminar (Station Road), duplicated on the ARG list
Junior Category Theory Seminar
Moore Factorization Systems
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
New Methods in Bayesian Optimization for Machine Learning
Machine Learning @ CUED
A marginal sampler for σ-Stable Poisson-Kingman mixture models
Machine Learning @ CUED
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction
Computational Neuroscience
A Study of Certain Models of Synaptic Plasticity in the Cerebellum and Neocortex
Microsoft Research Machine Learning and Perception Seminars
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Unsupervised Many-to-many Object Matching
Machine Learning @ CUED
Probabilistic Numerics - a snapshot of an emerging community
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Machine Learning @ CUED
On the Bethe approximation
Machine Learning @ CUED
Gaussian process regression on graphs
Machine Learning @ CUED
Implicit Representation Networks
Computational Neuroscience
Nervous system variability and robustness from cellular feedback control
Logic and Semantics Seminar (Computer Laboratory)
Why Isn’t Verification Standard Practice?
Machine Learning @ CUED
Scalable Deep Gaussian Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Noise in audio and electronics
Machine Learning Reading Group @ CUED
Unsupervised Representation Learning
Machine Learning @ CUED
Active Learning of Linear Embeddings for Gaussian Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Bayesian monitoring for the Comprehensive Nuclear-Test-Ban Treaty
Cambridge Society for the Application of Research (CSAR)
Should We Engineer The Climate? The SPICE Project
⚠️ The listed speaker is not available; Dr Hunt has very kindly agreed to deliver this lecture in his place
Machine Learning @ CUED
Unifying logic and probability: A "New Dawn" for Artificial Intelligence?
⚠️ NOTE THE SPECIAL VENUE (Microsoft Research)
Machine Learning Reading Group @ CUED
Time-varying dynamic Bayesian network reconstruction with information sharing
Category Theory Seminar
Lax orthogonal factorisation systems
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Machine Learning Reading Group @ CUED
Advanced Gaussian Process approximation methods
Junior Category Theory Seminar
Sequential Path Objects
Computational Neuroscience
Adaptation, coding and Bayesian computations in single neurons and neural populations
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Practical Machine Learning at Facebook. Examples and Lessons Learnt.
⚠️ Room changed to LR4
Cambridge Society for the Application of Research (CSAR)
Molecular Gastronomy, The Science of Taste and Flavour
Machine Learning @ CUED
Bayesian inference for integer-valued Lévy processes with Non-Gaussian Ornstein-Uhlenbeck volatility modelling
⚠️ short talk (30 mins) - NOTE TIME CHANGE
Machine Learning Reading Group @ CUED
Statistical model criticism
Junior Category Theory Seminar
Monoidal Categories And More
Machine Learning @ CUED
Density Estimation in Infinite Dimensional Exponential Families
Category Theory Seminar
Type Theory and Regular Completions
Junior Category Theory Seminar
Local Geometric Morphisms
Machine Learning @ CUED
Stable Poisson-Kingman species sampling priors generated by general ordered size biased generalized gamma mixing distributions
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Internal homotopy theory via classical completeness
Cambridge Society for the Application of Research (CSAR)
Tunnelling Under Cities, Advances in Research and Practice
Machine Learning Reading Group @ CUED
Functional Programming
Junior Category Theory Seminar
Introduction to simplicial homotopy theory
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Machine Learning Reading Group @ CUED
The Bernoulli Factory problem and some connections with Computable Analysis
Cambridge Society for the Application of Research (CSAR)
Self-Assembling Molecular Structures, Novel molecular structures and materials
Machine Learning Reading Group @ CUED
Neural Network Language Modelling
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Probabilistic computing applications: BayesDB and stochastic digital circuits
Machine Learning Reading Group @ CUED
Loopy belief propagation
Machine Learning @ CUED
Probabilistic computing for Bayesian inference
Machine Learning @ CUED
Machine Learning and Order Book Dynamics
Machine Learning @ CUED
Policy Evaluation with Temporal Differences
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
New Book Evening
⚠️ In association with the Cambridge Science Festival
Machine Learning @ CUED
Matrix Means, Distances, Kernels, and Geometric Optimization
Category Theory Seminar
The lfc Grothendieck topology
Machine Learning @ CUED
Learning to Learn for Structured Sparsity
Junior Category Theory Seminar
Homotopy type theory and weak factorization systems
Category Theory Seminar
Modelling homotopy types by internal categories
Category Theory Seminar
Title to be confirmed
Computer Laboratory Automated Reasoning Group Lunches
Interfacing and improving proof tools
Machine Learning @ CUED
Bayesian nonparametric dynamic-clustering and genetic imputation
Cambridge Society for the Application of Research (CSAR)
Why aircraft may soon grow bumps on their wings
Machine Learning @ CUED
Parameter estimation in deep learning architectures: Two new insights.
⚠️ Note: time is 12 noon (*not* 11am)
Machine Learning @ CUED
Bayesian canonical correlation analysis
Junior Category Theory Seminar
Van Kampen's Theorem: classic, directed & generalized
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Categorical structure for conditional independence
Machine Learning @ CUED
Cambridge - Tuebingen PhD Applicant Talks (via Skype)
⚠️ Interview talks via Skype
Machine Learning @ CUED
Generative probabilistic programming: applications and new ideas
Junior Category Theory Seminar
Regular, exact, and PERs categories
Machine Learning @ CUED
Bayesian nonparametrics: Dependency and Constraint Modeling
⚠️ Note: TALK via Skype!
Category Theory Seminar
Title to be confirmed
Cambridge Society for the Application of Research (CSAR)
The Grand Challenges and Accomplishments of Engineering Research
Machine Learning @ CUED
Bayesian Nonparametric Model for Power Disaggregation
Junior Category Theory Seminar
A gentle introduction to Categorical Logic
Machine Learning @ CUED
Probabilistic machine learning for knowledge extraction from videos and text
⚠️ Note venue: LR6
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Hopf monads and Eilenberg-Moore completions
Machine Learning Reading Group @ CUED
An introduction to Sequential Monte Carlo
Junior Category Theory Seminar
Descent in Category Theory
Category Theory Seminar
Applying Category Theory to Complex Systems Theory: Ehresmann's and Vanbremeersch's Memory Evolutive Systems
Cambridge Society for the Application of Research (CSAR)
Can Research Prevent Crime?
Semantics Lunch (Computer Laboratory)
Yet more animals: dynamic linkers and debuggers
Machine Learning @ CUED
Frequentist coverage of adaptive nonparametric Bayesian credible sets
Junior Category Theory Seminar
Toposes of group actions
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Commutation of Limits and Colimits -- a Cautionary Tale
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Machine Learning Reading Group @ CUED
Probabilistic Data Structures and Algorithms
Junior Category Theory Seminar
Lambda Calculus and Cartesian Closed Categories
Category Theory Seminar
The Category of Sets according to Stratified Set Theories
Cambridge Society for the Application of Research (CSAR)
Validation of EEG-neurofeedback for optimising performance
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
Computational Neuroscience
Computational Neuroscience Course (4G3)
⚠️ 4G3 course -- repeats every Wed at 12am, and Fri at 11am during Lent
Machine Learning Reading Group @ CUED
Information Theory and Method of Types: Channels, Quantizers, and Divergences
Machine Learning @ CUED
Anglican; Particle MCMC inference for Probabilistic Programs
Semantics Lunch (Computer Laboratory)
ABIs, linkers and other animals
Machine Learning @ CUED
Sparse discriminative latent characteristics for predicting cancer drug sensitivity
Microsoft Research Machine Learning and Perception Seminars
Bayesian Machine Learning for Controlling Autonomous Systems
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
What are accessible algebraic weak factorisation systems generated by?
Computer Laboratory Automated Reasoning Group Lunches
CakeML: A Verified Implementation of ML
Cambridge Society for the Application of Research (CSAR)
Do We Really Need Pandas? The impact of human intervention on natural selection
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Machine Learning Reading Group @ CUED
Integrated Nested Laplace Approximation (INLA)
Category Theory Seminar
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A functional interpretation of type theory
Computer Laboratory Automated Reasoning Group Lunches
A Verified Bignum Implementation in x86-64 Machine Code
Cambridge Society for the Application of Research (CSAR)
Notes on Notes: The musicology of performance
⚠️ The CSAR AGM will precede this lecture at 19:15
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Machine Learning Reading Group @ CUED
Spectral Learning
Junior Category Theory Seminar
Model structures and derived functors, minus homotopy
Computational Neuroscience
Learning sensory and spatial representations from interacting excitatory and inhibitory synaptic plasticity
Category Theory Seminar
The homsets of 2-internalization
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
Computational Neuroscience
Neuronal processing of continuous sensory streams
Machine Learning Reading Group @ CUED
Random Projections
Junior Category Theory Seminar
Abstract Sobriety and Equilogical Spaces
Machine Learning @ CUED
Contrastive Learning Using Spectral Methods
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Towards categorical model theory
Cambridge Society for the Application of Research (CSAR)
The CSAR Debate
Computer Laboratory Automated Reasoning Group Lunches
Mathematical practice, crowdsourcing, and social machines
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Machine Learning Reading Group @ CUED
Herding: Driving Deterministic Dynamics To Learn And Sample Probabilistic Models
Junior Category Theory Seminar
Internal Category Theory
Category Theory Seminar
A factorization of constant object functors
Cambridge Society for the Application of Research (CSAR)
The Key Drivers in the World Economy: Why we should be positive
⚠️ The ‘Festival of Ideas’ Lecture
Computational and Biological Learning Seminar Series
A talk of two distinct parts: 1) a parametric empirical Bayesian approach to integration of fMRI, EEG and MEG data, 2) prediction error in episodic memory encoding
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Machine Learning Reading Group @ CUED
Bayesian and Bandit Optimization
Junior Category Theory Seminar
Orthogonality and Factorization Systems
Computational Neuroscience
What the Rat's Whiskers Tell the Rat's Brain
Category Theory Seminar
From logic programming to coalgebra; from coalagebra to coalgebraic logic programming
Cambridge Society for the Application of Research (CSAR)
Applied and not-yet-applied
Junior Category Theory Seminar
An Introduction to Enrichment in a Monoidal Category
Category Theory Seminar
The homotopy bicategory of (∞, 1)-categories
Cambridge Society for the Application of Research (CSAR)
Physics, Chemistry, Materials Science and Biology, from the Schrodinger Equation.
Machine Learning @ CUED
Nonparametric Bayesian statistics with exchangeable random structures
Machine Learning @ CUED
Dissecting genotype to phenotype relationships
Computational Neuroscience
Computational Neuroscience Journal Club
Microsoft Research Machine Learning and Perception Seminars
Compositionality in Vision and Language
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Semantics Lunch (Computer Laboratory)
POPL PC workshop
Machine Learning @ CUED
CANCELLED: Local Deep Kernel Learning for Efficient Non-linear SVM Prediction
⚠️ CANCELLED
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Clustering Based on Predictive Variances in Gaussian Process Regression Models
Microsoft Research Machine Learning and Perception Seminars
Foundations of Neuromechanical Systems Biology: Combining engineering, biology, and mathematics to understand how we move
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Strategies for General Recognition
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
The cost of principles
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Automated Reasoning Group Lunches
Some unfinished projects
Machine Learning @ CUED
Non-Parametric Conditional Random Fields in Computer Vision and Image Processing
Machine Learning @ CUED
Higher Order Learning for Classification in Emergency Situations
Microsoft Research Machine Learning and Perception Seminars
Lifts of Convex Sets and Cone Factorizations
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Annealing Between Distributions by Averaging Moments
Microsoft Research Machine Learning and Perception Seminars
Efficient Multi-dimensional Parametric Mincuts for Constrained MAP Inference
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
NLIP Seminar Series
Recursive Deep Learning for Modeling Semantic Compositionality
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Microsoft Research Machine Learning and Perception Seminars
Noise estimation by PDE-constrained optimisation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Automated Reasoning Group Lunches
Looking Back at Lyrebird
Machine Learning Reading Group @ CUED
Random Forests: One tool for all your problems.
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Machine Learning @ CUED
Applied statistical genetics and next-generation association studies
Machine Learning @ CUED
Applied statistical genetics and next-generation association studies
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Building Business in the Sunshine
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Machine Learning Reading Group @ CUED
Modelling Nonlinear Dynamical Systems
Machine Learning @ CUED
The combinatorial structure of conditionally i.i.d. negative binomial processes directed by a beta process
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Exponentiable Toposes
Cambridge Society for the Application of Research (CSAR)
Plan Bee: Ensuring the Future of Pollination
Computational Neuroscience
Optimal compensation for neuron death
Machine Learning Reading Group @ CUED
Adaptive Hamiltonian-based MCMC samplers
jg691's list
Google's Approach to Building Relationships with Universities: Presentation and Talk by Dr David J Harper
Category Theory Seminar
A constructive approach to geometric algebra
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Machine Learning Reading Group @ CUED
Bayesian Nonparametrics in Real-World Applications: Statistical Machine Translation and Language Modelling on Big Datasets
Computational Neuroscience
Dendritic computation in pyramidal neurons.
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Adjunctions between fibrations
Cambridge Society for the Application of Research (CSAR)
Organic Electronics: a story of science and technology
Machine Learning @ CUED
Matrix Concentration Inequalities via the Method of Exchangeable Pairs
Category Theory Seminar
Universes for category theory
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Machine Learning @ CUED
Deep Gaussian Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Well adapted models in Synthetic Differential Geometry
Microsoft Research Machine Learning and Perception Seminars
Building Better Questionnaires with Probabilistic Modelling
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Approaches to statistical modeling of network data
Cambridge Society for the Application of Research (CSAR)
Volcanology Applied to Emergencies
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Computational Neuroscience
Is the brain in a critical state?
Computational Neuroscience
Demixing scents: Sampling-based inference in olfaction.
Category Theory Seminar
Internal algebra classifiers and their applications
Machine Learning Reading Group @ CUED
Sparsity: Beyond L1
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Bayesian nonparametric methods for non-exchangeable data
Machine Learning Reading Group @ CUED
Reproducing Kernel Hilbert Spaces in Non-parametric Statistics
Machine Learning @ CUED
Non-parametric Bayesian Chromatin State Segmentation
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Verified AIG Algorithms in ACL2
Machine Learning Reading Group @ CUED
An Introduction to Sum Product Networks
Microsoft Research Machine Learning and Perception Seminars
Austerity in MCM - Land : Cutting the computational Budget
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Fast Variational Inference in the Conjugate Exponential Family
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Fast Variational Inference in the Conjugate Exponential Family
Machine Learning Reading Group @ CUED
Bayesian Reinforcement Learning
Junior Category Theory Seminar
Enrichment of categories of algebras and coalgebras
Cambridge Society for the Application of Research (CSAR)
Our Fluid Earth
⚠️ Joint Event with Cambridge Science Festival and BlueSci.
Microsoft Research Machine Learning and Perception Seminars
Semantics\sqcap Scalability\models\bot? Are Semantics and Scalability Incompatible?
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computational Neuroscience
University Lectureship in Computational Neuroscience candidate talks
Machine Learning Reading Group @ CUED
Probabilistic Programming
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
A categorical approach to loops, neardomains and nearfields
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Microsoft Research Machine Learning and Perception Seminars
Warped Mixture Models for Meaningful Clustering and Bayesian Manifold Learning
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
An application of HDP And IBP for stream-based action recognition and high dimensional data
Machine Learning @ CUED
Using Context and Insight for the Analysis of LittleData?
Machine Learning Reading Group @ CUED
Machine Learning in Speech Recognition
Junior Category Theory Seminar
Approximation in Domain Theory and some related Category Theory
Category Theory Seminar
Abstract versions of Hilbert's Nullstellensatz, and dualities for algebraic categories
Cambridge Society for the Application of Research (CSAR)
CSAR Book Evening
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Abduction of Inductive Termination Preconditions
Machine Learning Reading Group @ CUED
Fragmentation Coagulation
Junior Category Theory Seminar
A Monadgerie
Machine Learning @ CUED
Feature allocations, probability functions, and paintboxes
Category Theory Seminar
The fundamental group as a Kan extension
Machine Learning @ CUED
Modelling Reciprocating Relationships with Hawkes Processes
Machine Learning Reading Group @ CUED
Conditional Density Estimation
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Entropy is inevitable
Microsoft Research Machine Learning and Perception Seminars
New probabilistic methods for inference of natural selection on regulatory sequences in the human genome
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Cambridge Society for the Application of Research (CSAR)
Graphene Future Emerging Technology
Microsoft Research Machine Learning and Perception Seminars
Daniel’s Adventures in Computer Vision Land
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Category Theory Seminar
Generalised Polynomial Functors: Theory and Applications
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of Finite Automata in Isabelle/HOL
Machine Learning Reading Group @ CUED
RCC Planning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Monotone-light factorisation systems
Category Theory Seminar
Universal central extensions in peri-abelian categories
Cambridge Society for the Application of Research (CSAR)
The Shift in the Balance of Economic and Financial Power: what does it really mean?
Machine Learning Reading Group @ CUED
Discrete Optimization
Junior Category Theory Seminar
Model Categories
Machine Learning @ CUED
Structural Expectation Propagation (SEP): Bayesian structure learning for networks with latent variables
Category Theory Seminar
Some remarks on 2-star-permutability and descent in regular categories.
Machine Learning Reading Group @ CUED
Advanced Sampling
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Keeping the Lights on in 2050: how can we do it and how much will it cost?
Machine Learning Reading Group @ CUED
NIPS Recap
Junior Category Theory Seminar
What is ... a topos?
Computational Neuroscience
Computational Neuroscience Course (4G3)
⚠️ 4G3 course -- repeats Wednesdays at 12noon, Thursday at 2pm during Lent 2013
Semantics Lunch (Computer Laboratory)
Sigma*: Symbolic Learning of Input-Output Specifications
Computational Neuroscience
Computational Neuroscience Journal Club
Semantics Lunch (Computer Laboratory)
High-Level Separation Logic for Low-Level Code
Machine Learning Reading Group @ CUED
NIPS Recap
Microsoft Research Machine Learning and Perception Seminars
From motion capture of interacting hands to video based rendering.
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Semantics Lunch (Computer Laboratory)
Library Abstraction for C/C++ Concurrency
Machine Learning Reading Group @ CUED
Bayesian and Gradient Reinforcement Learning
Junior Category Theory Seminar
Polynomial Functors
Microsoft Research Machine Learning and Perception Seminars
Spectral Edge: Making the Invisible Visible
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Category Theory Seminar
Topological Galois Theory
Cambridge Society for the Application of Research (CSAR)
The Lost Soldiers of Fromelles
Semantics Lunch (Computer Laboratory)
Full Abstraction for PCF with Names
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Machine Learning Reading Group @ CUED
Spectral Clustering
Junior Category Theory Seminar
Fibrations and Adjointness
Category Theory Seminar
Commutative monads, distributions, and differential categories
Machine Learning @ CUED
The combinatorial structure underlying a beta processes is that of a continuum of Blackwell-MacQueen urn schemes
Semantics Lunch (Computer Laboratory)
A Model-Learner Pattern for Bayesian Reasoning
Machine Learning Reading Group @ CUED
Modern Neural Networks: the Hinton Camp
Machine Learning @ CUED
Learning of Milky Way Model Parameters Using Matrix-variate Data in a New Gaussian Process-based Method
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Coherence for symmetric monoidal bicategories
Cambridge Society for the Application of Research (CSAR)
Are We Alone?
Semantics Lunch (Computer Laboratory)
Putting the thrill back into computing at school
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Machine Learning Reading Group @ CUED
Distributional compositional models of semantics
bbu20's list
Coding with Dendrites
Category Theory Seminar
On constructing free algebras and properties of free Heyting algebras
Semantics Lunch (Computer Laboratory)
On distributed probabilistic strategies
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Grothendieck topologies and Grothendieck quantales
Cambridge Society for the Application of Research (CSAR)
CSAR Green Energy Debate
Foster Talks
Space, sleep, brain rhythms and memory
Machine Learning @ CUED
Identification of causal effects
Category Theory Seminar
Geometric morphisms between relizability toposes
Microsoft Research Machine Learning and Perception Seminars
Towards ad hoc interactions with robots
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Semantics Lunch (Computer Laboratory)
The Power of Parameterization in Coinductive Proof
⚠️ This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.
Machine Learning @ CUED
Probabilistic methods for biomolecular structure simulations
Machine Learning Reading Group @ CUED
Completely Random Measures in Bayesian Nonparametrics
Junior Category Theory Seminar
Endomorphisms of generic models of classifying toposes
Computer Laboratory Systems Research Group Seminar
Distributed, Real-Time Bayesian Learning in Online Services
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Lie structure in Logic wiring
Microsoft Research Machine Learning and Perception Seminars
From the Information Extraction Pipeline to Global Models, and Back
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Cambridge Society for the Application of Research (CSAR)
Impacts of a Disappearing Arctic Sea Cover
Machine Learning Reading Group @ CUED
Model selection in a large compositional space
⚠️ note: the first 45 mins will be planning and the talk will start at around 3:15pm
Junior Category Theory Seminar
Weighted Limits
Category Theory Seminar
A categorical view of classical lambda calculus
Cambridge Society for the Application of Research (CSAR)
The Larmor Lecture
Machine Learning @ CUED
Compressed Sensing Applications in Functional Magnetic Resonance Imaging
Microsoft Research Cambridge, public talks
Convergent and Scalable Algorithms for Expectation Propagation Approximate Bayesian Inference
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Multi-Label Learning with Millions of Categories
Junior Category Theory Seminar
Colimits in Toposes
Category Theory Seminar
Categories and profunctors via free cocompletions
Machine Learning @ CUED
Efficient Sampling with Kernel Herding
Microsoft Research Machine Learning and Perception Seminars
Capture of dynamic scene using multiple cameras provides rich spatial-temporal information that can be used for solving challenging computer vision problems.
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computational Neuroscience
Perceiving is Believing: Bayesian inference in unexpected places.
Microsoft Research Machine Learning and Perception Seminars
Tell Me Where You’ve Lived and What You Want -- I’ll Tell You What You Like and Need
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Preservation under Substructures modulo Bounded Cores
⚠️ Note special date and location (GC22)
Microsoft Research Machine Learning and Perception Seminars
Latent Hough Transform for Object Detection
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Frank-Wolfe optimization insights in machine learning
Microsoft Research Machine Learning and Perception Seminars
Context sensitive information: Which bits matter in data?
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Deep learning for vision: a case study for visual textures, and some thoughts on a general framework
Machine Learning @ CUED
Thermodynamics as a Theory of Decision-Making with Information Processing Costs
Microsoft Research Machine Learning and Perception Seminars
SmartDesign: Living with Geometric Complexity
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Human Behavior Classification with Infinite Hidden Conditional Random Fields
Microsoft Research Machine Learning and Perception Seminars
Part A: Non-parametric image optimization & Part B: Crowdsourcing gaze data collection
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Multi-Label Learning with Millions of Categories & Generalized Multiple Kernel Learning with a Million Kernels
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Inference Group
Data Modelling With Neural Networks (II): Content-Addressable Memories And State-Of-The-Art Error-Correcting Codes
⚠️ Last Lecture!
Microsoft Research Machine Learning and Perception Seminars
Prediction Strategies without Loss
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Fast Gaussian process learning for regression, semi-supervised classification, and multiway analysis
Machine Learning @ CUED
Non-parametric Bayesian Learning of User Preferences: Elicitation, Sparsification and Beyond
Machine Learning @ CUED
Structured Prediction using Linear Programming Relaxations
Computational Neuroscience
Computational Neuroscience Journal Club
Inference Group
Advanced Monte Carlo Methods and Variational Inference
Semantics Lunch (Computer Laboratory)
Containers, Comonads and Distributive Laws
Computer Laboratory Automated Reasoning Group Lunches
Semi-automatic Algorithm Synthesis (Case Study: Square Root)
Machine Learning Reading Group @ CUED
Dependent normalized random measures
Semantics Lunch (Computer Laboratory)
Ribbon Proofs for Separation Logic
Machine Learning Reading Group @ CUED
GP-BUCB for Spinal Cord Injury Therapy: Batch Active Learning with Applications
Computer Laboratory Automated Reasoning Group Lunches
Diabelli and Speedith: Heterogeneous reasoning and spider diagrams
Machine Learning @ CUED
Discovery of Complex Behaviors through Contact-Invariant Optimization
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Genetics and Evolution of Transmissible Cancers in Dogs and Tasmanian Devils
Inference Group
Approximating Probability Distributions (I)-(II): Monte Carlo Methods and Variational Inference
⚠️ Two lectures!
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
⚠️ Note that this talk will be in FW26 rather than the usual room.
Microsoft Research Machine Learning and Perception Seminars
The Inverted Multi-Index
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
Machine Learning Reading Group @ CUED
On Data (In-)Dependent Hashing
Semantics Lunch (Computer Laboratory)
A Concurrent Logical Relation
⚠️ NB: changed (again!) unusual day/time
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - a separation logic tool in HOL4
Cambridge Society for the Application of Research (CSAR)
Bacteria as Active Colloids
Inference Group
An Introduction to Statistical Inference, Data Modelling & Pattern Recogntion
⚠️ Two Lectures!
Semantics Lunch (Computer Laboratory)
Virtue of certified programming with decision procedures
⚠️ NB: unusual day/time
Machine Learning Reading Group @ CUED
Poisson Processes: Applications in Machine Learning
Semantics Lunch (Computer Laboratory)
From threads to events through classical program transformations
⚠️ NB: Unusual day/time
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
The Algebra of Directed Acyclic Graphs
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Machine Learning Reading Group @ CUED
A rough guide to the Aldous-Hoover representation theorem for exchangeable arrays
Category Theory Seminar
Polynomial Functors and the Dialectics interpretation
Cambridge Society for the Application of Research (CSAR)
What are the Chances? Living with Risk and Uncertainty
Machine Learning Reading Group @ CUED
Title to be confirmed
Machine Learning Reading Group @ CUED
Dirichlet Process Mixture Models and Bayesian Nonparametric Density Estimation
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Characterising realisability toposes
Computer Laboratory Automated Reasoning Group Lunches
Diabelli: a framework for heterogeneous reasoning
Machine Learning @ CUED
Learning with nonparametric dependence and divergence estimation
Inference Group
Communication over noisy channels (II)
Machine Learning @ CUED
Past work and future interests: respectively, the scattering of Anyons and Monte Carlo methods
Machine Learning Reading Group @ CUED
"Structured sparsity and convex optimization"
Computational Neuroscience
Visuomotor behavior in naturalistic tasks: from receptive fields to value functions
Machine Learning @ CUED
Non-parametric Bayesian Method and Maximum-A-Posteriori Inference in Statistical Machine Translation
Computational and Biological Learning Seminar Series
Optimal encoding and decoding in sensory populations
Category Theory Seminar
Viewpoints on Homology
Microsoft Research Machine Learning and Perception Seminars
Topic Models for Human Activity Understanding
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Craik Club
"Probing sensory representations with metameric stimuli"
⚠️ The host for this talk is Máté Lengyel, Engineering Department. Note that the title and topic of the talk have been revised.
Cambridge Society for the Application of Research (CSAR)
Rethinking Research Objectives for the 21st Century
Adrian Seminars in Neuroscience
Near-optimal integration of evidence for decision-making in the rat.
Inference Group
Communication over noisy channels (I)
Machine Learning Reading Group @ CUED
Financial Problems tractable to Machine Learning Methods
Machine Learning Reading Group @ CUED
A Predictive Study of Bayesian Nonparametric Regression Models
Computational Neuroscience
Rational learning may be minimalist
Machine Learning Reading Group @ CUED
Title to be confirmed
Machine Learning Reading Group @ CUED
Weighted Finite-state Automata
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
The Herbrand topos
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Machine Learning Reading Group @ CUED
Active Learning
Machine Learning Reading Group @ CUED
Topic Modelling
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Machine Learning Reading Group @ CUED
Structural Learning of Dynamic Bayesian Networks
Computational Neuroscience
Computational Neuroscience Journal Club
Microsoft Research Machine Learning and Perception Seminars
ORCHID: Human-agent collectives for disaster response and the smart grid
⚠️ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Machine Learning Reading Group @ CUED
Extended ensemble Monte Carlo
Machine Learning @ CUED
Infinite Structured Explicit Duration Hidden Markov Models
Category Theory Seminar
Barren structures and badly behaved monads on the category of sets.
Computer Laboratory Automated Reasoning Group Lunches
Proof-Producing Synthesis of ML from Higher-Order Logic
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
Machine Learning Reading Group @ CUED
"Symmetry and sufficiency"
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Classical Realizability
Computer Laboratory Automated Reasoning Group Lunches
Extending deforestation
Cambridge Society for the Application of Research (CSAR)
Genetic Screens in Embryonic Stem Cells
Inference Group
Entropy and data compression (II)
⚠️ PLEASE NOTE: There will be no lectures during the Easter break (12 March - 9 April). Lectures will resume on 16 April.
Junior Category Theory Seminar
An Introduction to Weighted Limits.
Microsoft Research Machine Learning and Perception Seminars
Sequential Decision Making in Experimental Design and Sustainability via Adaptive Submodularity
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Category Theory Seminar
Restriction categories as enriched categories
Category Theory Seminar
Multivariable adjunctions and mates
Computer Laboratory Automated Reasoning Group Lunches
A Proposed Framework for Analysing Security Ceremonies
Inference Group
Entropy and data compression (I)
Semantics Lunch (Computer Laboratory)
Developing verified programs in Dafny
Junior Category Theory Seminar
The Fundamental Theorem of Category Theory
Machine Learning @ CUED
Probabilistic computing: computation as universal stochastic inference, not deterministic calculation
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Isomorphisms of types in the presence of higher-order references
Computer Laboratory Automated Reasoning Group Lunches
Bottom-up formalization of the ARM architecture
Cambridge Society for the Application of Research (CSAR)
The Science of Well-Being and its Application to Policy
Inference Group
Introduction to information theory
Semantics Lunch (Computer Laboratory)
RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels
Junior Category Theory Seminar
Weighted limits and homotopy limits
Category Theory Seminar
Parameterized algebraic theories and computational effects
Microsoft Research Machine Learning and Perception Seminars
Exploiting Variable Impedance for Robotics: Mimic or Optimize?
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Applying Category Theory to conceptual questions in the foundations of Geometric Algebra
Computer Laboratory Automated Reasoning Group Lunches
Explicit vs. symbolic algorithms for solving ALFP constraints
Cambridge Society for the Application of Research (CSAR)
Boosting your Brain:Cognitive Enhancement and Neuroethics
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
Junior Category Theory Seminar
It's all about monoids! Algebras, coalgebras and Hopf algebras from a conceptual viewpoint.
Category Theory Seminar
Omega-categories in terms of chain complexes
Machine Learning Reading Group @ CUED
Information bottleneck
⚠️ Please note the change in time. This RCC will take place at 15:00-16.30pm.
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Science and Non-science in Drug Policy
⚠️ Held jointly with the Cambridge Philosophical Society
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Junior Category Theory Seminar
Simplicial Objects
Machine Learning Reading Group @ CUED
Ensemble Methods in Machine Learning
Computer Laboratory Automated Reasoning Group Lunches
Plan B: A Buffered Memory Model for Java
Category Theory Seminar
Characterizations of categories of commutative C*-subalgebras
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Scaling Machine Learning for the Internet
Semantics Lunch (Computer Laboratory)
Resource Sensitive Synchronisation Inference by Abduction
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
Junior Category Theory Seminar
Monoidal Categories (and much more!)
Microsoft Research Machine Learning and Perception Seminars
Closing the gap between weakly and fully supervised methods
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Introduction to semi-abelian categories
Cambridge Society for the Application of Research (CSAR)
RNA Silencing in Plant and Animal Biotechnology
Semantics Lunch (Computer Laboratory)
Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
Machine Learning @ CUED
Bayesian Quadrature for Prediction and Optimisation
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
Computational Neuroscience
Modeling a non-linear EPSPs integration site in dendrites and its impact on computational capacities
Junior Category Theory Seminar
An Introduction to Classifying Toposes
Machine Learning @ CUED
Efficient MCMC for Continuous Time Discrete State Systems
Category Theory Seminar
Concurrent Games
Semantics Lunch (Computer Laboratory)
Stop when you are Almost-Full: Adventures in Constructive Termination
Microsoft Research Machine Learning and Perception Seminars
Beyond the Piece of Cardboard: Learning to Adjust Photographs
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Junior Category Theory Seminar
A tiny introduction to realizability
Machine Learning @ CUED
A Maximum Entropy Perspective on Spectral Dimensionality Reduction
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Toposes as 'bridges' for unifying Mathematics
Cambridge Society for the Application of Research (CSAR)
How Thorium Could Save the Planet
Semantics Lunch (Computer Laboratory)
Understanding POWER Multiprocessors
Junior Category Theory Seminar
Orthogonality, reflective subcategories and factorization systems.
Machine Learning Reading Group @ CUED
Approximate Inference in Gaussian Process Models
Category Theory Seminar
Composing free Lawvere Theories
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of preemptive OS kernels
Semantics Lunch (Computer Laboratory)
The Importance of Being Linearizable
Microsoft Research Machine Learning and Perception Seminars
PARIS: Probabilistic Alignment of Relations, Instances, and Schema
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Category Theory Seminar
Selling category theory to the masses: from cooking via animals to google
Microsoft Research Machine Learning and Perception Seminars
Probabilistic programs and the computability and complexity of Bayesian reasoning
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Automated Reasoning Group Lunches
On the Strength of Owicki-Gries for Resources
Cambridge Society for the Application of Research (CSAR)
Science and the Media
⚠️ The lecture will be preceeded by the AGM of the society
Semantics Lunch (Computer Laboratory)
A Heirarchy of Mendler style Iteration/Recursion Combinators: taming recursive types with negative occurrences
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
Junior Category Theory Seminar
What is... Geometric Algebra?
Machine Learning Reading Group @ CUED
Proper local scoring rules
Machine Learning @ CUED
Variational Inference for Non-Conjugate Models
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Trees for subtoposes of the effective topos
Computer Laboratory Automated Reasoning Group Lunches
Discovery of Invariants through Automated Theory Formation
Semantics Lunch (Computer Laboratory)
Semantics of a DNA Strand Displacement Model
Machine Learning Reading Group @ CUED
Hyper and structural Markov laws for graphical models
Category Theory Seminar
Lawvere's Nullstellensatz and Sufficient Cohesion
Cambridge Society for the Application of Research (CSAR)
Secret Science of WWII
Semantics Lunch (Computer Laboratory)
Ribbon proofs for separation logic
Cambridge Society for the Application of Research (CSAR)
Impacts of a Disappearing Artic Sea Cover
Machine Learning @ CUED
Not so naive Bayesian classification
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Biduals and finiteness conditions
Microsoft Research Machine Learning and Perception Seminars
Exclusive Pólya Urns and their applications
⚠️ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Computer Laboratory Automated Reasoning Group Lunches
Zeno: An automated theorem prover for functional programs
Machine Learning @ CUED
Bayesian Nonparametrics: Latent Feature and Prediction Models, and Efficient Inference
Cambridge Society for the Application of Research (CSAR)
The Larmor Lecture
⚠️ This lecture is held jointly with the Cambridge Philosophical Society
Semantics Lunch (Computer Laboratory)
TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs
Machine Learning @ CUED
Machine Learning Markets
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Factored Shapes and Appearances for Parts-based Object Understanding AND Transformation Equivariant Boltzmann Machines
Computational Neuroscience
Reconciling intuitive and Newtonian physics
Machine Learning @ CUED
Optimal Reinforcement Learning for Gaussian Systems
Machine Learning @ CUED
Exclusive Pólya Urns and their applications
Category Theory Seminar
Twisting Structures
Computational Neuroscience
Computational Neuroscience Journal Club
Microsoft Research Machine Learning and Perception Seminars
Information-Greedy Global Optimisation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Mechanism Design without Money via Stable Matching
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
Semantics Lunch (Computer Laboratory)
Relating Two Semantics of Locally Scoped Names
⚠️ Note unusual day, time and place: this will be in the ARG lunch slot
Microsoft Research Machine Learning and Perception Seminars
SocialFusion: Fusing Mobile, Sensor, and Social Computing in the Cloud To Enable Next-Generation Context-Aware Applications
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Approximate Bayesian Inference for Large Scale Inverse Problems: A Computational Viewpoint
Machine Learning @ CUED
Some Practical Reflections on Graphical Models
Microsoft Research Machine Learning and Perception Seminars
Principles of Humanoid Locomotion Control
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Machine Learning @ CUED
Beyond Keyword Search: Discovering Relevant Scientific Literature
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Computer Laboratory Automated Reasoning Group Lunches
Nitpicking C++ Concurrency
Machine Learning @ CUED
Graphical Models for Bandit Problems
Category Theory Seminar
Homotopy Type Theory and Univalent Foundations of Mathematics III
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Category Theory Seminar
Homotopy Type Theory and Univalent Foundations of Mathematics II
Category Theory Seminar
Homotopy Type Theory and Univalent Foundations of Mathematics I
Machine Learning @ CUED
Bayesian regression and classification with multivariate sparsifying priors
Computational Neuroscience
Organization of neuronal population activity in auditory cortex.
Category Theory Seminar
The magnitude of an enriched category
Semantics Lunch (Computer Laboratory)
Polarisation in classical realisability and delimited control
⚠️ NOTE UNUSUAL TIME AND PLACE
Category Theory Seminar
Colimits of Monads
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
The relationship between pie, flexible and semiflexible limits.
Computer Laboratory Automated Reasoning Group Lunches
Work in progress: a prototype refactoring tool based on a mechanically-verified core
Machine Learning @ CUED
An FX trading system using adaptive reinforcement learning
⚠️ (rescheduled from May 24th)
Cambridge Society for the Application of Research (CSAR)
Controlling the diabetes epidemic. Is screening the way forward?
Machine Learning @ CUED
Censored Exploration in Dark Pools
Computer Laboratory Automated Reasoning Group Lunches
How do I know my GPU or multicore floating point computations are correct?
Computer Laboratory Automated Reasoning Group Lunches
Separation Algebra
Machine Learning Reading Group @ CUED
Connections between Gaussian Process Regression, Kalman filtering and RTS Smoothing
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Constructing monoidal theories with open-graphs and rewrite categories
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
Machine Learning @ CUED
An FX trading system using adaptive reinforcement learning
⚠️ RESCHEDULED FOR JUNE 7th
Cambridge Society for the Application of Research (CSAR)
Genomes, Structural Biology and Drug Discovery: What Can Academia Contribute?
Semantics Lunch (Computer Laboratory)
Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks
⚠️ Note unusual start time: talks at 12.50 prompt
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Machine Learning Reading Group @ CUED
On Over-fitting in Model Selection and Subsequent Selection Bias in Performance Evaluation
Computer Laboratory Automated Reasoning Group Lunches
A verified runtime for a verified theorem prover
Inference Group
Hierarchical hidden Markov models revisited
Machine Learning Reading Group @ CUED
Expectation Propagation for POMDP Spoken Dialogue Models
Computational Neuroscience
Computational Neuroscience Journal Club
Cambridge Society for the Application of Research (CSAR)
Doing Mathematics online, and in the open
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Craik Club
Navigational guidance systems in the human brain
⚠️ The host for this talk is Dr. Máté Lengyel, Engineering Dept.
Computer Laboratory Automated Reasoning Group Lunches
Using the Cambridge ARM model to verify the concrete machine code of seL4
Cambridge Society for the Application of Research (CSAR)
DNA Profiling of Horses
⚠️ Please note this lecture is on Tuesday not Monday
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Category Theory Seminar
Protoadditive functors and abstract Galois groups
Microsoft Research Machine Learning and Perception Seminars
Formal Methods in Synthetic Biology
Inference Group
Mandarin Dasher
Machine Learning @ CUED
Characterization of the Ewens-Pitman family of random partitions by a deletion property and a de Finetti-type theorem for exchangeable hierarchies
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out – An algorithmization of Chudnovsky’s and Seymour’s Structure Theorem for Claw-Free Graphs
Computational Neuroscience
Computational Neuroscience Journal Club
Microsoft Research Machine Learning and Perception Seminars
Enforcing topological constraints in energy-based image segmentation
Microsoft Research Machine Learning and Perception Seminars
On a first-order primal-dual algorithm with applications to convex problems in computer vision
Computational Neuroscience
Computational Neuroscience Journal Club
Microsoft Research Cambridge, public talks
Machine Learning for WLAN Positioning
Cambridge Society for the Application of Research (CSAR)
High Temperature Superconductors
⚠️ Venue back to normal
Inference Group
Rigid body motion in conformal geometric algebra
Machine Learning @ CUED
Nonlinear Dynamics of Learning
Machine Learning Reading Group @ CUED
Exchangeability
Category Theory Seminar
Lex colimits
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Validity in HOL4
Machine Learning @ CUED
Exponential Conditional Volatility Models
Inference Group
CRH: a Central Reference Handling system
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Machine Learning Reading Group @ CUED
Deep Belief Networks for Phone Recongition
Machine Learning @ CUED
Challenges in implementing the Bayesian paradigm
Category Theory Seminar
On the Functional Representation of Abstract Clones
Computer Laboratory Automated Reasoning Group Lunches
Heterogeneous Proofs: Spider Diagrams meet Higher-Order Provers
Cambridge Society for the Application of Research (CSAR)
Mathematics of Complex Systems
⚠️ PLEASE NOTE CHANGE OF VENUE
Machine Learning @ CUED
Expectation Propagation in Sparse Linear Models with Spike and Slab Priors
Machine Learning @ CUED
Probabilistic matrix factorization for reconstruction of missing data
Machine Learning Reading Group @ CUED
The effect of normalization -- a case study in speech synthesis
Category Theory Seminar
On Fusion categories, gradings, and representations of Hopf algebras
Computer Laboratory Automated Reasoning Group Lunches
Rough-and-ready proof reconstruction
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Machine Learning @ CUED
Title to be confirmed
Machine Learning Reading Group @ CUED
Post-NIPS Highlight session
Category Theory Seminar
The Category Theory of Quantum Field Theory
Computer Laboratory Automated Reasoning Group Lunches
The Strategy Challenge in Computer Algebra
Cambridge Society for the Application of Research (CSAR)
Peanut Allergies
⚠️ PLEASE NOTE CHANGE OF VENUE
Machine Learning Reading Group @ CUED
Optimal weighted nearest neighbour classifiers
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Infinity categories and infinity operads
Computer Laboratory Automated Reasoning Group Lunches
Formalizing Metarouting
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Craik Club
Conserved principles of movement generation
⚠️ The host for this talk is Dr. Máté Lengyel, Engineering Dept., m.lengyel@eng.cam.ac.uk
Machine Learning Reading Group @ CUED
Kernel Methods
Category Theory Seminar
Relative Malt'sev and Relative Goursat Categories
Cambridge Society for the Application of Research (CSAR)
Ocean forcing of ice sheet change in West Antarctica
⚠️ PLEASE NOTE CHANGE OF DATE AND VENUE
Inference Group
A computer-vision based facial gesture switch
Machine Learning Reading Group @ CUED
Machine Learning techniques in computer vision applications
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
On model theory, noncommutative geometry and topoi
Computer Laboratory Automated Reasoning Group Lunches
Quantifier Heuristics in HOL4
Machine Learning @ CUED
Differential Geometric MCMC Methods
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Machine Learning Reading Group @ CUED
Infinite multiple relational models for complex networks
Category Theory Seminar
A topos-theoretic approach to Stone-type dualities
Machine Learning @ CUED
Mining viral datasets
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
Machine Learning Reading Group @ CUED
Completely Random Measures
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Machine Learning @ CUED
Universal Bayesian Agents: Theory and Applications
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation / Mathematizing C++0x concurrency
Machine Learning @ CUED
Machine learning in cancer research (a.k.a CRI meets CUED)
⚠️ (note new date)
Machine Learning @ CUED
Novi Quadrianto
Computational Neuroscience
Computational Neuroscience Journal Club
Semantics Lunch (Computer Laboratory)
Logics with algebraic operators
Semantics Lunch (Computer Laboratory)
Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
Inference Group
Introduction to Geometric Algebra II
Machine Learning Reading Group @ CUED
Submodularity for Machine Learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Three 2-categories
Microsoft Research Machine Learning and Perception Seminars
Handling temporal variation of unknown characteristics in streaming data analysis.
Computer Laboratory Automated Reasoning Group Lunches
Evaluating Formulas on Graphs
Machine Learning @ CUED
Learning item trees for collaborative filtering with implicit feedback
Cambridge Society for the Application of Research (CSAR)
Human Contact Networks
Semantics Lunch (Computer Laboratory)
Making Prophecies with Decision Predicates
Inference Group
Title to be confirmed
Machine Learning @ CUED
Non-Smooth-Norm Image Reconstruction from Noisy Data
Machine Learning Reading Group @ CUED
NIPS Highlight Session
Category Theory Seminar
Unwirings and exponentiability in categories of multicategories
Computer Laboratory Automated Reasoning Group Lunches
First prototype of an Isabelle/HOL-to-LeoII interface
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation
Machine Learning Journal Club
Machine Leaning Journal Club
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Machine Learning Reading Group @ CUED
Poisson Processes
Machine Learning @ CUED
Crowdsourcing data modelling
Computational Neuroscience
Computational neuroscience journal club
Category Theory Seminar
A construction on strong homotopy algebras.
Computer Laboratory Automated Reasoning Group Lunches
Mirage
Cambridge Society for the Application of Research (CSAR)
Sustainable Energy in the UK
Semantics Lunch (Computer Laboratory)
A Language for Mathematics
Inference Group
Out-of-band Language Modelling
Machine Learning Reading Group @ CUED
Convex Optimisation
Microsoft Research Machine Learning and Perception Seminars
Bayesian Inference with Kernels
Category Theory Seminar
Duals and invertibility
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions
Semantics Lunch (Computer Laboratory)
Andrew Kennedy
⚠️ POSTPONED - no Semantics Lunch meeting this week
Inference Group
South Africa's Involvement With Square Kilometre Array Bid: Infrastructure and Electromagnetic Quietness
Machine Learning @ CUED
Short talks: Mixed Cumulative Distribution Networks; Nonparametric Bayesian community discovery in social networks; Expectation Propagation for Dirichlet Process Mixture Models
Logic and Semantics Seminar (Computer Laboratory)
Towards Automatic Resource Consumption Certification
⚠️ Note unusual time (11am) and room (SS03)
Machine Learning Reading Group @ CUED
An Introduction to Bayesian Statistics
Category Theory Seminar
Free monads in double categories
Microsoft Research Machine Learning and Perception Seminars
Affective Technology
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog Designs using MetiTarski
Cambridge Society for the Application of Research (CSAR)
Molecular Modelling of Anaesthetics
⚠️ This lecture will be preceded by the society's AGM
Semantics Lunch (Computer Laboratory)
Finding best paths in difficult conditions
⚠️ (Change of speaker - this replaces Eric's talk)
Inference Group
The Multiscale Composite Dirichlet Process and its applications
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
⚠️ Note the unusual time (13:00)
Physics of Medicine (PoM) Seminar Series
STORM below the localisation limit
Category Theory Seminar
The unification of Mathematics via Topos Theory
Computer Laboratory Automated Reasoning Group Lunches
Bit-blasting in HOL4
Semantics Lunch (Computer Laboratory)
Separation Logic and Graphical Models
Inference Group
Putting Some Language Back Into Language Modelling
Machine Learning Reading Group @ CUED
Herding or a '3rd way to learn'
Computational Neuroscience
Parallel dendritic processing and hippocampal spatial representations
Category Theory Seminar
Multicategories
Computer Laboratory Automated Reasoning Group Lunches
A Simple and Efficient Memory Model for Concurrent Programming Languages
Cambridge Society for the Application of Research (CSAR)
The Physiology of Autumn
Semantics Lunch (Computer Laboratory)
Mathematizing C++ Concurrency
Zangwill Club
How the brain makes decisions
⚠️ Tea and Cakes available in 2nd Floor Seminar Room from 4pm
Machine Learning Reading Group @ CUED
Advanced Scientific Programming in Python
Category Theory Seminar
Title to be confirmed
Computer Laboratory Automated Reasoning Group Lunches
Schedulability analysis of embedded real-time Java
Cambridge Society for the Application of Research (CSAR)
String Theory - A unifying principle in theoretical physics
⚠️ Please note that this lecture is not at the usual spacetime coordinates.
Semantics Lunch (Computer Laboratory)
Let should not be generalised
Inference Group
Bayesian Psychometry
Machine Learning Reading Group @ CUED
Unsupervised Grammar Induction
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Semantics Lunch (Computer Laboratory)
Abstract separation algebra
Inference Group
Continuous Gesture Recognition and Visualization
Machine Learning @ CUED
Searching for Knowledge Instead of Web Pages
Computational Neuroscience
Optimality among optimals: decision making from neurobiological ‘noisy’ signals within the cortico-basal-ganglia system
Machine Learning @ CUED
Bayesian Inference with Kernels
Inference Group
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Computational Neuroscience
Translational biomedical informatics research in a clinical neurosurgery environment
Inference Group
Ticker: Case Study
Machine Learning @ CUED
On the Equivalence of Graph Cuts and Max-product Belief Propagation
Semantics Lunch (Computer Laboratory)
Concurrent abstract predicates
Inference Group
Statistical Language Modelling
Semantics Lunch (Computer Laboratory)
Interoperability in a Scripted World
Inference Group
Title to be confirmed
Semantics Lunch (Computer Laboratory)
Probabilistic languages for inference
Inference Group
Topic Models -- and how to break them
Microsoft Research Cambridge, public talks
Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank
Wednesday Seminars - Department of Computer Science and Technology
Some Uses of Hashing in Networking Problems
Semantics Lunch (Computer Laboratory)
Higher order reactive programming
Machine Learning @ CUED
Culture wars, voting and polarization: divisions and unities in modern American politics
⚠️ general audience talk (non-technical) -- NOTE change of room to LR4!
Machine Learning @ CUED
Creating structured and flexible models: some open problems
Machine Learning @ CUED
Efficient Bayesian analysis of multiple changepoint models
Semantics Lunch (Computer Laboratory)
Proving safety of asynchronous multi-core programs
Inference Group
Approximate Inference for the Loss-Calibrated Bayesian
Machine Learning @ CUED
Learning Common Grammar from Multilingual Corpus / Online Multiscale Dynamic Topic Models
Machine Learning @ CUED
Scalable Parallel Computing with CUDA
Semantics Lunch (Computer Laboratory)
Hoopl: modular library for dataflow analysis/transformation
Inference Group
Introduction to Geometric Algebra
Inference Group
Dasher on a Space-filling curve
Semantics Lunch (Computer Laboratory)
Every bit counts
Machine Learning @ CUED
Using transformed domains to sparsify Gaussian Processes
Machine Learning @ CUED
Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design
Computer Laboratory Automated Reasoning Group Lunches
A Mechanically Verified AIG-to-BDD Conversion Algorithm
Inference Group
Bayesian head pose estimation
Semantics Lunch (Computer Laboratory)
Linear maps
Inference Group
Differential Privacy and Probabilistic Inference
Category Theory Seminar
On Varieties of Symmetric Monoidal Closed Categories and Dependency of Categorical Diagrams.
Machine Learning @ CUED
Natural Conjugate Gradient Learning for Fixed-Form Variational Bayes
Machine Learning @ CUED
Sparse Factor Analysis Applied to Three Biological Problems
Machine Learning @ CUED
Using topic models to help cure cancer
Machine Learning Reading Group @ CUED
Structured Learning and Structural SVMs
Machine Learning @ CUED
Structured Prediction Cascades
Machine Learning @ CUED
Parametric Bandits, Query Learning, and the Haystack Dimension
Computer Laboratory Automated Reasoning Group Lunches
General Binding in Nominal Isabelle 2
Cambridge Society for the Application of Research (CSAR)
Genomics, Society and Policies
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 3)
Machine Learning Reading Group @ CUED
Conditional Random Fields : Theory and Application
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 2)
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Invalidity in HOL4
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 1)
Category Theory Seminar
Freyd's models for the independence of AC as classifying toposes
Inference Group
Robust Associative memory
Cambridge Society for the Application of Research (CSAR)
Happy Danes
⚠️ Please note that this lecture is on Tuesday not Monday
Category Theory Seminar
Second-Order Universal Algebra, Equational Logic, and Algebraic Theories.
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning about While-Loops
Computational Neuroscience
Learning predictive models for visual motion extrapolation
Inference Group
Conditional Counting: Approximate Multinomial Probit Regression
Computational Neuroscience
From tuning curves to behaviour
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Machine Learning Reading Group @ CUED
Topics in Statistical Machine Translation
Category Theory Seminar
The Scott model of Linear Logic is the extensional collapse of its relational model
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Verification of a copying garbage collector
Semantics Lunch (Computer Laboratory)
A polarised calculus of delimited control
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Machine Learning Reading Group @ CUED
Title to be confirmed
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
⚠️ Canceled because of date clash with HCSS and workshop at MSR
Cambridge Society for the Application of Research (CSAR)
Holographic Technologies
Inference Group
Coherent Inference on Optimal Play in Games
Computational Neuroscience
Mapping affective decisions in depression using reinforcement learning tools
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Formal models of ARM processors in HOL
⚠️ Presenters: Mike Gordon and Anthony Fox / This is a rehearsal of our HCSS talk on May 11
Inference Group
Report from CHI 2010
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
Computer Laboratory Automated Reasoning Group Lunches
From Counter Abstraction to Thread-State Cutoffs: New Techniques for Multi-Threaded Program Verification
Cambridge Society for the Application of Research (CSAR)
Brood Parasitism
Machine Learning Reading Group @ CUED
Bundle methods and its application in machine learning
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Inference Group
Speech Dasher: Fast Writing using Speech and Gaze
Semantics Lunch (Computer Laboratory)
New frontiers for Linear Temporal Logic
Inference Group
Language Modelling with PPM
Machine Learning Reading Group @ CUED
Sparsification for Gaussian Processes for Regression
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog and Mixed Signal Designs
Machine Learning @ CUED
Slice sampling with latent Gaussian models
Semantics Lunch (Computer Laboratory)
The Thorn Programming Language: Robust Distributed Scripting
Inference Group
Bayesian feature tracking and head pose estimation
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Machine Learning Reading Group @ CUED
Title to be confirmed
Machine Learning @ CUED
Dynamic Network Tomography: Model, Algorithm, Theory, and Application
Machine Learning @ CUED
Making Sense of Data - A Research Agenda
Machine Learning @ CUED
Subspace Codes for Adversarial Error-Correction in Network Coding
⚠️ short talk
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Interfacing two similar HOLs
Machine Learning @ CUED
Bayesian Inference in Networks of Queues
Machine Learning @ CUED
Stochastic Outlier Selection
Inference Group
Neurally-inspired Computing
Category Theory Seminar
Kernels and weak factorisation systems
Computer Laboratory Automated Reasoning Group Lunches
Integration of SMT Solvers with ITPs - There and Back Again
Cambridge Society for the Application of Research (CSAR)
Sustainable Building in the UK
Inference Group
Latent Force Models with Gaussian Processes
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Verification of Multicast Protocols
Inference Group
Dasher
Machine Learning Reading Group @ CUED
Title to be confirmed
Cambridge Society for the Application of Research (CSAR)
Imaging Cancer
⚠️ Please note this week the lecture is on Tuesday not Monday
Category Theory Seminar
2-Monads for Differential Calculus
Computer Laboratory Automated Reasoning Group Lunches
A New Version of Nominal Isabelle
Machine Learning Reading Group @ CUED
Semi supervised learning
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Some observations on Tannaka duality
Machine Learning Reading Group @ CUED
Variational inference in graphical models: The view from the marginal polytope
Cambridge Society for the Application of Research (CSAR)
Stem Cells: Overcoming the Embryo
⚠️ Please Note this lecture is not on a Monday
Category Theory Seminar
Unwirings and exponentiability.
Inference Group
NIPS 2009 highlights
Machine Learning Reading Group @ CUED
The Fractional Belief Propagation menace
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
In search of the pythagorean tensor
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - A separation logic tools inside HOL 4
HEP phenomenology joint Cavendish-DAMTP seminar
Accelerated Bayesian inference in cosmology
Machine Learning Reading Group @ CUED
(Canceled) A Causal Calculus for Statistical Research
⚠️ Canceled
Machine Learning @ CUED
Machine Learning Course (4F13)
⚠️ 4F13 course - repeats Wed, Thurs at 10am during Lent
Category Theory Seminar
Iterated weak enrichments
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Cambridge Society for the Application of Research (CSAR)
Gravitational Lensing
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Machine Learning Reading Group @ CUED
RCC Planning Meeting
Machine Learning @ CUED
Machine Learning Course (4F13)
⚠️ 4F13 course - repeats Wed, Thurs at 10am during Lent
Computational Neuroscience
Computational Neuroscience Journal Club
Inference Group
Title to be confirmed
Computer Laboratory Automated Reasoning Group Lunches
Verified just-in-time compiler on x86
⚠️ Notice changed date
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Machine Learning Reading Group @ CUED
Unbounded-depth hierarchical Pitman-Yor processes
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Composition in Categories of Games
Computer Laboratory Automated Reasoning Group Lunches
jStar: Towards Practical Verification for Java
Cambridge Society for the Application of Research (CSAR)
Robotic Surgery
Semantics Lunch (Computer Laboratory)
Coarse-grained transactions
Inference Group
NIPS poster
Inference Group
Face Recognition: Who's That Blonde?
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Machine Learning Journal Club
Journal Club: Visualizing Data using t-SNE
Machine Learning Reading Group @ CUED
Learning rates in Bayesian nonparametrics
Category Theory Seminar
The classifying weak omega-category of a type theory
Computer Laboratory Automated Reasoning Group Lunches
New tools in HOL 4 - Consequence Conversions, Quantifier Heuristics, Styles
⚠️ Notice change of speaker
Semantics Lunch (Computer Laboratory)
A refinement of the state monad
Inference Group
Probabilistic feature tracking with non-probabilistic techniques
Machine Learning @ CUED
Indian Buffet Processes with Power-law Behaviour
Machine Learning Journal Club
The Infinite Gaussian Mixture Model
Machine Learning @ CUED
Gaussian Processes for Active Data Selection, Faults, Changepoints and Sensor Selection
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Quantum states as measures on the spectral presheaf
Computer Laboratory Automated Reasoning Group Lunches
SMT Solvers: New Oracles for the HOL Theorem Prover
Cambridge Society for the Application of Research (CSAR)
Laser Photonics
⚠️ Please note the return to our usual venue
Semantics Lunch (Computer Laboratory)
Completeness for algebraic theories of local state
Inference Group
研究の紹介
Machine Learning Reading Group @ CUED
Bayesian Agglomerative Clustering with Coalescents
Category Theory Seminar
Relative commutator theory and the associator of loops
Computer Laboratory Automated Reasoning Group Lunches
Abstract Threads
⚠️ th orginally sheduled talk by Thomas Tuerk will probably be given next term
Machine Learning @ CUED
KL control theory and decision making under uncertainty
Semantics Lunch (Computer Laboratory)
Structural recursion with pure local names
Machine Learning Journal Club
Oscillations, Phase-of-firing Coding and STDP: An Efficient Learning Scheme (Journal club)
Machine Learning Reading Group @ CUED
Machine Learning RCC - Bayesian Agglomerative Clustering with Coalescents, Teh, Daumé and Roy, NIPS 2007
Machine Learning Reading Group @ CUED
Filtering of Noisy Time-Series Data
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Higher dimensional extensions and the Kan property for simplicial objects
Cambridge Society for the Application of Research (CSAR)
Science and the Media
⚠️ Please note our temporary venue
Adrian Seminars in Neuroscience
“Modeling synaptic plasticity across multiple time scales”.
Semantics Lunch (Computer Laboratory)
Dependent types and program equivalence
Inference Group
Optimizing Dasher for the iPhone
Machine Learning Journal Club
Bayesian integration in sensorimotor learning
Machine Learning Reading Group @ CUED
Speed Reviewing
Machine Learning @ CUED
Information theoretic model selection in clustering
Computational Neuroscience
On the Games Neurons Play (in Visual Cortex)
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Category Theory Seminar
Remarks on punctual local connectedness
Computer Laboratory Automated Reasoning Group Lunches
A formal system for Euclidean diagrammatic reasoning
Semantics Lunch (Computer Laboratory)
Verifying malloc using RGSep and 'Explicit Stabilisation'
Inference Group
A facial gesture switch using hidden Markov models
Machine Learning Journal Club
Distilling Free-Form Natural Laws from Experimental Data
Machine Learning Reading Group @ CUED
High-dimensional variable selection via sure independence screening
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
The universal loop space operad and generalisations
Computer Laboratory Automated Reasoning Group Lunches
Owicki-Gries, Thread-Modular Model-Checking, Cartesian Abstraction
Cambridge Society for the Application of Research (CSAR)
Plagiarism in Science
⚠️ Please note our temporary venue
Semantics Lunch (Computer Laboratory)
Locality and Footprints in Separation Logic
Inference Group
Inclusive user modelling
Machine Learning Journal Club
Journal club: Measurement integration under inconsistency for robust tracking
Machine Learning Reading Group @ CUED
Ensemble Methods in Machine Learning
Machine Learning Journal Club
Machine Learning Book Club
Category Theory Seminar
The Comprehensive Factorisation and Torsors
Computer Laboratory Automated Reasoning Group Lunches
High-Assurance(?) High-Frequency Trading
Semantics Lunch (Computer Laboratory)
F^o: Lightweight Linear F
Inference Group
Learning Logical Relations
Machine Learning @ CUED
Motor Skills Learning for Robotics
Machine Learning Reading Group @ CUED
Structured prediction using energy-based models
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Semantics Lunch (Computer Laboratory)
Integration of Typed and Untyped Code in a Scripting Language
Inference Group
Recognition and Correction of Voice Web Search Queries
Machine Learning Journal Club
The Mondrian Process
Machine Learning Reading Group @ CUED
Technical Writing II
Computational Neuroscience
Reduced cortical neuron models: Experiment and theory
Machine Learning @ CUED
Coconut: Optimizing computations for machine learning
Inference Group
Of Uncertain Value -- Bayesian Quadratic Reinforcement Learning
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
⚠️ FW11 FW26 not available today
Machine Learning Journal Club
COGAIN'09 proceedings
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Inference Group
Capacity of Spiking Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Machine Learning Journal Club
Speed dependent automatic zooming for browsing large documents
Machine Learning Journal Club
Machine Learning Book Club
Inference Group
Thermal expansion of beta-eucryptite
Machine Learning Journal Club
Single Image Haze Removal using Dark Channel Prior
Machine Learning Journal Club
Bursty and Hierarchical Structure in Streams.
Machine Learning @ CUED
Convex Variational Bayesian Inference for Large Scale Generalized Linear Models
Machine Learning Journal Club
Machine Learning Book Club
Inference Group
Text entry performance of state of the art unconstrained handwriting recognition: a longitudinal user study
Machine Learning Journal Club
Correlation, Causation, Model Comparison and Interventions
Machine Learning Journal Club
Machine Learning Book Club
Computer Laboratory Automated Reasoning Group Lunches
Verified LISP implementations on ARM, x86 and PowerPC / A HOL Formalisation of Smallfoot
Machine Learning Journal Club
Machine Learning Book Club
Inference Group
Combining Collaborative Filtering with Meta Data for Scalable Recommendations
⚠️ Note unusual time
Computer Laboratory Automated Reasoning Group Lunches
Why you can't even trust HOL, and what to do about it
Machine Learning Journal Club
Machine Learning Book Club
Machine Learning Journal Club
Machine Learning Book Club
Machine Learning @ CUED
Computable Probability Theory
Inference Group
Physics Dimensions in Sage
Machine Learning Journal Club
Machine Learning Book Club
Machine Learning Journal Club
Machine Learning Book Club
Inference Group
Dashing this way and that
Machine Learning Journal Club
Machine Learning Book Club
Inference Group
Mapping facial gestures to control cursors and switches
Machine Learning Reading Group @ CUED
Hessian-based Markov-Chain Monte Carlo Algorithms
Machine Learning Journal Club
Machine Learning Book Club
Semantics Lunch (Computer Laboratory)
Higher Order Actions in Deny-Guarantee
Machine Learning Journal Club
Machine Learning Book Club
Semantics Lunch (Computer Laboratory)
Program Verification and Synthesis over Predicate Abstraction
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Inference Group
A quick way to learn a mixture of exponentially many linear models
⚠️ Note unusual time
Semantics Lunch (Computer Laboratory)
Reliable evidence: Auditability by typing
Inference Group
Short ICML Practice Talk
Machine Learning Reading Group @ CUED
Slice Sampling
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Is the homunculus `aware' of sensory adaptation?
Cambridge Society for the Application of Research (CSAR)
"Happy Danes!" A scientific analysis of the recent EU survey into income and contentment
Semantics Lunch (Computer Laboratory)
A Ubiquitous Abstract Machine
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Solving HOL problems using FOL tools
Cambridge Society for the Application of Research (CSAR)
"Just one more try will do it!" The Psychology of Gambling
⚠️ Rescheduled from February
Category Theory Seminar
Hochas and minimal toposes
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Machine Learning Journal Club
Machine Learning Book Club
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
⚠️ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Cambridge Society for the Application of Research (CSAR)
"Bringing new medicines to market" How the biopharmaceutical industry works
Computer Laboratory Automated Reasoning Group Lunches
Verifying Flash Device Drivers
Machine Learning @ CUED
Using gradient descent for optimization and learning
Machine Learning Reading Group @ CUED
Technical Writing
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning Journal Club
Optimal Bayesian Reinforcement Learning on Trees
Semantics Lunch (Computer Laboratory)
Towards parametric direcursion: structured mixed-variant recursion with parameters
Machine Learning Reading Group @ CUED
Divergence measures and message passing
Machine Learning Journal Club
Machine Learning Book Club
Computer Laboratory Automated Reasoning Group Lunches
Automatic Reverse Engineering for Formal Verification
Cambridge Society for the Application of Research (CSAR)
"Life in the Colonies" Social insects and their relevance to human behavior
Semantics Lunch (Computer Laboratory)
Scheduling meeting
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Machine Learning Reading Group @ CUED
The IBM approach to speech separation
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Free to a good home: an advertisement for the "new" HOL4 theories of probability, integration, and information. / A Heap of Problems
Machine Learning Reading Group @ CUED
Parsing Images the UCLA Way
Inference Group
Useful Computation with Coincidence Detection
Machine Learning Journal Club
Machine Learning Book Club
Computer Laboratory Automated Reasoning Group Lunches
Mechanically Proving Hoare Formulae
Cambridge Society for the Application of Research (CSAR)
"The Venetians certainly knew about building" The extraordinary and enduring properties of Lime Mortar
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
⚠️ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Machine Learning Reading Group @ CUED
Hilbert space embedding of probability distributions
Inference Group
Bayesian periodicity detection
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Inference Group
Deducing Principles in Natural Perception
Machine Learning Journal Club
Machine Learning Book Club
Semantics Lunch (Computer Laboratory)
A unifying model for computational objects
Machine Learning Journal Club
Machine Learning Book Club
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Centaur Technology's X86-Compatible Media Unit
Semantics Lunch (Computer Laboratory)
Strongly-typed term representations in Coq
Computational Neuroscience
Coding with envelopes, receptive fields and plasticity
Machine Learning @ CUED
Learning from Measurements in Exponential Families
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Semantics Lunch (Computer Laboratory)
Segment logic (work in progress)
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Computer Laboratory Automated Reasoning Group Lunches
A Verifiable, Executable SLR Parser
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Computer Laboratory Automated Reasoning Group Lunches
A Theory of Type-directed Coercion Insertion
⚠️ Note change of date
Semantics Lunch (Computer Laboratory)
Biorthogonality, step-indexing and compiler correctness
Machine Learning Reading Group @ CUED
Bregman Divergences and Machine Learning
Inference Group
Geothermal power in Australia
Inference Group
Cloud Ships for global warming reduction
Inference Group
Painless Parse Errors
Machine Learning Journal Club
Machine Learning Book Club
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Shrinkage regression for multivariate inference with missing data, with an application to portfolio balancing
Category Theory Seminar
The homological role of measuring comodules
Computer Laboratory Automated Reasoning Group Lunches
Semantics Lunch
⚠️ Canceled, semantics lunch instead
Semantics Lunch (Computer Laboratory)
Deny-guarantee reasoning
⚠️ NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.
Semantics Lunch (Computer Laboratory)
Resolving inductive definitions with binders
Machine Learning @ CUED
Quasi-linear Sensor Management
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Machine Learning Reading Group @ CUED
The Convex Concave Procedure
Machine Learning Journal Club
Machine Learning Book Club
Category Theory Seminar
Some categories arising in the semantics of state and exceptions
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of concurrent programs with heap
⚠️ Mike Hick's talk moved to the 17th of March
Cambridge Society for the Application of Research (CSAR)
"Where is it safe to go on holiday?" Antigenic Cartography; a mathematical method for mapping the spread of viruses
Semantics Lunch (Computer Laboratory)
A Framework for Specification, Prototyping, and Reasoning
Machine Learning Reading Group @ CUED
Hybrids of Generative and Discriminative Models (Cont)
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Of operator algebras and operator spaces
Optimization and Incentives Seminar
A Survey of Results for Deletion Channels and Related Synchronization Channels
⚠️ Joint With Probability Seminar Series.
Computer Laboratory Automated Reasoning Group Lunches
Formal power series in Isabelle/HOL
Computational and Biological Learning Seminar Series
Mind reading by machine learning: an ideal observer based analysis of cognitive scientific experiments
Kuwait Foundation Lectures
Bloom Filters, Related Data Structures, and their Applications
Semantics Lunch (Computer Laboratory)
Logics with Rank Operators
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Machine Learning @ CUED
Generalization in Learning
Machine Learning Reading Group @ CUED
Large Margin Training of Hidden Markov Models
Machine Learning Journal Club
Machine Learning Book Club
Category Theory Seminar
Types are weak ω-groupoids
Machine Learning @ CUED
Stochastic control as an inference problem
Computer Laboratory Automated Reasoning Group Lunches
RGSep action inference
Cambridge Society for the Application of Research (CSAR)
"Genetics and Cancer" The BRCA2 gene (discovered by Professor Stratton and his team), and its involvement in human breast and prostate cancer
Semantics Lunch (Computer Laboratory)
Semantics lunch organisational meeting
Machine Learning Reading Group @ CUED
Hybrid of Generative and Discriminative Models
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Two cotensors in one
Computer Laboratory Automated Reasoning Group Lunches
Verifying Distributed Systems: the Operational Approach
Machine Learning Reading Group @ CUED
Divergence measures and message passing - CANCELLED
⚠️ Canceled
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
⚠️ NOTE UNUSUAL DAY.
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
⚠️ This is the second part of a two-part series
Inference Group
More NIPS highlights
Machine Learning Journal Club
Machine Learning Book Reading Club
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
⚠️ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Category Theory Seminar
Fraïssé's construction from a topos-theoretic perspective
Computer Laboratory Automated Reasoning Group Lunches
Finite Model Generation, Proof-Producing SAT Solvers, and SMT
Machine Learning Journal Club
Predicting and understanding the stability of G-Quadruplexes
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Machine Learning @ CUED
Extending the Affinity Propagation Model
Machine Learning Reading Group @ CUED
Distributed Computing for Machine Learning
Inference Group
NIPS Highlights
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Two-dimensional models of Martin-Löf type theory
Computer Laboratory Automated Reasoning Group Lunches
A HOL Formalisation of Smallfoot
Machine Learning Reading Group @ CUED
A Hierarchical Bayesian Language Model based on Pitman-Yor Processes
Machine Learning @ CUED
The Block Diagonal Infinite Hidden Markov Model
Machine Learning Journal Club
Machine Learning Book Reading Club
Category Theory Seminar
Model category theory and quantum gravity
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
⚠️ Canceled because of POPL
Cambridge Society for the Application of Research (CSAR)
"We know who you are, from the way you sound" Computer voice-recognition systems and what they can do
⚠️ This lecture is joint with the Cambridge Philosophical Society
Machine Learning @ CUED
Probabilistic Graph Models for Debugging Software
Machine Learning Reading Group @ CUED
Probabalistic Inference for solving (PO)MDPs
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
HMMs for Protein Sequencing from Mass Spectrometry Data
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Category Theory Seminar
Hilbert categories and quantum logic
Machine Learning Reading Group @ CUED
NIPS Offline Conference
Inference Group
Optimizing Similarity Functions in Various Pattern Recognition Problems
⚠️ Note unusual time
Inference Group
Visual Search: Applications and Computational Modelling
Semantics Lunch (Computer Laboratory)
Secure Compilation of a Multi-Tier
Inference Group
Eye-Tracking in Virtual Reality
Machine Learning @ CUED
Mondrian Processes
Inference Group
Estimating the Pen Trajectories of Handwritten Static Scripts using Hidden Markov Models
Machine Learning Reading Group @ CUED
An Introduction to Relational Learning
Cavendish Physical Society
Power to Choose: How the energy choices people make will change their lives.
Machine Learning Journal Club
Machine Learning Book Reading Club
Category Theory Seminar
Two 2-traces
Computer Laboratory Automated Reasoning Group Lunches
An ACL2 Tutorial
Cambridge Society for the Application of Research (CSAR)
Sustainable Energy - without the hot air
Semantics Lunch (Computer Laboratory)
Title to be confirmed
Machine Learning Journal Club
Journal Club: Mixed Membership Stochastic Blockmodels
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
⚠️ NOTE THE UNUSUAL TIME
Machine Learning Reading Group @ CUED
Bayesian Reinforcement Learning in Continuous POMDPs
Inference Group
Bayesian Inductive Programming
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Lawvere Theories for Nominal Equational Logic
Machine Learning @ CUED
Hardness Ratios
Computer Laboratory Automated Reasoning Group Lunches
The Semantics of x86-CC Multiprocessor Machine Code
Semantics Lunch (Computer Laboratory)
Convergence of path-finding
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Machine Learning Reading Group @ CUED
Cluster Analysis of Heterogeneous Rank Data
Machine Learning Journal Club
Machine Learning Book Reading Club
Category Theory Seminar
Tensor products in higher category theory
Computer Laboratory Automated Reasoning Group Lunches
Techniques for Symbolic Complexity Bounds
Cambridge Society for the Application of Research (CSAR)
“What goes round comes round” Making wind turbines from renewable materials
Semantics Lunch (Computer Laboratory)
Compiling Functional Types to Relational Specifications for Low Level Imperative Code
Machine Learning Journal Club
Value Propagation: A Graphical Model for Bayesian Reinforcement Learning
Machine Learning Reading Group @ CUED
Gaussian Process Latent Variable Models
Inference Group
Thermochemistry and Nuclear power - Clean responsive electricity
Machine Learning @ CUED
Consensus finding, exponential models and infinite rankings
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Atomic toposes and countable categoricity
Computer Laboratory Automated Reasoning Group Lunches
Mechanically verified LISP interpreters
⚠️ Note unusual time
Semantics Lunch (Computer Laboratory)
Some notes on syntactic logical relations for pure System F
Machine Learning Journal Club
Spiking Boltzmann Machines
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Machine Learning Reading Group @ CUED
Point Process Intensity Estimation with GP's
Machine Learning Journal Club
Machine Learning Book Reading Club
Category Theory Seminar
Syntax graphs and substitution by pushout
Computer Laboratory Automated Reasoning Group Lunches
Proving recursive programs terminating
Cambridge Society for the Application of Research (CSAR)
"Something’s come up": The Discovery of New Drugs, (including Cardura, Norvasc and Viagra)
Semantics Lunch (Computer Laboratory)
Deny-guarantee reasoning
Machine Learning Journal Club
A Precision-Click Method for Multiple-Choice Problems
Machine Learning Reading Group @ CUED
Knows What It Knows: A Framework For Self-Aware Learning
Inference Group
Low-cost large-scale renewable energy
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Synthesis of Second-Order Equational Logic
Computer Laboratory Automated Reasoning Group Lunches
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
Machine Learning @ CUED
Foundations of Nonparametric Bayesian Methods (Part III)
Semantics Lunch (Computer Laboratory)
Focusing on Pattern Matching
Machine Learning Journal Club
The discovery of structural form
Machine Learning Reading Group @ CUED
Approximating the Kullback-Leibler Divergence Between GMMs
Wednesday Seminars - Department of Computer Science and Technology
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
Machine Learning @ CUED
Efficient Sequential Monte Carlo Inference for Kingman's Coalescent
⚠️ Note unusual time
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning @ CUED
Context in human robot interaction
Category Theory Seminar
Generalising Lawvere theories to an axiomatically defined base
Computer Laboratory Automated Reasoning Group Lunches
The Mechanical Formalization of Measure, Integration and Probability
Cambridge Society for the Application of Research (CSAR)
"Intelligence and the Living Cell": Adaptive behaviour and decision-making by single cells
Semantics Lunch (Computer Laboratory)
An Invitation to Nominal Domain Theory
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
Machine Learning @ CUED
Foundations of Nonparametric Bayesian Methods (Part II)
Machine Learning Reading Group @ CUED
To Naive Bayes or to Logistically Regress: That is the Question
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Computational Neuroscience
Computational Neuroscience Journal Club
Category Theory Seminar
Sums and tensor products of algebraic theories
Computer Laboratory Automated Reasoning Group Lunches
Applications of MetiTarski in the Verification of Control and Hybrid Systems
Cambridge Society for the Application of Research (CSAR)
The Larmor Lecture: "Seeing Nano: optics on the smallest scale"
⚠️ This lecture is jointly with the Cambridge Philosophical Society
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Machine Learning @ CUED
Foundations of Nonparametric Bayesian Methods (Part I)
Machine Learning @ CUED
Shared Segmentation of Natural Scenes using Dependent Pitman-Yor Processes
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning Reading Group @ CUED
Condition Monitoring
Probabilistic Systems, Information, and Inference Group Seminars
From calcium imaging to spikes, using sequential Monte Carlo methods
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Spoken Dialogue Management
Machine Learning @ CUED
A Bayesian approach to language learning
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning @ CUED
Learning Bigrams from Unigrams
Machine Learning Journal Club
Machine Learning Book Reading Club
Computer Laboratory Automated Reasoning Group Lunches
Formal Methods for Critical Systems
Machine Learning Reading Group @ CUED
Levy Processes
Machine Learning @ CUED
Nonparametric Bayesian Natural Language Model Domain Adaptation: A Hierarchical, Hierarchical Pitman-Yor Process Language Model
Computer Laboratory Automated Reasoning Group Lunches
Diagrammatic Reasoning in Separation Logic
Inference Group
Clustering by linear programming, convex optimization and belief propagation
⚠️ Note unusual time
Computational Neuroscience
Computational Neuroscience Journal Club
Machine Learning @ CUED
Bayesian approaches to autonomous Bayesian real-time learning
Machine Learning Reading Group @ CUED
The War on Loops
Machine Learning @ CUED
Non-negative matrix factorization with Gaussian process priors
Machine Learning @ CUED
Matrix Factorization and Relational Learning
Machine Learning Journal Club
Machine Learning Book Reading Club
Computational Neuroscience
Assessing the effects of statistical dependencies on neural population coding in the visual pathway
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning Journal Club
Machine Learning Book Reading Club
Inference Group
Artificial intelligence in combinatorial game design
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning Journal Club
Machine Learning Book Reading Club
Inference Group
From Automated Currency Validation to Protein Fold Recognition: Probabilistic Multi-class Multi-kernel Learning
Machine Learning Journal Club
Machine Learning Book Reading Club
Machine Learning Journal Club
Machine Learning Book Reading Club
Inference Group
Modeling with Bounded Partition Functions
Machine Learning @ CUED
Double Feature: Optimal Precoding for MIMO and Divergence Estimation for Continuous Distributions
Machine Learning @ CUED
Nonparametric Bayesian Learning of Switching Dynamical Systems
Machine Learning @ CUED
Message-passing inference on graphical models
Machine Learning Journal Club
Machine Learning book reading club
Microsoft Research Cambridge, general interest public talks
The Geometry of the Space of Shapes
⚠️ Hosted by Prof. Andrew Blake (Microsoft Research)
Machine Learning Journal Club
Machine Learning Book Reading Club
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Machine Learning Reading Group @ CUED
Variational Bayesian Mixtures of Gaussians
Machine Learning @ CUED
Bayesian analysis of complex biological systems
Computer Laboratory Automated Reasoning Group Lunches
ACL2-Based Verification of NoC Communication Infrastructures
Inference Group
Bayesian Models for Dependency Parsing Using Pitman-Yor Priors
Machine Learning @ CUED
Variational inference for partially observed diffusion processes
Machine Learning @ CUED
Assessing high-dimensional latent variable models
Computer Laboratory Automated Reasoning Group Lunches
The Relative Consistency of the Axiom of Choice, Mechanized Using Isabelle/ZF
Machine Learning Journal Club
Cutting Cheese
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Computer Laboratory Automated Reasoning Group Lunches
Proving Liveness Properties of Non-blocking Data Structures
Machine Learning Journal Club
Uniform sampling from various sets
Machine Learning @ CUED
Identification of dynamical subpopulations, optimal experiment design and more
Inference Group
Gaussian Process Density Sampler
Machine Learning Reading Group @ CUED
Stochastic integration and Ito's lemma
Machine Learning @ CUED
H-Infinity Clustering
Machine Learning @ CUED
Sustainable Energy - without the hot air
Computer Laboratory Automated Reasoning Group Lunches
Proof-producing decompilation and compilation
⚠️ Room changed
Machine Learning Journal Club
Journal Club: The Dynamic Hierarchical Dirichlet Process
Machine Learning Reading Group @ CUED
Continuous Time Bayesian Networks
Computer Laboratory Automated Reasoning Group Lunches
Proving conditional termination
Machine Learning Journal Club
Object-Attribute Models
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Machine Learning @ CUED
Modeling Behaviour in Economic Games using Game-Theoretic POMDPs
Category Theory Seminar
Homotopical aspects of type theory
Computer Laboratory Automated Reasoning Group Lunches
Applying Machine Learning to Heuristic Selection in an Automated Theorem Prover
Machine Learning @ CUED
Talking with Robots: A Case Study in Architectures for Cognitive Robotics
Cambridge Society for the Application of Research (CSAR)
"I was nowhere near there at the time Guv - honest"
Machine Learning Journal Club
Measuring Game Temperature With UCT-Monte Carlo
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
Machine Learning @ CUED
An Introduction to Statistical Learning Theory
⚠️ Machine Learning Tutorial Lecture
Inference Group
Noise in the central nervous system
Computer Laboratory Automated Reasoning Group Lunches
Information, Anonymity, and Proof
Machine Learning Journal Club
Tutorial on Monte Carlo methods
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Computer Laboratory Automated Reasoning Group Lunches
LCF-style Propositional Simplification With BDDs and SAT Solvers
Cambridge Society for the Application of Research (CSAR)
www.Antibodies_Direct.com
Inference Group
On Sparsity and Overcompleteness in Image Models
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Inference Group
Treed Gaussian Processes for Regression and Classification
⚠️ Note new date and time.
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Machine Learning Journal Club
Expectation Propagation Demonstration
Machine Learning @ CUED
Beam Sampling for Infinite Hidden Markov Models
Cambridge Society for the Application of Research (CSAR)
Not Mammoth Steaks Again?!
Machine Learning @ CUED
Learning quantum physics
Machine Learning Journal Club
Cheap and cheerful neural inference
Machine Learning Journal Club
On the Benefits of Confidence Visualization in Speech Recognition
Inference Group
(clashing event: Sustainable Energy and Arithmetic)
⚠️ Computer Lab seminar clashes with normal group meeting
Machine Learning @ CUED
Convergence analysis of the EM algorithm and joint minimization of free energy
Computer Laboratory Automated Reasoning Group Lunches
A Constraint-Programming Framework For Bounded Program Verification
Machine Learning @ CUED
Discriminative Methods with Structure
Machine Learning Journal Club
Expectation Propagation on the TrueSkill model
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
Machine Learning Reading Group @ CUED
'All of Nonparametric Statistics'
Machine Learning @ CUED
A Bayesian approach to network modularity: inferring the structure and scale of modular networks
Computer Laboratory Automated Reasoning Group Lunches
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II
Cambridge Society for the Application of Research (CSAR)
Nanoelectronics and Quantum Computing
Machine Learning Journal Club
Hierarchical Clustering
Machine Learning Reading Group @ CUED
The Information Bottleneck / Dynamic Kernals for speaker verification
Inference Group
How nervous systems are designed to be energy efficient
Computer Laboratory Automated Reasoning Group Lunches
Some "Real World" Problems in the Analog and Mixed Signal Domains
Machine Learning Journal Club
Image superresolution
Machine Learning @ CUED
Model selection and model order adaptation for clustering
Machine Learning @ CUED
Expectation Propagation, Experimental Design for the Sparse Linear Model
Computer Laboratory Automated Reasoning Group Lunches
An Embedding of Abstract Separation Logic in HOL
Cambridge Society for the Application of Research (CSAR)
Rebuilding the Colossus of the Modern World
Machine Learning @ CUED
Biomedical Image Search
Machine Learning Journal Club
Infera - a Bayesian team-ranking program from 1996
Machine Learning Reading Group @ CUED
Probabilistic Matrix Factorization/Deep Belief Nets
Inference Group
Bayesian learning of visual chunks by human observers
Computer Laboratory Automated Reasoning Group Lunches
A rigorous approach to networking: TCP, from implementation to protocol to service
Machine Learning Reading Group @ CUED
Title to be confirmed
Machine Learning @ CUED
Stable distribution and data sketching
Category Theory Seminar
What I don't know about the free topos
Computer Laboratory Automated Reasoning Group Lunches
Automatic Proof for Theorems On Transcendental Functions
Cambridge Society for the Application of Research (CSAR)
The Journey of the Future
Machine Learning Journal Club
Principled Hybrids of Generative and Discriminative Models
Machine Learning Reading Group @ CUED
Spectral methods
Inference Group
Non-Rigid Photometric Stereo with Colored Lights
Machine Learning @ CUED
Reinforcement Learning
⚠️ Machine Learning Tutorial Lecture (Note unusual day)
Machine Learning Journal Club
Sparse Feature Learning for Deep Belief Networks
Machine Learning Reading Group @ CUED
Active Learning
Machine Learning @ CUED
Modeling Science: Topic models of Scientific Journals and Other Large Document Collections
Computer Laboratory Automated Reasoning Group Lunches
MaLARea: a Metasystem for Automated Reasoning in Large Theories
Machine Learning @ CUED
Sparse Gaussian Process in Disease Mapping
Machine Learning Journal Club
Semantic Hashing, Deep Autoencoders and Universal Approximators
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Machine Learning Reading Group @ CUED
Bayesian Adaptive Inference and Adaptive Training
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
⚠️ Note the unusual day.
Inference Group
NIPS presentations
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Automated Reasoning Group Lunches
Automatic proof of SPARK verification conditions
Computer Laboratory Automated Reasoning Group Lunches
n-bit words in HOL
Cambridge Society for the Application of Research (CSAR)
Water that does not wet hands
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Inference Group
The development of a motor network in Drosophila, the role of precocious neural activity in the emergence of coordination
Computer Laboratory Automated Reasoning Group Lunches
Proving Correctness of Secret Sharing Protocols using the Inductive Method
Machine Learning @ CUED
Gene Regulatory Network Inference: A Kernel-Based Learning Approach
Machine Learning Journal Club
Reinforcement Learning in continuous state-spaces
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Machine Learning Reading Group @ CUED
Hierarchical Dirichlet Processes
Machine Learning @ CUED
Clinical data based optimal STI strategies for HIV: a reinforcement learning approach
Computer Laboratory Automated Reasoning Group Lunches
From Program Logics to Program Analyses And Back
Cambridge Society for the Application of Research (CSAR)
Lives and Letters (the Robert Hooke Portfolio)
Inference Group
Life beyond the Physics department
Machine Learning @ CUED
Machine Learning Applications / Challenges in Natural Language Parsing
⚠️ Machine Learning Tutorial Lecture
Machine Learning Reading Group @ CUED
Bayesian Reinforcement Learning
Computer Laboratory Automated Reasoning Group Lunches
Reasoning about Linear Systems
Machine Learning Journal Club
Variational methods
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Machine Learning Reading Group @ CUED
Transductive and Semi-Supervised Learning
Machine Learning @ CUED
An overview of covariance operators in Hilbert space, and their applications
Machine Learning @ CUED
Optimal Control and Reinforcement Learning with Gaussian Process Models
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Computer Laboratory Automated Reasoning Group Lunches
Synthesis from Temporal Specifications
Cambridge Society for the Application of Research (CSAR)
Ancient Vaults
Machine Learning Journal Club
Loopy Belief Propagation
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Machine Learning Reading Group @ CUED
Variational inference and exponential families
Inference Group
The last thing that we should talk about
Computer Laboratory Automated Reasoning Group Lunches
A tool for verification: A decompiler from ARM to HOL
Machine Learning Journal Club
Basics of Belief Propagation
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Machine Learning Reading Group @ CUED
Sparse Bayesian Linear Models
Inference Group
Bliss-Dasher -- Efficient semantic writing with any muscle
Computer Laboratory Automated Reasoning Group Lunches
A modular formalisation of finite group theory
Cambridge Society for the Application of Research (CSAR)
The invention of the High Power Microscope
⚠️ Celebrating Antony van Leeuwenhoek's 375th Birthday
Machine Learning @ CUED
Hidden Common Cause Relations in Relational Learning
Computer Laboratory Automated Reasoning Group Lunches
Executable Biology: Towards Computer Programs that Mimic Life
Machine Learning Journal Club
Fast Visual Tracking By Temporal Consensus
Machine Learning Reading Group @ CUED
Autonomous Agents under Operational Closure
Computer Laboratory Automated Reasoning Group Lunches
Introductiory Meeting
Machine Learning Journal Club
Sensible Priors for Sparse Bayesian Learning
Machine Learning @ CUED
Optimal Spreading Sequences for Chaos-Based Communication Systems; Using CSK as a Case Study
Computer Laboratory Automated Reasoning Group Lunches
Verifying an Operating System Kernel
⚠️ Room changed
Machine Learning Journal Club
Hierarchical Bayesian inference in networks of spiking neurons
Machine Learning @ CUED
Graph Kernels for Data Mining
Computer Laboratory Automated Reasoning Group Lunches
Boosting Verification by Automatic Tuning of Decision Procedures
Machine Learning Journal Club
Predictive Interaction using the Delphian Desktop
Machine Learning @ CUED
Geometric Algorithms for Linear Independent Component Analysis
Machine Learning @ CUED
Covariate Shift Adaptation: Supervised Learning When Training and Test Inputs Have Different Distributions
Inference Group
Five energy plans for Britain
Microsoft Research Machine Learning and Perception Seminars
Physics-Based Human Motion Models for Animation and Tracking
Machine Learning Journal Club
Combining Causal and Similarity-based reasoning
Machine Learning Journal Club
Efficient Bayesian Task-Level Transfer Learning
Inference Group
What is a Fab Lab?
Machine Learning Journal Club
Kingman's coalescent, non-parametric Bayesian agglomerative clustering
Machine Learning Journal Club
Contextual dependencies in unsupervised word segmentation
Microsoft Research Machine Learning and Perception Seminars
Bayesian network structure learning from uncertain interventions
Computer Laboratory Automated Reasoning Group Lunches
Cryptanalysis with SAT - a propositional programming environment
⚠️ Room changed
Computer Laboratory Automated Reasoning Group Lunches
One-pass Tableaux for Computation Tree Logic
⚠️ Room changed
Machine Learning Journal Club
Pre-Gatsby Workshop
Machine Learning Journal Club
Knowledge Compilation
Machine Learning Journal Club
Clustering by Passing Messages Between Data Points
Machine Learning Journal Club
Title Language Model
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Machine Learning Journal Club
Bring your Papers!
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Machine Learning Reading Group @ CUED
Kingman's coalescent, non-parametric Bayesian agglomerative clustering, and ICML 2007
Computer Laboratory Automated Reasoning Group Lunches
Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic
Machine Learning Reading Group @ CUED
Sensible priors from finite linear models
⚠️ Note unusual time
Microsoft Research Machine Learning and Perception Seminars
Generative models for audio and music processing
Computer Laboratory Automated Reasoning Group Lunches
A Deep Embedding of a Decidable Fragment of Separation Logic in HOL
Machine Learning Reading Group @ CUED
Statistical Models for Partial Membership
Computer Laboratory Automated Reasoning Group Lunches
The ARM Cortex-M1 Architecture in Coq
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Machine Learning Reading Group @ CUED
Infinite ICA and Information Retrieval
Inference Group
Language Modelling Discussion
Computer Laboratory Automated Reasoning Group Lunches
From QED to X-Logic, following the lead of Leibniz
Cambridge Society for the Application of Research (CSAR)
Nuclear Fusion as a Global Energy Source? Work at UKAEA Culham Laboratory and elsewhere to harness fusion energy
Cambridge Society for the Application of Research (CSAR)
Take the Eurostar to Stratford...
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Inference Group
Open Vocabulary Confusion Networks for Speech Recognition
Microsoft Research Machine Learning and Perception Seminars
identity variables for face recognition: from distance based methods to probabilistic inference
Computer Laboratory Automated Reasoning Group Lunches
Connecting Partial and Total Correctness for Probabilistic Programs in HOL4
Cambridge Society for the Application of Research (CSAR)
"Actually you were' and I can prove it"
Machine Learning Reading Group @ CUED
Overlapping Clusters and 4th-year Projects
Inference Group
An Error-Correcting Keyboard
Computer Laboratory Automated Reasoning Group Lunches
A Compressing Translation from Propositional Resolution to Natural Deduction
Cambridge Society for the Application of Research (CSAR)
www.Antibodies_Direct.com The story of Abcam; selling antibodies on-line
Inference Group
Probabilities, Complexities and Game Semantics
Machine Learning Reading Group @ CUED
What can Gaussian Processes do for Reinforcement Learning?
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
Machine Learning Reading Group @ CUED
System Conditioning vs Explicit Bayes Inference, and Collaborative LDA
Inference Group
Learning and Stability in Random Sigma-Pi Networks
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning for Storable Locks and Threads
Cambridge Society for the Application of Research (CSAR)
Mending Broken Hearts: replacing damaged cardiac muscle; the MAGIC programme
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Machine Learning Reading Group @ CUED
Affinity Propagation and Hierarchical Beta Processes
⚠️ Room changed, Note unusual time
Inference Group
Shape writing: fluid text entry on mobile devices
Machine Learning Reading Group @ CUED
Optimal Learning
Inference Group
Bayesian nonparametric latent feature models
Cambridge Society for the Application of Research (CSAR)
DNA Repair Mechanisms in the Central Nervous System
Machine Learning Reading Group @ CUED
Gaussian Approximations for Binary Gaussian Process Classification, and Hidden Topic Markov Models
Inference Group
Context Tree Weighting
Machine Learning Reading Group @ CUED
Function Approximation in MDPs
Machine Learning Reading Group @ CUED
Change Point Problems in Linear Dynamical Systems
⚠️ Postponed (originally April 5)
Microsoft Research Machine Learning and Perception Seminars
A Bayesian model that links microarray mRNA measurements to mass spectrometry protein measurements
Probabilistic Systems, Information, and Inference Group Seminars
Analysis of Channel Coding for Redundant Sources
Machine Learning Reading Group @ CUED
GP-LVMs
Inference Group
Inductive Logic Programming and Kernel methods
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
Inference Group
Logistic regression with a Laplacian prior on the singular values: convex duality and application to EEG classification.
⚠️ Note unusual time and location
Machine Learning Reading Group @ CUED
Topics in Convex Optimisation
Inference Group
Monte Carlo Approaches to Game Playing
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Microsoft Research Machine Learning and Perception Seminars
Motion Tracking
Machine Learning @ CUED
Logistic Regression with a Laplacian prior on the Eigenvalues: Convex duality and application to EEG classification
⚠️ Note different room and time
Microsoft Research Machine Learning and Perception Seminars
A complete set of rotationally and translationally invariant features based on a generalization of the bispectrum to non-commutative groups
Inference Group
Gaussian Process Product Models
Microsoft Research Machine Learning and Perception Seminars
Reverse Engineering the Human Visual System with Networks of Spiking Neurons
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Machine Learning Reading Group @ CUED
An Introduction to Generalized Ensemble MCMC for Machine Learning
Inference Group
Metropolis-Coupled MCMC for Nested Sampling
Cambridge Society for the Application of Research (CSAR)
The Eternal Triangle: Science, Propaganda and Disease Control; the facts behind the 2001 Foot and Mouth Epidemic
Machine Learning Journal Club
Journal Club: "Analysis of Contour Motions"
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Machine Learning @ CUED
Dirichlet Processes and Hierarchical Dirichlet Processes
⚠️ Advanced Machine Learning Tutorial Lecture
Machine Learning Reading Group @ CUED
Some NIPS papers
Inference Group
Some interesting data: Cryptic DNA sequence periodicities are ubiquitous, organism specific and distinguish introns from exons.
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Machine Learning @ CUED
An Introduction to Non-parametric Bayesian Methods
⚠️ Room changed this week!
Machine Learning Reading Group @ CUED
Universal Artificial Intelligence, and Probability Monads
Cambridge Society for the Application of Research (CSAR)
The Calving of Larson-B and other phenomena: Climate Change in the Antarctic
Machine Learning Reading Group @ CUED
Neural Networks
Inference Group
NIPS presentations
Machine Learning Journal Club
Journal Club: "Bayesian Policy Gradient Algorithms"
Microsoft Research Machine Learning and Perception Seminars
Margin- and Evidence-Based Approaches for EEG Signal Classification
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Machine Learning Reading Group @ CUED
Latent Dirichlet Allocation and Dirichlet Diffusion Trees
Cambridge Society for the Application of Research (CSAR)
Avian 'Flu - The origin of SARS and the impact of avian influenza H5N1 upon mammals and wild birds
Machine Learning Journal Club
Gaussian Process Belief Propagation
Machine Learning @ CUED
Robot Localisation and Mapping
⚠️ Advanced Machine Learning Tutorial Lecture
Machine Learning Reading Group @ CUED
Non-parametric mixture models
Machine Learning Journal Club
Loss Functions for Discriminative Training of Energy-Based Models
Inference Group
Modeling text with Dirichlet compound multinomial distributions
Cambridge Society for the Application of Research (CSAR)
A Stitch in Time: The molecular Basis of DNA repair
⚠️ joint meeting with Cambridge Philosophical Society
Machine Learning Journal Club
Estimation of non-normalized statistical models using score matching
Machine Learning Reading Group @ CUED
Collaborative Filtering
Inference Group
Learning from positive and unlabeled data
Inference Group
HMMs for controlling dynamical systems
Microsoft Research Machine Learning and Perception Seminars
Computer Go Research in the University of Alberta GAMES Group
Inference Group
Robust Gaussian Process Regression and Applications
Microsoft Research Machine Learning and Perception Seminars
Where’s my rocket? – Stochastic simulations of rocket flight paths
Machine Learning Journal Club
Journal Club: "Reducing the Dimensionality of Data with Neural Networks"
Inference Group
Transcription regulation: from parts list to genomic network.
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
⚠️ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Machine Learning Reading Group @ CUED
On Choosing Priors
Microsoft Research Machine Learning and Perception Seminars
Learning Conditional Random Fields with Hierarchical Features: Application to the Game of Go
Microsoft Research Machine Learning and Perception Seminars
Constraint Programming Techniques for Virtual Camera Control
Machine Learning Journal Club
Journal Club: "Clustering appearance and shape by learning jigsaws"
Machine Learning Reading Group @ CUED
Partially Observable Markov Decision Processes (POMDPs)
Inference Group
Bayesian estimation of neuronal connectivity from MEA recordings
Cambridge Society for the Application of Research (CSAR)
Children of Eve: Exon Sequencing; identifying variation in the human genome
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
Machine Learning Journal Club
Journal Club "Searching for memories, Sudoku, implicit check-bits, and the iterative use of not-always-correct rapid neural computation"
Machine Learning Reading Group @ CUED
Nonlinear Dimensionality Reduction
Inference Group
Vector Gaussian Processes
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Machine Learning Journal Club
Journal Club: "Document language models, query models, and risk minimization for information retrieval"
Machine Learning Reading Group @ CUED
Machine Learning Reading Group in Engineering Department
Inference Group
Do Scanning Electron Microscopes have a point-spread function?
Microsoft Research Machine Learning and Perception Seminars
Learning microRNA regulatory networks from genomic sequence and expression data
Cambridge Society for the Application of Research (CSAR)
Mother Nature Knows Best: Making Heat-Stable Vaccines
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Machine Learning Journal Club
Journal Club: A Neural Probabilistic Language Model
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Machine Learning @ CUED
Gaussian Processes for Machine Learning
⚠️ Advanced Machine Learning Tutorial Lecture
Inference Group
Dynamic imaging of blood flow in the conjunctival and episcleral microcirculations of the human eye: a new chapter in diagnostic imaging?
Cambridge Society for the Application of Research (CSAR)
Soft Small and Interesting - Soft Matter: towards Soft Nanotechnology
Machine Learning Journal Club
Expectation Consistent Approximate Inference
Inference Group
Teaching Statistics - A Bag of Tricks
Cambridge Society for the Application of Research (CSAR)
Sentient Computing- Larmor Lecture
⚠️ Note unusual time and venue
Inference Group
Leaf Selection for Maximising Diversity in a Tree
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Cambridge Society for the Application of Research (CSAR)
Colision Course - How Science is abused by the Media
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Machine Learning @ CUED
Mixture Models and the EM Algorithm
⚠️ Advanced Machine Learning Tutorial Lecture
Inference Group
Optimised Digital Fountain Codes for Medium Blocklengths
Inference Group
An interesting preprint
Inference Group
MCMC for doubly-intractable distributions
Machine Learning Journal Club
A Hierarchical Bayesian Language Model based on Pitman-Yor Processes
Inference Group
How to veto anonymously under surveillance?
Machine Learning Journal Club
Journal Club: "A Bayesian Analysis of Projective Incidence"
Inference Group
Naive OCR?
Inference Group
Cognitive Cars
Inference Group
neural phase codes
Inference Group
Graphical Combinator Programming
Inference Group
The Manufacture of Bioethanol - A brief Introduction
Inference Group
Divergence measures and latent variable models
Inference Group
Implicit learning in Music
Inference Group
On the Analysis of Ellipsoid Approximation of Nested Sampling
Inference Group
Gaussian Process models for solving ODEs
Computer Modelling in Biology
Ligand detection and discrimination by spatial relocalisation: the complexities of T cell activation
Inference Group
Music Access for the Disabled
Inference Group
Blissymbolics - The Emergence of a Written Language
Inference Group
In search of the brain's wiring
Inference Group
A Bayesian Unfolding Method Applied to the PAMELA Experiment
Inference Group
Blissymbolics
Machine Learning Journal Club
Journal Club: Dirty paper coding and applications
Inference Group
Finite element modelling of growing microtubules
Cambridge Society for the Application of Research (CSAR)
Looking inside a star (and other stories) - Developments in Radio Astronomy made here in Cambridge
Machine Learning Journal Club
Bayesian Sets
Machine Learning Journal Club
SUPERFAST SOLUTION OF REAL POSITIVE DEFINITE TOEPLITZ SYSTEMS
Inference Group
Title to be confirmed
Cambridge Society for the Application of Research (CSAR)
An Alternative to the Infernal Combustion engine.? - Modern Fuel Cells
Machine Learning Journal Club
Unsupervised Learning from Users' Error Correction in Speech Dictation
Machine Learning Journal Club
Hierarchical Bayesian inference in the visual cortex
Inference Group
How to Parameterize a Positive-definite Matrix
Inference Group
To be confirmed
Cambridge Society for the Application of Research (CSAR)
Obesity and Modern Humans - Diet, lifestyle or simply in our genes?
Inference Group
The Capacity of the Deletion Channel
Machine Learning Journal Club
"Weak pairwise correlations imply strongly correlated network states in a neural population"
Machine Learning Journal Club
Machine Learning Journal Club: Gaussian Processes for Machine Learning Chapter VIII
Cambridge Society for the Application of Research (CSAR)
Defence research: Changing world, changing priorities (R&D in the MoD)
Inference Group
Bayesian approximation for physical inverse problems
Inference Group
Hierarchical Passage Retrieval
Machine Learning Journal Club
Machine Learning Journal Club: "Gaussian Processes for Machine Learning"
Inference Group
Bayesian Online Changepoint Detection
Machine Learning Journal Club
Machine Learning Journal Club: "Gaussian Processes for Machine Learning"
Inference Group
Epitomic representation of natural signals
Machine Learning Journal Club
Machine Learning Journal Club: "Gaussian Processes for Machine Learning"
Inference Group
Aggregation of Particles in Stochastic Flows
Inference Group
Student Project Presentations: "Colour Memorisation", "One button communication" and "Optimising digital fountain codes"
Machine Learning @ CUED
Probabilistic Dimensional Reduction with the Gaussian Process Latent Variable Model
Cambridge Society for the Application of Research (CSAR)
Antibiotics are no substitute for good hygiene - Methicillin-resistant Staphylococcus aureus; the importance of hospital cleanliness and practices
Inference Group
Speech Recognition During Dictation Corrections
Machine Learning Journal Club
Machine Learning Journal Club: "Dependent Gaussian Processes"
Inference Group
Topic Modeling: Beyond Bag-of-Words
Cambridge Society for the Application of Research (CSAR)
Antibiotics, 75 years on - New antibiotics, using genes cloned from Streptomyces species
Inference Group
Uncertainty Logic
Machine Learning Journal Club
Machine Learning Journal Club: "Assessing Approximations for Gaussian Process Classification"
Inference Group
Experimental Annotation of the Human Genome
Machine Learning Journal Club
Machine Learning Journal Club: "Sparse Gaussian Processes using Pseudo-inputs"
Inference Group
Virtual-move Parallel Tempering
Cambridge Society for the Application of Research (CSAR)
Just print me another computer, will you? - The world of plastic electronics
Machine Learning Journal Club
reading-group: Divergence measures and message passing
Inference Group
Latency-optimal fault-tolerant replication
Machine Learning Journal Club
reading-group: Expectation Propagation
Inference Group
Dynamical Networks for Agent Systems
Cambridge Society for the Application of Research (CSAR)
Hush, here comes an aircraft! - The Silent Aircraft Initiative
Inference Group
Recognition and prediction of biological motion
Machine Learning Journal Club
reading-group: Interpolating Between Types and Tokens by Estimating Power-Law Generators
Inference Group
Eye Tracking with Consumer Hardware
Cambridge Society for the Application of Research (CSAR)
Receiving you, Loud and Clear - Digital radio, and its future in the UK
Machine Learning Journal Club
reading-group: TD-Gammon
Inference Group
Cheap and cheerful inference machines for tracking
Machine Learning Journal Club
Reading Group: "Learning to Predict by the Methods of Temporal Differences"
Inference Group
Efficient Quantum Computation with linear optics
Cambridge Society for the Application of Research (CSAR)
Faster than the speed of sound - The M52 -the worlds first supersonic aircraft
Inference Group
Locked-in syndrome
Inference Group
Monte Carlo is Bayesian
Cambridge Society for the Application of Research (CSAR)
Eve, Uncovered - Sequencing the human X-chromosome
Inference Group
Dasher for the blind, and some visual illusions
Cambridge Society for the Application of Research (CSAR)
The eyes: gateway to the soul? - Iris Recognition Technology
Cambridge Society for the Application of Research (CSAR)
The Larmor Lecture: Epidemiology - where are the limits?
Inference Group
A Cross-Entropy Based Method to Analyse Iterative Decoding
Inference Group
Bayesian Pattern Ranking for Move Prediction in the Game of Go
Inference Group
Adaptive Monte Carlo Methods for Simulation and Optimization
Inference Group
Language relationships, phonology, and Greek
Inference Group
Efficient communication with buttons: an update on Button Dasher
Inference Group
Progress with #Dasher, a Continuous Gesture IDE
Inference Group
Why do fruitflies like bananas?
Machine Learning Journal Club
multicanonical sampling
Inference Group
An introduction to Brain-Computer Interfaces
Inference Group
To be confirmed
Inference Group
LOCUS: Learning Object Classes with Unsupervised Segmentation
Inference Group
Efficient computer interfaces using continuous gestures, language models, and speech; Probabilistic methods for interpreting electronic ink
Inference Group
A Fast Learning Algorithm for Deep Belief Nets
Inference Group
Epitomes And Epitexts
Inference Group
Monte Carlo experiments in computer Go
Inference Group
Language Modelling In Dasher: A Tutorial
Inference Group
Hierarchical Dirichlet Process Models for Time Series Data
Machine Learning Journal Club
Reading group: Bayesian inference via search
Inference Group
Japanese Language Model
Inference Group
A Tale of T9
Inference Group
Information and Intelligence
Inference Group
Neighbourhood Components Analysis
Inference Group
Nested Sampling for Motif Discovery
Inference Group
Joint Gaussian Process-Density Mixtures
Inference Group
Computer Othello
Inference Group
Variational Gibbs Sampling
Inference Group
Astronomical Image Recognition
Inference Group
Bloom Filters and Tries (a comparison)
Inference Group
The predictive power of contractive neural-network spaces
Inference Group
Bayesian Learning for Visual Inference
Inference Group
Approximating The Hierarchical Dirichelet Distribution
Please see above for contact details for this list.