ok259's list

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

Mechanisms Against Climate Change

User Carl Edward Rasmussen, University of Cambridge.

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

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

Tracking Compound Heat and Humidity Impacts

User Chloe Brimicombe, Wegener Center, University of Graz, Austria.

Friday 05 April 2024, 13:00-14:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Legal Concepts in Cybersecurity and Privacy for Digital & Smart Environments

User Raj Sachdev, Cornell University & Plymouth State.

Tuesday 02 April 2024, 14:00-15:00

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

Towards Global, General-Purpose Geographic Location Encoders

User Konstantin Klemmer, Microsoft Research.

Thursday 28 March 2024, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Compiler and Architectural Support for Whole-System Persistence

User Changhee Jung, Purdue University.

House SS03, Computer Laboratory, William Gates Building.

Thursday 28 March 2024, 11:00-12:00

Tech law vs tech design: why can't we be friends?

User Dr Tristan Henderson, University of St Andrews.

House FW26.

Friday 22 March 2024, 15:00-16:00

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

The Future of 24/7 Clean Energy driven by AI

User Dr. Shivkumar Kalyanaraman, CTO, Energy Industry, Asia, Microsoft. // Dr. Srinivasan Iyengar, Senior Program Manager, Asia, Microsoft. .

Friday 22 March 2024, 13:00-14:00

lc985's list

Democratizing Data Science by Leveraging Structure

User Amir Shaikhha.

House Room SS03, Computer Laboratory, William Gates Building.

Friday 22 March 2024, 11:00-12:00

House Lightfoot Room, Divinity School, St John's College, Cambridge, CB2 1TP.

What has genomics ever done for us? A 20-year history of the human genome

User Klaudia Walter, Sanger Institute.

Thursday 21 March 2024, 19:15-21:30

A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications

User Dr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

Thursday 21 March 2024, 15:00-16:00

Psychophysical tests of human visual encoding models

User Prof. Thomas S. A. Wallis, Technical University of Darmstadt.

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

Towards a Unified Model of Contrast Sensitivity

User Maliha Ashraf, University of Cambridge.

Tuesday 19 March 2024, 15:00-16:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Data Poisoning and Fakes in Mobile, Web and Cyber Physical Systems

User Soteris Demetriou, Imperial College London.

Tuesday 19 March 2024, 14:00-15:00

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

Renewables as Reserve Providers; Turning a Challenge into an Opportunity

User Yashar Ghiassi-Farrokhfal, Rotterdam School of Management, Erasmus University.

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

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

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

User Mevan Babakar, Google .

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

Formalisation of mathematics with interactive theorem provers

Lawvere Theories in Lean

Online

User Professor Adam Topaz (University of Alberta).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 14 March 2024, 17:00-18:00

Enabling Efficient and Scalable DRAM Read Disturbance Mitigation via New Experimental Insights into Modern DRAM Chips / Methodologies, Workloads, and Tools for Processing-in-Memory: Enabling the Adoption of Data-Centric Architectures.

User Giray Yağlıkçı / Geraldo Francisco.

House FW26.

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

Product-mixing in compact Lie groups

User David Ellis (Bristol).

Thursday 14 March 2024, 14:30-15:30

Perceptual studies with holographic displays

User Dongyeon Kim, University of Cambridge.

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

Perceptual studies with holographic displays

User Dongyeon Kim, University of Cambridge.

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

Statistics Clinic Lent 2024 V

User MR5 at the CMS.

Wednesday 13 March 2024, 16:30-18:00

Representations of GL_2(F) and Equivariant Vector Bundles with Connection on the Drinfeld Upper Half-Plane.

User James Taylor, University of Oxford.

Wednesday 13 March 2024, 16:30-17:30

Lagrangian cobordisms and K-theory of bielliptic surfaces

User Álvaro Muñiz Brea (Edinburgh).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 13 March 2024, 16:00-17:00

Private Data Analysis over Large Populations

User Professor Graham Cormode - Research Scientist, Facebook and professor in the Department of Computer Science, University of Warwick.

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

Wednesday 13 March 2024, 15:05-15:55

Feature learning and normalization layers

User Dr Matus Telgarsky, NYU.

Wednesday 13 March 2024, 14:00-15:00

Isogeny coincidences between families of elliptic curves

User Martin Orr (Manchester).

Tuesday 12 March 2024, 14:30-15:30

Concentration and Free Probability

User Afonso Bandeira (ETH Zürich).

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

Mysticeti: Low-Latency DAG Consensus with Fast Commit Path

User Alberto Sonnino, Mysten Labs.

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

Matrix Concentration and Free Probability

User Afonso Bandeira (ETH Zürich).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

TacticAI: an AI assistant for football tactics

User Zhe Wang (DeepMind).

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

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

On the hydrostatic limit of the Euler-Boussinesq equations

User Lucas Ertzbischoff, Imperial College London.

Monday 11 March 2024, 14:00-15:00

Choice Principles in Observational Type Theory

User Loïc Pujet (University of Stockholm).

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

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

Analyzing the Impacts of Extreme Heat on Buildings

User Livia Capol, ETH Zurich.

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

Computer Laboratory Computer Architecture Group Meeting

Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration

User Grace Dinh, Unversity of Berkley.

House SS03, Computer Laboratory, William Gates Building.

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

Understanding Comparative Questions and Retrieving Argumentative Answers

User Alexander Bondarenko, University of Leipzig .

Computer Laboratory Computer Architecture Group Meeting

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

Representing Data Collections for Analysis and Transformation

User Tommy McMichen, Northwestern University.

House SS03, Computer Laboratory, William Gates Building.

Friday 08 March 2024, 10:45-11:45

Formalisation of mathematics with interactive theorem provers

Formalising (part of) the Diagonal Ramsey Paper

User Professor Lawrence Paulson (University of Cambridge).

Thursday 07 March 2024, 17:00-18:00

Overdamped quasinormal modes for Schwarzschild black holes

User Maciej Zworski (Berkeley).

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

The Wiener-Pitt phenomenon

User Tom Sanders (Oxford) .

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

Elementary abelian subgroups: From algebraic groups to finite groups

User Alastair Litterick, University of Essex.

Wednesday 06 March 2024, 16:30-17:30

Distance in the pants graph and applications to hyperbolic geometry

User Mehdi Yazdi (KCL).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 06 March 2024, 16:00-17:00

Distribution Shifts in Human-Centered Representation Learning

User Dr Ali Etemad - Associate Professor at Queen’s University, Canada. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 06 March 2024, 15:05-15:55

TBA

User Giada Grossi (LAGA, Paris 13).

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

Beyond Listening: The Evolution of Earables in Health and Wellbeing Monitoring

please note change of place and time from usual. Zoom: https://cam-ac-uk.zoom.us/j/88316529133?pwd=ZmQzWktmU3Y4QmRuVmlQa2ZyOUJkZz09

User Alessandro Montanari, Nokia Bell Labs.

House LT2 and online.

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

How to Catch an AI Liar: Lie Detection in Black-Box LLMs by Asking Unrelated Questions

User Lorenzo Pacchiardi, University of Cambridge.

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

Quantitative sub-ballisticity of self-avoiding walk on the hexagonal lattice

User Christoforos Panagiotis (University of Bath).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

POSTPONED

POSTPONED. Sorry for inconvenience.

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

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

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

Barycentric subspace analysis for sets of unlabeled graphs

User Anna Calissano (Imperial College).

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

Epimorphisms and Acyclic Types in Univalent Mathematics

User Tom de Jong, University of Nottingham.

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

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

Challenges in Computing Climate Sensitivity and Climate Solutions: Examples from Glaciology and CO2 Storage

User Jerome Neufeld, University of Camridge.

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

LLMs: Everything’s Different and Nothing Has Changed

User Emma Strubell, CMU.

Formalisation of mathematics with interactive theorem provers

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

The Mandelbrot set is connected (and other Lean explorations)

User Dr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).

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

Using outbreak games to learn about real outbreaks

Zoom link: https://cam-ac-uk.zoom.us/j/82748387727?pwd=QThrbVVkL2tJZnZOM2dRUUFnNVdqQT09 Meeting ID: 827 4838 7727 Passcode: 339671

User Andrés Colubri, University of Massachusetts.

Thursday 29 February 2024, 15:00-16:00

Waring's problem with restricted digits.

User Ben Green (Oxford).

Thursday 29 February 2024, 14:30-15:30

House Webinar & FW11, Computer Laboratory, William Gates Building..

Characterizing Machine Unlearning through Definitions and Implementations

User Nicolas Papernot, University of Toronto and Vector Institute.

Thursday 29 February 2024, 14:00-15:00

Enhancing Video Generation with Explicit 3D Guidance for Accurate Motion Simulation

User fy277@cam.ac.uk.

Thursday 29 February 2024, 14:00-15:00

Statistics Clinic Lent 2024 IV

User MR5 at the CMS.

Wednesday 28 February 2024, 16:30-18:00

Endotrivial modules for finite groups of Lie type

User Nadia Mazza, Lancaster University.

Wednesday 28 February 2024, 16:30-17:30

Simple homotopy types of even dimensional manifolds

User John Nicholson (Glasgow).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 28 February 2024, 16:00-17:00

A Data-Free, Universal Prior Distribution for Syntactic Structures

User Dr Fermin Moscoso del Prado Martin - Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 28 February 2024, 15:05-15:55

Birational Maps of Severi-Brauer Surfaces, with Applications to Cremona Groups of Higher Rank

User Julia Schneider, Universität Zürich.

Wednesday 28 February 2024, 14:15-15:15

Quantum Machine Learning: An Information-Theoretic Perspective

User Prof. Osvaldo Simeone, King's College London.

Wednesday 28 February 2024, 14:00-15:15

Vocal biomarkers for minimally disruptive clinical research: how to get there?

Zoom: https://cam-ac-uk.zoom.us/j/83851848607?pwd=WDJmQmdxODhtcFBzdW1YS2sxVTE4QT09

User Guy Fagherazzi, Luxembourg Institute of Health.

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

Local-global compatibility at l=p for torsion automorphic Galois representations

User Bence Hevesi (King's College London).

Tuesday 27 February 2024, 14:30-15:30

Two-periodic weighted dominos and the sine-Gordon field at the free fermion point

User Scott Mason (Cambridge).

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

House MR5, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Genetics-based drug discovery: Some stories from the frontline

User Matt Tudball (5 Prime Sciences).

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

Computer Laboratory Computer Architecture Group Meeting

OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis

User Yuxin Guo, University of Cambridge.

House SC04, Computer Laboratory, William Gates Building.

Tuesday 27 February 2024, 12:00-13:00

The Morawetz problem for supersonic flow with cavitation

User Simon Schulz (Pisa).

Algorithms and Complexity Seminar

Monday 26 February 2024, 15:00-16:00

Space-Bounded Quantum State Testing via Space-Efficient Quantum Singular Value Transformation

User Yupan Liu (Nagoya University).

House Computer Laboratory, William Gates Building, Room SW00.

Monday 26 February 2024, 14:00-15:00

Sharp Hadamard well-posedness for the incompressible free boundary Euler equations

User Mitchell A. Taylor (ETH Zürich).

Monday 26 February 2024, 14:00-15:00

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

AI-Refined Radiative Transfer Modelling to Retrieve Biophysical Variables in Forests

User Yihang She, University of Cambridge.

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

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

Integrating Combinatorial Solvers and Neural Models

User Pasquale Minervi, University of Edinburgh.

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

Formalisation of mathematics with interactive theorem provers

Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry

User Artie Khovanov (University of Cambridge), Michael Nedzelsky (Diffblue Ltd) and Dr Wenda Li (University of Edinburgh).

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

How debuggable is your (compiler-optimised) program?

User Stephen Kell, King's College London.

Thursday 22 February 2024, 15:00-16:00

Matchings and Loose Cycles in the Semirandom Hypergraph Model

User Greg Sorkin (LSE) .

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

Composition multiplicities of Verma modules for truncated current Lie algebras

User Matthew Chaffe, University of Birmingham.

Wednesday 21 February 2024, 16:30-17:30

Associative submanifolds in G2 manifolds with symmetries

User Federico Trinca (UCL).

Wednesday Seminars - Department of Computer Science and Technology

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

Making Large Language Models Safe: A Case Study of Llama2

User Pushkar Mishra - Lead AI Research Engineer, Meta and Computer Science Part 1B Supervisor, University of Cambridge.

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

Wednesday 21 February 2024, 15:05-15:55

On the canonical bundle formula in positive characteristic

User Marta Benozzo, UCL.

Wednesday 21 February 2024, 14:15-15:15

Information-theoretic techniques and context-tree methods for time series

User Ioannis Papageorgiou, University of Cambridge.

Computer Laboratory Computer Architecture Group Meeting

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

Compiler Testing with Relaxed Memory Models with L. Geeson

User Luke Geeson.

House SN08, Computer Laboratory, William Gates Building.

Tuesday 20 February 2024, 17:00-18:00

Challenges to the accurate monitoring cognitive health: recent findings from Sheffield

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

User Heidi Christensen, University of Sheffield.

Tuesday 20 February 2024, 16:00-17:00

How often does a cubic hypersurface have a point?

User Christopher Keyes (King's College London).

Tuesday 20 February 2024, 14:30-15:30

House Webinar & FW11, Computer Laboratory, William Gates Building..

Owl - an augmented password-authenticated key exchange protocol

User Feng Hao, University of Warwick.

Tuesday 20 February 2024, 14:00-15:00

The Critical 2d Stochastic Heat Flow and other critical SPDEs

User Nikos Zygouras (Warwick).

Tuesday 20 February 2024, 14:00-15:00

Elasto-plasticity driven by dislocation movement via space-time currents

User Filip Rindler, University of Warwick.

Technical Talks - Department of Computer Science and Technology

Monday 19 February 2024, 14:00-15:00

Monumo: Reinventing Electric Motors

User Dr Chris Doran - AI Research Fellow and Head of 3D at Monumo and Fellow of Sidney Sussex College.

Monday 19 February 2024, 13:05-13:55

Compressed sensing for the sparse Radon transform

User Giovanni Alberti (University of Genova).

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

Synthesis modulo oracles

User Elizabeth Polgreen, University of Edinburgh.

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

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

Reimagining Urban Energy: Policy Implications of Bidirectional Electric Vehicles, Solar Energy, and Work-from-Home Trends

User Anaïs Berkes, University of Cambridge.

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

Scaling Multilingual Generation for Low-Resource Languages

User Priyanka Agrawal, Google Deepmind.

Formalisation of mathematics with interactive theorem provers

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

Structures in dependent type theory

Online

User Professor Jeremy Avigad (Carnegie Mellon University).

House Live-streamed at MR14 Centre for Mathematical Sciences.

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

Statistics Clinic Lent 2024 III

User MR5 at the CMS.

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

Integral line bundles of weight -1 on the Drinfeld half-plane and De Rham representations

User Damien Junger, Universitat Munster.

Wednesday 14 February 2024, 16:30-17:30

Finite quotients and fibring with a view towards projective varieties

User Sam Hughes (Oxford).

Wednesday Seminars - Department of Computer Science and Technology

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

Graph Neural Networks for skillful weather forecasting

User Dr Ferran Alet - Research Scientist, Google DeepMind.

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

Wednesday 14 February 2024, 15:05-15:55

Machine learning detects terminal singularities

User Sara Veneziale, Imperial College London.

Wednesday 14 February 2024, 14:15-15:15

A theory of social balance

User Dr George Cantwell, University of Cambridge.

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

AI for Health with Wearables

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

User Chenyang Lu, Washington University in St Louis.

Tuesday 13 February 2024, 16:00-17:00

Primes in arithmetic progressions to smooth moduli

User Julia Stadlmann (Oxford).

Tuesday 13 February 2024, 14:30-15:30

House Webinar & FW11, Computer Laboratory, William Gates Building..

Securing the WebPKI in Practice: A tour of the technologies, politics and open problems

User Dennis Jackson, Mozilla.

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

Excess Folding for Transient Random Walks, Simple or Branching

User Amine Asselah (Paris) and Bruno Schapira (Marseille).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Learning to Receive Help: Intervention-Aware Concept Embedding Models

User Mateo Espinosa Zarlenga (University of Cambridge).

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

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

The many faces of global hyperbolicity

User Annegret Burtscher (Radboud).

Technical Talks - Department of Computer Science and Technology

Monday 12 February 2024, 14:30-15:30

TechWolf: Revolutionizing HR Tech: Ethical AI Integration in the Age of Generative Models

User Jens-Joris Decorte, lead AI Scientist at TechWolf.

Monday 12 February 2024, 13:05-13:55

Robust density estimation and model selection for the L1 loss : Applications to shape-constrained density estimation.

User Hélène Halconruy (Télécom SudParis).

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

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

Carbon Clarity in the Global Petrochemical Supply Chain

User Jonathan Cullen + students, University of Cambridge.

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

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

Employing Psycholinguistics to Understand Decoding in Probabilistic Language Generators

User Clara Meister, ETH Zurich.

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

Formalisation of mathematics with interactive theorem provers

How to prove Fermat's Last Theorem

Online

User Professor Kevin Buzzard (Imperial College London).

House Live-streamed at MR14 Centre for Mathematical Sciences.

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

Kneser graphs are Hamiltonian

User Torsten Mutze (Warwick).

Thursday 08 February 2024, 14:30-15:30

Jordan correspondence and block distribution of characters.

User Radha Kessar, University of Manchester.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 07 February 2024, 16:30-17:30

The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification

User Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 07 February 2024, 15:05-15:55

CCIMI Seminars

Homotopy methods for convex optimization

User Andreas Klingler (Innsbruck).

House Centre for Mathematical Sciences MR11, CMS.

Wednesday 07 February 2024, 14:30-15:30

Enabling Fast, Robust, and Personalized Federated Learning

User Prof Ramtin Pedarsani, UC Santa Barbara .

Wednesday 07 February 2024, 14:00-15:00

Where next with wearables: An overview, with examples analysing UK Biobank accelerometery data and real-time machine learning on brain data

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

User Alex Casson, University of Manchester.

Tuesday 06 February 2024, 16:00-17:00

Distances on the CLE(4), critical Liouville quantum gravity and 3/2-stable maps

User Emmanuel Kammerer (Ecole Polytechnique).

Tuesday 06 February 2024, 15:30-16:30

House MR12 (note the unusual room).

A classification for reduction types of curves

User Tim Dokchitser (University of Bristol).

Tuesday 06 February 2024, 14:30-15:30

House Webinar & FW11, Computer Laboratory, William Gates Building..

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data

User Will Shackleton, Meta.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Learning-Powered Networked Systems

User Michael Schapira (Hebrew University of Jerusalem).

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

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

House Department of Applied Mathematics and Theoretical Physics, Centre for Mathematical Sciences, University of Cambridge.

Wildlife from space: detecting, monitoring and studying wildlife using satellite imagery

User Peter Fretwell, British Antarctic Survey.

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

Algorithms and Complexity Seminar

On Parallel Repetition of PCPs

User Ziyi Guan (EPFL).

House Computer Laboratory, William Gates Building, FW11.

Monday 05 February 2024, 14:00-15:00

M-estimation, noisy optimization and user-level local privacy

User Marco Avella Medina (Columbia University).

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

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

Group Discussion - What I Wish I Had Known Earlier in My Research Career

User Group Discussion.

Friday 02 February 2024, 12:30-14:00

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

This talk is cancelled - Modeling Cognitive Complexity in NLP

User Lisa Beinborn, VU Amsterdam.

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

Formalisation of mathematics with interactive theorem provers

Comparative Formalisation of Kneser's theorem in Isabelle/HOL and Lean

User Mantas Bakšys and Yaël Dillies (University of Cambridge).

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

Infinite monochromatic exponential patterns

User Mariaclara Ragosta (Pisa).

Thursday 01 February 2024, 14:30-15:30

Statistics Clinic Lent 2024 II

User MR5 at CMS.

Wednesday 31 January 2024, 16:30-18:00

Spin representations of symmetric groups in characteristic 2

User Matthew Fayers, Queen Mary University of London.

Wednesday 31 January 2024, 16:30-17:30

2-torsion rational homology spheres and SL(2,C)-representations

User Raphael Zentner (Durham).

Wednesday 31 January 2024, 16:00-17:00

Physiological sensing in personal informatics systems: The Good, the Bad, and the Ugly

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

User Silvia Santini, Universita' della Svizzera Italiana.

Tuesday 30 January 2024, 16:00-17:00

Automorphic forms and higher algebraic cycles

User Aleksander Horawa (Oxford).

Tuesday 30 January 2024, 14:30-15:30

The invariant measure of the 2D Yang-Mills Langevin dynamic

User Ilya Chevyrev (Edinburgh).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Text-and-audio methods

User Catalina Cangea (Google DeepMind).

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

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

Infinite time blow-up for the 3D energy critical heat equation in bounded domains

User Giacomo Ageno (Cambridge).

Monday 29 January 2024, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

One Protocol to Rule Them All? On Securing Interoperable Messaging

User Jenny Blessing (University of Cambridge).

Friday 26 January 2024, 16:00-17:00

Optimization-based Sensitivity Analysis for Unmeasured Confounding using Partial Correlations

User Tobias Freidling (Statistical Laboratory).

Computer Laboratory Programming Research Group Seminar

Friday 26 January 2024, 15:30-17:00

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

Today we have two Logic and Semantics talks, with a small gap for coffee in between.

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

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

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

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

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

Towards Secure Distributed Choreographies

User Andrew K. Hirsch (Buffalo).

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

Response-adaptive randomization in clinical trials: from myths to practical considerations

User Sofía Villar and David Robertson (MRC Biostatistics Unit, Cambridge).

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

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

Uncertainty at Scale: How CS Hinders Climate Research

User Patrick Ferris, University of Cambridge.

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

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

Revisiting the Optimality of Word Lengths

User Tiago Pimentel.

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

A Ramsey Characterisation of Eventually Perioidic Words

User Maria Ivan (Cambridge).

Thursday 25 January 2024, 14:30-15:30

The Metaplectic Representation is Faithful

User Mario Marcos Losada.

Wednesday 24 January 2024, 16:30-17:30

Taut surgeries on curves and shortest geodesics

User Macarena Arenas (Cambridge).

House Computer Laboratory, William Gates Building, LT2.

Wednesday 24 January 2024, 16:00-17:00

tcg40's list

Visual, Interactive, and Explainable Human-AI Collaboration

User Menna El-Assady.

Wednesday 24 January 2024, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing via the lens of additive combinatorics

User Dr Tom Gur - Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 24 January 2024, 15:05-15:55

Desingularizations of sheaves and reduced invariants

User Renata Picciotto, University of Cambridge.

Wednesday 24 January 2024, 14:15-15:15

Dealing with uncertainty in physiological sensing in the wild

https://cam-ac-uk.zoom.us/j/81629625472?pwd=eTRQTHRtajdVaG85RG1HUXE1TWY3Zz09

User Christian Holz, ETHZ.

Tuesday 23 January 2024, 16:00-17:00

Cycle relations in the affine grassmannian and applications to p-adic Galois representations

User Robin Bartlett (Glasgow).

Tuesday 23 January 2024, 14:30-15:30

House Webinar & SS03, Computer Laboratory, William Gates Building..

A Comprehensive Study of the Extremist Narratives and the Role of Alternative Social Networks that Facilitate Radical Discourse

User Antonis Papasavva, University College London.

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

Some aspects of the Anderson Hamiltonian in 1D

User Laure Dumaz (CNRS, ENS Paris).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities

User Partha Maji (Tenstorrent).

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

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

Scattering towards the singularity in Kasner spacetimes

User Warren Li, Princeton University.

Technical Talks - Department of Computer Science and Technology

Monday 22 January 2024, 14:00-15:00

Ab Initio: Processing High Volume IoT Data

User James Wyper.

Monday 22 January 2024, 13:05-13:55

House Webinar & LT2, Computer Laboratory, William Gates Building..

Two Sides of the Same Crime

User Michael Dewar, Vice President for Data Science at Mastercard.

Friday 19 January 2024, 16:00-17:00

Non-asymptotic control of a kernel 2-sample test

User Perrine Lacroix (ENS Lyon).

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

The Stable Bernstein theorem in R^5

User Paul Minter (Clay Institute, Princeton, Cambridge).

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

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

Programming for the Planet: the challenges of repeatable and reproducible computing for enviromental sciences

User Michael Dales, University of Camridge.

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

Faster Minimum Bayes Risk Decoding with Confidence-based Pruning

User Julius Cheng (University of Cambridge).

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

Spatiotemporal contrast sensitivity functions; OLED calibration

Practice talks

User Maliha Ashraf, University of Cambridge.

Thursday 18 January 2024, 16:00-17:00

Statistics Clinic Lent 2024 I

User MR5 at the CMS.

Wednesday 17 January 2024, 16:30-18:00

Refined Harder-Narasimhan filtrations in moduli theory

User Andrés Ibáñez Núñez.

Wednesday 17 January 2024, 14:15-15:15

Convexity properties of information functionals for Gaussian mixtures

User Dr Lampros Gavalakis, Gustave Eiffel University.

Formalisation of mathematics with interactive theorem provers

Wednesday 17 January 2024, 14:00-15:00

Towards Autoformalization and Mathematical Reasoning using language models

Note unusual time

User Professor Siddhartha Gadgil (Indian Institute of Science).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 17 January 2024, 13:00-14:00

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

User Arduin Findeis (University of Cambridge).

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

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

Testing GPU Memory Consistency at Large

User Reese Levine, University of California Santa Cruz.

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

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

If a Tree Falls in the Forest, Does It Cause a Fire?

User Laura James, Overstory.

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

Image quality assessment across viewing distances: A comparison study of CSF-based and rescaling-based metrics

(practice talk)

User Dounia Hammou, Univ. of Cambridge.

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

Differential Privacy: Theory to Practice for the 2020 US Census

User Simson Garfinkel.

Monday 18 December 2023, 14:00-15:00

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

The Real Information in Climate Simulations

User Milan Klöwer, Massachusetts Institute of Technology.

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

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

Full-waveform LiDAR and Scalability of Forests Plots

User Milto Miltiadou, University of Cambridge.

Friday 08 December 2023, 13:00-14:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Securing Supply Chains with Compilers

User Nicholas Boucher, University of Cambridge.

Tuesday 05 December 2023, 14:00-15:00

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

Batteries beyond Power Supplies

User Liang He - University of Colorado Denver.

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

Fairness Evaluation in Generative NLP

User Seraphina Goldfarb-Tarrant (Cohere).

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

25 years of crypto wars and privacy tussles – where next?

User Ross Anderson, Duncan Campbell, Ben Collier, Ahana Datta, Merlin Erroll, Gus Hosein, Julian Huppert, Jim Killock, Jen Persson, Sam Smith and Martyn Thomas.

Thursday 30 November 2023, 16:00-18:00

Paradoxical Decompositions and Colouring Rules

User Robert Simon (LSE).

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

Paradoxical Decompositions and Colouring Rules

User Robert Simon (LSE).

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

Statistics Clinic Michaelmas 2023 V

User MR5 at the CMS.

Wednesday 29 November 2023, 16:30-18:00

Skew power series rings

User William Woods, University of Essex.

Wednesday 29 November 2023, 16:30-17:30

Counting limit theorems for representations of Gromov-hyperbolic groups

User Çağrı Sert (Universität Zürich).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 29 November 2023, 16:00-17:00

A brief introduction to causal inference

User Dr Apinan Hasthanasombat - Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 29 November 2023, 15:05-15:55

Crepant transformations for nonabelian GIT quotients

User Rachel Webb.

Wednesday 29 November 2023, 14:15-15:15

The Role of Information Measures on the Regularization of Empirical Risk Minimization

User Dr Iñaki Esnaola, University of Sheffield.

House Computer Laboratory, William Gates Building, FW26.

Wednesday 29 November 2023, 14:00-15:00

Women@CL Events

Michaelmas Talklet Event

User Jessica Man, Elizabeth Ho, Bianca Schor.

Wednesday 29 November 2023, 13:00-14:00

House Computer Lab, FW11 and Online (zoom link on this page).

Time-series Machine Learning Models for Healthcare: Advancements and Applications

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Tingting Zhu, University of Oxford.

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

An introduction to the theory of Kimberlites.

User Ian Gleason (University of Bonn).

Tuesday 28 November 2023, 14:30-15:30

House Webinar & FW11, Computer Laboratory, William Gates Building..

Human-producible Adversarial Examples

User David Khachaturov, University of Cambridge.

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

Weak coupling scaling of critical SPDEs

User Guiseppe Cannizzaro, University of Warwick.

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

Formation of trapped surfaces for the Einstein-Yang-Mills system

User Nikolaos Athanasiou (Crete).

Technical Talks - Department of Computer Science and Technology

Monday 27 November 2023, 14:00-15:00

Vaticle: Type theory as the unifying foundation for modern databases

User Haikal Pribadi (CS MPhil, Cambridge), CEO/CTO at Vaticle and Christoph Dorn (CS DPhil, Oxford), Head of Research at Vaticle.

Monday 27 November 2023, 13:05-13:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Machine Learning needs Better Randomness Standards: Randomised Smoothing and PRNG-based attacks

User Pranav Dahiya, University of Cambridge.

Friday 24 November 2023, 16:00-17:00

Manifold Fitting: an Invitation to Data Science

User Zhigang Yao (National University of Singapore).

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

House Lecture Theatre 2, Computer Laboratory.

A categorical semantics for neural networks

User Charlotte Aten, University of Denver.

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

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

Telling Tree Stories through Laser Scans and AI

User Stefano Puliti, Norwegian Institute of Bioeconomy Research.

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

Efficiency by Construction

User Fermin Moscoso del Prado Martin (University of Cambridge).

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

DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing

User changgang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

Thursday 23 November 2023, 15:00-16:00

The trace reconstruction problem

User Zachary Chase (Technion, Haifa).

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

The trace reconstruction problem

User Zachary Chase (Technion, Haifa).

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

House Statistical Laboratory, Centre for Mathematical Sciences, University of Cambridge.

Quantifying personal exposure to air pollution with sensor technologies and digital science

User Lia Chatzidiakou/Rod Jones.

Wednesday 22 November 2023, 19:00-21:00

Complete reducibility and subgroup structure of algebraic groups

User Adam Thomas, University of Warwick.

Wednesday 22 November 2023, 16:30-17:30

Scalar curvature on manifolds with at least two ends

User Rudolf Zeidler (Muenster).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 22 November 2023, 16:00-17:00

Cross-lingual transfer learning with multilingual masked language models

User Professor Mamoru Komachi - Research Professor, Tokyo Metropolitan University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 22 November 2023, 15:05-15:55

Provably Safe Certification for Machine Learning Models under Adversarial Attacks

User Prof. Miguel Rodrigues, UCL.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 22 November 2023, 14:00-15:00

Deep screening of RNA, XNA and protein interactions

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

User Philipp Holliger (MRC Laboratory of Molecular Biology).

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

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

House Online (zoom link on the page).

Towards Ambient Physiological Sensing for Digital Healthcare

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Jeonggil Ko, Yonsei University.

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

Paucity of rational points on fibrations with multiple fibres

User Julian Lyczak (University of Bath).

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

Critical core percolation on random graphs

User Alice Contat (University of Paris-Saclay).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data

User Konstantin Hemker (University of Cambridge).

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

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

The quasi-neutral limit for the ionic Vlasov-Poisson system with rough data

User Megan Griffin-Pickering, UCL.

Technical Talks - Department of Computer Science and Technology

Monday 20 November 2023, 14:00-15:00

Neo4j: GenAI with LLMs and Knowledge Graphs

User Andreas Kollegger of Neo4j, Inc. (@akollegger).

Monday 20 November 2023, 13:05-13:55

Comparative Frameworks for Relative Multivariate Analysis

User Ganesh Karapakula (Economics Faculty - University of Cambridge).

Friday 17 November 2023, 15:30-17:00

Entropic optimal transport: stability, limit theorems, and algorithms

User Kengo Kato (Cornell University).

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

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

Forest biomass mapping and monitoring with NASA Lidars

User Laura Innice Duncanson. University of Maryland.

Friday 17 November 2023, 13:00-14:00

Spanning trees in pseudorandom graphs via sorting networks

User Alp Muyesser (UCL).

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

Statistics Clinic Michaelmas 2023 IV

User MR5 at the CMS.

Wednesday 15 November 2023, 16:30-18:00

Representations and cohomology of profinite groups

User Peter Symonds, University of Manchester.

Wednesday 15 November 2023, 16:30-17:30

Arborealization and the construction of Floer homotopy types for Weinstein manifolds

User Abigail Ward (Cambridge).

The Wheeler Lectures in Computer Science

Wednesday 15 November 2023, 16:00-17:00

Wheeler Lecture 2023: Beyond functional programming: a taste of Verse

User Professor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory.

Wednesday 15 November 2023, 15:00-16:00

Refined tropical curve counting with descendants

User Ajith Urundolil Kumaran, University of Cambridge.

Wednesday 15 November 2023, 14:15-15:15

Statistical-Computational Tradeoffs in Mixed Sparse Linear Regression

User Gabriel Arpino, University of Cambridge.

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

Computing p-adic heights on hyperelliptic curves

User Stevan Gajović (Charles University).

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

Red teaming privacy-preserving systems using AI

User Yves-Alexandre de Montjoye, Imperial College London.

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

A topological transition in the XY model

User Diederik van Engelenburg (Lyon).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

RetroBridge: Modeling Retrosynthesis with Markov Bridges

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

User Arne Schneuing & Ilia Igashov (EPFL).

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

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

STABILITY AND CASCADES FOR THE KOLMOGOROV-ZAKHAROV SPECTRUM OF WAVE TURBULENCE

User Helge Dietert, Université Paris Diderot.

Technical Talks - Department of Computer Science and Technology

Monday 13 November 2023, 14:00-15:00

Goldman Sachs - Quantitative Finance and AI

User Matteo Pozzi, Associate on the Applied AI team at Goldman Sachs.

Computer Laboratory Computer Architecture Group Meeting

Monday 13 November 2023, 13:05-13:55

Unlocking the Power of Data-Centric Acceleration for Modern Applications

User Haiyu Mao, ETH Zurich.

House SS03, Computer Laboratory, William Gates Building.

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

Nonparametric Statistics for SPDEs

User Markus Reiss (Humboldt University of Berlin).

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

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

From open source and open data to “open computation”: a climate science perspective

User Roly Perera, University of Cambridge.

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

Numerical Reasoning in Natural Language Processing

User Nafise Moosavi (University of Sheffield).

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

Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Ayan Kumar, AMD.

Thursday 09 November 2023, 15:00-16:00

On the evolution of structure in triangle-free graphs

User Matthew Jenssen, Kings College London.

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

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

Foundation AI

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

User Guillermo Bernárdez Gil, UPC Barcelona.

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

On Donovan’s conjecture and Picard groups

User Florian Eisele, University of Manchester.

Wednesday 08 November 2023, 16:30-17:30

Type A symplectic Auslander correspondence

User Ilaria Di Dedda (KCL).

Wednesday Seminars - Department of Computer Science and Technology

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

Coherence Attacks and Defenses in 2.5D Integrated Systems

User Professor Paul Gratz - Professor in the Department of Electrical and Computer Engineering, Texas A&M University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge .

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

Wednesday 08 November 2023, 15:05-15:55

Moduli of abelian varieties, curves, and points in the plane

User Rahul Pandharipande, Eidgenössische Technische Hochschule Zürich.

Wednesday 08 November 2023, 14:15-15:15

A functional perspective on Information Measures

User Dr Amedeo Esposito, Institute of Science and Technology Austria.

Wednesday 08 November 2023, 14:00-15:00

House Online (zoom link on the page).

Towards Smart Health Using Mobile Technologies

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Yingying Chen, Rutgers University.

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

Endomorphisms of Gelfand-Graev representations

User Jack Shotton (Durham University).

Tuesday 07 November 2023, 14:30-15:30

Phase transitions of the graphical representations of the Ising model

User Frederik Ravn Klausen (University of Copenhagen) .

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Multi-Agent Simulation and Learning in TorchRL

User Matteo Bettini (University of Cambridge).

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

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

Rigidity of long-term dynamics for the self-dual Chern-Simons-Schrödinger equation within equivariance

User Kihyun Kim (IHES).

Monday 06 November 2023, 14:00-15:00

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

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

User Sara Hooker (Cohere For AI).

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

Frequency and cardinality recovery from sketched data: a novel approach bridging Bayesian and frequentist views

User Stefano Favaro (University of Turin).

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

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

Tokenized Carbon Credits

User Derek Sorensen, University of Cambridge.

Friday 03 November 2023, 13:00-14:00

Recent progress on the hard sphere model

User Marcus Michelen, University of Illinois at Chicago.

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

Statistics Clinic Michaelmas 2023 III

User MR5 at the CMS.

Wednesday 01 November 2023, 16:30-18:00

Lagrangian link quasimorphisms and the non-simplicity of Hameomorphism group of surfaces

User Cheuk Yu Mak (Southampton).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 01 November 2023, 16:00-17:00

Analysis Seminar

Stable Phase Retrieval in Function Spaces

User Mitchell Taylor (ETH).

House MR9.

Wednesday 01 November 2023, 16:00-17:00

Pathfinding for 10k agents

User Dr Keisuke Okumura - Visiting scholar at the Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 01 November 2023, 15:05-15:55

A tropical Monge-Ampere equation with applications to the SYZ conjecture

User Mattias Jonsson, University of Michigan.

Wednesday 01 November 2023, 14:15-15:15

Classical and quantum zero error communication

User Satvik Singh, University of Cambridge.

Wednesday 01 November 2023, 14:00-15:00

AIoT for Safer, Healthier, and Smarter Environments

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Xiaofan (Fred) Jiang, Columbia University.

House Online only.

Tuesday 31 October 2023, 16:00-17:00

Diagonal Restrictions of Hilbert Eisenstein series

User Håvard Damm-Johnsen (University of Oxford).

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

Data, Identity and Governance: Evolution and Trajectory of Digital Public Infrastructure in India

User Aakansha Natani, IIIT Hyderabad, India.

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

How long are the arms in Dielectric-Breakdown Model?

User Ilya Losev (Cambridge).

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

Gravitational Collapse for Newtonian Stars

User Matthew Schrecker (Bath).

Technical Talks - Department of Computer Science and Technology

Monday 30 October 2023, 14:00-15:00

Jane Street: Why Ocaml?

User Pedro Flemming, Software Engineer at Jane Street .

Monday 30 October 2023, 13:05-13:55

Confounder selection via iterative graph expansion

User Richard Guo (University of Cambridge).

Friday 27 October 2023, 15:30-17:00

K9db: Privacy-Compliant Storage For Web Applications By Construction

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Malte Schwarzkopf (Brown University).

Friday 27 October 2023, 15:00-16:00

Adaptive two-sample testing

User Arthur Gretton (Gatsby Computational Neuroscience Unit, UCL).

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

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

Designing PV-EV integrated Residential Microgrids

User Srivasan Keshav - University of Cambridge.

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

Women@CL Events

How formal reasoning enables the detection of microarchitectural side channels

User Jana Hofmann (Microsoft).

House Computer Laboratory, William Gates Building, LT2.

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

Natural Language Processing for Text-to-Speech Synthesis

User Gleb Mazovetskiy (Google).

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

Monochromatic Sums and Products over the Rationals

User Ryan Alweiss (Cambridge).

Thursday 26 October 2023, 14:30-15:30

Distribution of random quasifuchsian surfaces in 3-manifolds

User Vlad Markovic (Oxford).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 25 October 2023, 16:00-17:00

An invitation to univalent foundations of mathematics

User Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 25 October 2023, 15:05-15:55

Log gluing log curves and log cohomological field theories

User Pim Spelier, Universiteit Leiden.

Wednesday 25 October 2023, 14:15-15:15

Thompson Sampling for Stochastic Bandits with Noisy Contexts: An Information-Theoretic Analysis

User Dr Sharu Jose, University of Birmingham.

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

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

Foundation AI

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

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

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

House Computer Lab, FW11 and Online (zoom link on this page).

Measuring mobility outside the laboratory with digital health technology: are we there yet?

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Silvia Del Din, Translational and Clinical Research Institute, Newcastle Univerisity.

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

House https://cam-ac-uk.zoom.us/j/93515008077?pwd=NkZ5UGk2MTNueFhrb2c1RG96cFNPQT09.

Intersections of the irreducible components of the Emerton-Gee stack for GL2

User Kalyani Kansal (Institute for Advanced Study).

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

Determinants of Laplacians of converging surfaces

User Renan Gross (Tel Aviv).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies

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

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

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

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

Global well-posedness and quasi-invariance of Gaussian measures for fractional nonlinear Schrödinger equations

User Justin Forlano (Edinburgh).

Technical Talks - Department of Computer Science and Technology

Monday 23 October 2023, 14:00-15:00

Bloomberg: Software Design Dilemmas: Choices We Make In a System With Over Two Million Hits A Day

User Zineb Slam, Bloomberg Placement Fall 2017 & Full-Time 2018, Mobile Shared Services Team, Co-Lead of the Bloomberg Women in Technology community in London.

Monday 23 October 2023, 13:05-13:55

Trading-Off Payments and Accuracy in Online Classification

User Ciara Pike-Burke (Imperial College London).

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

Coherence by Normalization for Linear Multicategorical Structures

User Federico Olimpieri, University of Leeds.

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

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

Taking the Long View: Enhancing Learning On Multi-Temporal, High-Resolution, and Disparate Remote Sensing Data for Measuring the Spread of Buildings

User Jay Taneja - University of Massachusetts, Amherst, USA.

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

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

Collaborative Pretraining on Evolving Pretraining and Small Manageable Tasks

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

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

Improved lower bounds for Szemeredi’s theorem.

User Zach Hunter (ETH Zurich) .

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

Improved lower bounds for Szemeredi’s theorem.

User Zach Hunter (ETH Zurich) .

House Centre for Mathematical Sciences MR2.

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

Peter Whittle Lecture

A new coefficient of correlation

User Sourav Chatterjee (Stanford) .

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

An h-principle for algebraic bundles and applications

User Alexis Aumonier (Cambridge).

Wednesday 18 October 2023, 16:00-17:00

Statistics Clinic Michaelmas 2023 II

User MR4 at the CMS.

House MR4.

Wednesday 18 October 2023, 15:00-16:30

Vector bundles on metric graphs

User Dmitry Zakharov, Central Michigan University.

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

House LT1, Computer Laboratory.

Software for Compositional Modeling

User John Baez, University of California Riverside.

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

House Computer Lab, FW11 and Online.

Using wearable-derived cardiac signals to predict cardiovascular events

https://cam-ac-uk.zoom.us/j/89965171767?pwd=RlJSUCtaVHlPL0laTzM2VzB6d1V6UT09

User Michele Orini, Institute of Healthcare Engineering, UCL.

Tuesday 17 October 2023, 16:00-17:00

The geometry of the Humbert surface of discriminant N^2

User Sam Frengley (University of Cambridge).

Tuesday 17 October 2023, 14:30-15:30

Spin glass phase in the Edwards-Anderson model at zero temperature

User Sourav Chatterjee (Stanford).

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

CIA to AIC: Why Cyber Must Enable the Business

User Keith A Price, Chief Security Officer, National Highways.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

On Learning Latent Models with Multi-Instance Weak Supervision

User Efi Tsamoura (Samsung AI, Cambridge).

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

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

Disproving the Deift conjecture: the loss of almost periodicity

User Andreia Chapouto (Edinburgh).

Technical Talks - Department of Computer Science and Technology

Monday 16 October 2023, 14:00-15:00

GSA Capital: Technology in a quant trading firm: how innovation helps stay competitive in today's markets

User Mihai Enache.

Monday 16 October 2023, 13:05-13:55

Assumption-lean Inference for Generalised Linear Model Parameters

User Stijn Vansteelandt (Ghent University).

Friday 13 October 2023, 15:30-17:00

Orthogonal prediction of counterfactual outcomes

User Stijn Vansteelandt (Ghent University).

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

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

User Benedikt Pago.

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

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

Creating a High-Resolution Canopy Height Map of the Earth

User Konrad Schindler from ETH Zürich.

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

Fighting Bad Information with AI

User David Corney (Full Fact).

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

Pancyclicity of highly connected graphs

User Shoham Letzter (UCL).

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

Infinite-dimensional Morse indices and new invariants of G2-manifolds

User Laurence Mayther (Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 11 October 2023, 16:00-17:00

How can we make trustworthy AI?

User Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.

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

Wednesday 11 October 2023, 15:05-15:55

Wall crossing morphisms for moduli of stable pairs

User Giovanni Inchiostro, University of Washington.

Wednesday 11 October 2023, 14:15-15:15

Sharp convergence guarantees for iterative (non)-convex empirical risk minimization with random data

User Dr. Kabir Verchand, University of Cambridge.

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

House MRC Cognition and Brain Sciences Unit.

Statistics and Data Analytics in the Film Industry

User Allègre L. Hadida, Cambridge Judge Business School & Magdalene College.

Tuesday 10 October 2023, 19:15-21:30

Cuspidal cohomology classes for GLn(Z)

User Toby Gee (Imperial College London).

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

Sampling from the random cluster model on the random regular graph at all temperatures

User Andreas Galanis (Oxford).

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

House Webinar & FW26, Computer Laboratory, William Gates Building..

A Tale of Two Internet (In)Security Problems

User Michael Schapira, Hebrew University of Jerusalem.

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

House FW26 William Gates Building.

Towards More Immersive Photos and Videos

User Christian Richardt, Meta Reality Labs.

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

Local well-posedness and singularity formation beyond the Yudovich class

User Ayman Rimah Said (Cambridge).

Technical Talks - Department of Computer Science and Technology

Monday 09 October 2023, 14:00-15:00

Roku: The Challenges of Motion Detection and Object Detection on Edge Cameras in the Home

User Luke Johnson-Davies.

Monday 09 October 2023, 13:05-13:55

Faster log-concave sampling via algorithmic warm starts

User Sinho Chewi (Institute for Advanced Study).

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

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

Measuring Small-scale Tropical Forest Disturbance with GEDI

User Amelia Holcomb.

Friday 06 October 2023, 13:05-14:00

House Computer Laboratory, room SS03.

Does Syntax Still Matter in the World of LLMs?

User Miloš Stanojević (DeepMind).

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

Statistics Clinic Michaelmas 2023 I

User MR5 at the CMS.

Wednesday 04 October 2023, 16:30-18:00

Right-Most Position of a Last Progeny Modified Branching Random Walk

User Antar Bandyopadhyay, ISI Delhi.

Wednesday 04 October 2023, 16:00-17:00

Load Balancing under Data Locality: Extending Mean-Field Framework to Constrained Large-Scale Systems

User Dr Debankur Mukherjee, Georgia Tech.

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

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

Computational Agroecology: Rethinking Agriculture with State Spaces

User Barath Raghavan.

Friday 29 September 2023, 13:05-14:00

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

Fast Tagging of Pollinator Field Videos with Convolutional Tsetlin Machines

User Sachin Mathew, University of Cambridge.

Friday 22 September 2023, 13:05-14:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

On the Insecurity of PLC Systems

User Eli Biham, Technion.

Tuesday 19 September 2023, 14:00-15:00

Statistics Clinic Summer 2023 IV

The clinic takes place in MR12 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wireless Communications Team Seminars

Wednesday 13 September 2023, 16:30-18:00

Reconfigurable Intelligent Surfaces for Wireless: From Conventional Optimisation to Autonomous Learning

User George C Alexandropoulos - National and Kapodistrian University of Athens (NKUA), Greece.

House Computer Laboratory, Room LT2.

Wednesday 13 September 2023, 16:00-17:00

Computer Laboratory Computer Architecture Group Meeting

Modern Cache Prefetching and Page Size Aware Cache Prefetching

Note unusual time

User Texas A&M.

House Lecture Theatre 2, Department of Computer Science & Technology, 15 JJ Thompson Avenue, Madingley Road, Cambridge, CB3 0FD.

Wednesday 13 September 2023, 13:30-14:30

Computer Laboratory Security Group meeting presentations

no meeting

(CL Garden Party)

User no talk.

House Computer Laboratory, William Gates Building, Room FW26.

Friday 08 September 2023, 16:00-17:00

Residual Permutation Test for High-Dimensional Regression Coefficient Testing

User Yuhao Wang, Tsinghua University.

Computer Laboratory Computer Architecture Group Meeting

Friday 08 September 2023, 14:00-15:00

SQuadS: Self-Serve System Services for new Hardware-Software Cooperation

User Nazerke Turtayeva, UC Santa Barbara.

House SS03, Computer Laboratory, William Gates Building.

Thursday 07 September 2023, 13:00-14:00

Harvesting Computer Science-Vision Science Symbiosis: A Case Study on Color Vision

User Yuhao Zhu, University of Rochester.

Thursday 07 September 2023, 11:00-12:00

Statistics Clinic Summer 2023 III

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wednesday 23 August 2023, 16:30-18:00

Mathematical tools for measuring the agreement between predicted image quality and observers' quality scores

User Samuel Morillas Gómez, Universidad Politécnica de Valencia.

Thursday 03 August 2023, 14:00-15:00

Statistics Clinic Summer 2023 II

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Hardware for Machine Learning

Wednesday 02 August 2023, 16:30-18:00

Tenstorrent - building AI/ML accelerators

User Thaddeus Fortenberry, Ali Ziadi and Luke Yen.

House LT2, Computer Laboratory, William Gates Building.

Tuesday 01 August 2023, 10:00-12:00

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

Identifying direct deforestation drivers in sub-Saharan Africa using deep learning and high-resolution satellite imagery

User Amandine Debus.

Friday 28 July 2023, 13:00-14:00

Dual-Pixel Raindrop Removal

User Yizhou Li, Tokyo Institute of Technology.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Sediment core analysis using artificial intelligence

User Gianluca Carlini.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

hybrid (zoom link at the end of the abstract)

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

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

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

EviHunter: Identifying Digital Forensic Artifacts from Android Apps/Devices via Static & Dynamic Analysis + Android™ App Forensic Artifacts Database

User Yong Guan, Iowa State University.

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

House Harley Mason Room, Corpus Christi College, Cambridge.

[Journal Club] Granger Causality: A Review and Recent Advances

User Qingyuan Zhao (Statistical Laboratory).

Friday 21 July 2023, 15:30-17:00

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

Parallel Universes, Parallel Processing: Using expired weather forecasts to supply up to 10 000 years of weather data (on an HPC cluster)

User Petr Dolezal.

Friday 21 July 2023, 13:00-14:00

Seeing Through Forest - Real-Time Occlusion Removal with Airborne Optical Sectioning

User Prof. Oliver Bimber, Johannes Kepler University Linz (JKU).

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

House FW11, Computer Laboratory.

Optimizations in a formally verified compiler

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

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

Statistics Clinic Summer 2023 I

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 19 July 2023, 16:30-18:00

Sphere Neural-Network for Higher-level Cognition

join us also with zoom

User Tiansi Dong.

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

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

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

Narrowing Precipitation Uncertainty over High Mountain Asia with Probabilistic Machine Learning

User Kenza Tazi.

Friday 14 July 2023, 13:00-14:00

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

Dynamic Distribution Network Reconfiguration with Generation and Load Uncertainty

User Vincent Wong - University of British Columbia.

Friday 07 July 2023, 13:00-14:00

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

Data-driven Building Energy Systems: Applications, Platforms, and Benchmarking

User Dan Wang - The Hong Kong Polytechnic University.

Friday 30 June 2023, 13:00-14:00

Memo: an incremental computation library that powers Dune

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Andrey Mokhov, Jane Street.

Thursday 29 June 2023, 15:00-16:00

castleCSF - A Contrast Sensitivity Function of Color, Area, Spatio-Temporal frequency, Luminance and Eccentricity

User Maliha Ashraf, University of Cambridge.

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

House Webinar - link on talks.cam page after 12 noon Tuesday.

A View of the Dark Web through the Lens of NLP and Language Modeling

User Youngjin Jin, Korea Advanced Institute of Science & Technology (KAIST).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Is ChatGPT adequate for decision-making?

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

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

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

Formalisation of mathematics with interactive theorem provers

Roth numbers: Upper, lower bounds, and related constructions

Note: different room, MR20 this time

User Yaël Dillies (University of Cambridge).

Computer Laboratory Computer Architecture Group Meeting

Thursday 22 June 2023, 17:00-18:00

Wally: Bridging he CPU Education-Implementation Gap

Note unusual time

User Prof. David Harris, Harvey Mudd College.

House SS03, Computer Laboratory, William Gates Building.

Thursday 22 June 2023, 11:00-12:00

Statistics Clinic Easter 2023 V

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Theory of Living Matter Group

Wednesday 21 June 2023, 16:30-18:00

"Does evolution have a built in Occam’s razor?"

User Professor Ard Louis.

House Auditorium of Sainsbury Laboratory Cambridge University (Bateman Street).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Protein generation and fitness optimization

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

User Jason Yim, EECS, MIT.

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

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

The Unlearning Problem(s)

User Anvith Thudi, University of Toronto.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Interpretable Neural-Symbolic Concept Reasoning

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

User Pietro Barbiero (University of Cambridge).

House zoom only!.

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

House MR5, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Journal Club - Interventional Causal Representation Learning

User Max Zhu (Statistical Laboratory, Department of Computer Science).

Friday 16 June 2023, 15:30-17:00

Formalizing General Calculi with Binders in Rewriting Logic

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

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

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

Designing PV-EV Integrated Residential Microgrids in the post-COVID World

User Anaïs Berkes - ETH Zürich.

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

Knowledge Issues and Language Models

User James Thorne (KAIST).

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

House Venue to be confirmed.

Response-adaptive randomization in clinical trials: from myths to practical considerations

Canceled

User Sofía Villar and David Robertson (MRC Biostatistics Unit).

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

Formalisation of mathematics with interactive theorem provers

Formalizing the change of variables formula for integrals in mathlib

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

User Professor Sébastien Gouëzel (Université de Rennes).

Thursday 15 June 2023, 17:00-18:00

Monitoring and Improving QoE for the home network via large scale CPE deployment.

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Iain Fraser, Netduma.

Thursday 15 June 2023, 15:00-16:00

Some remarks on mirror symmetry for Hitchin systems.

User John Alexander Cruz Morales (Universidad Nacional de Colombia).

Wednesday 14 June 2023, 14:15-15:15

Scaling limits and decay of correlations for non-convex interaction

User Stefan Adams (Warwick).

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

Scaling limits and decay of correlations for non-convex interaction

User Stefan Adams (Warwick).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

POSTPONED: Interpretable Neural-Symbolic Concept Reasoning

This talk has moved to 20 June 2023.

User Pietro Barbiero (University of Cambridge).

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

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

House MR1, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

A powerful methodology for analyzing correlated high dimensional data with factor models

Room changed

User Hongyuan Cao (Florida State University).

Friday 09 June 2023, 15:30-17:00

House MR11/B1.39, Centre for Mathematical Sciences.

Bayesian Inference using Generative Models

Room changed

User John Liechty (Pennsylvania State University).

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

RoboCert: A Formal Specification Notation for Robotic Software

User Matthew Windsor, University of York.

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

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

The Case for Planetary Computing

User Anil Madhavapeddy ( University of Cambridge).

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

House Computer Lab, FW26.

Investigating Reasons for Disagreement in Natural Language Inference

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

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

Formalisation of mathematics with interactive theorem provers

Formalizing algebraic number theory, recent progress and future challenges

Note: different room, MR20 this time

User Dr Alex J. Best (King's College London).

Thursday 08 June 2023, 17:00-18:00

House Zoom: https://cl-cam-ac-uk.zoom.us/j/96901178502?pwd=ODJOZ0pDQnVaeGNleHpIUDRNTUF6QT09.

Modeling crossmodal attention in humanoid robots for HRI in complex social scenarios

User Di Fu, University of Hamburg.

Thursday 08 June 2023, 11:00-12:00

Modeling crossmodal attention in humanoid robots for HRI in complex social scenarios

User Di Fu, University of Hamburg.

Thursday 08 June 2023, 11:00-12:00

Statistics Clinic Easter 2023 IV

The clinic takes place in MR14 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 07 June 2023, 16:30-18:00

Untangling genome assembly graphs with graph neural networks

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

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

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

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

Theory of Living Matter Group

Tracing cell fate specification and pattern formation during branching morphogenesis

User Dr. Lemonia Chatzeli & Prof. Ignacio Bordeu.

House Webinar.

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

Congruences of modular forms and Tate—Shafarevich classes

User Matteo Tamiozzo.

House MR2.

Tuesday 06 June 2023, 14:30-15:30

House Webinar & SS03, Computer Laboratory, William Gates Building..

The Nym mixnet: Design and Evaluation

User Harry Halpin & Ania Piotrowska, Nym Technologies.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Information Spreading on Networks

NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03

User Charlotte Out.

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

House MR1, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Journal Club - Bridging Matching, Regression, and Weighting as Math Programs for Causal Inference

Room changed

User Tobias Freidling (Statistical Laboratory).

Friday 02 June 2023, 15:30-17:00

House MR11/B1.39, Centre for Mathematical Sciences.

Simultaneous Directional Inference

Room changed

User Ruth Heller (Tel-Aviv University).

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

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

Generative Model in Remote Sensing: the role and applications of radiative transfer models in the optical spectral domain for environmental studies

User Clement Atzberger, BOKU university & Mantle Labs Ltd..

Friday 02 June 2023, 13:00-14:00

Fighting Misinformation in Science Communication with NLP

User Dustin Wright (University of Copenhagen).

Formalisation of mathematics with interactive theorem provers

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

The leanest automata

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

User Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

Thursday 01 June 2023, 17:00-18:00

Sharp stability for the Brunn-Minkowski inequality for arbitrary sets

Note unusual room

User Marius Tiba (Oxford).

Thursday 01 June 2023, 14:30-15:30

Sharp stability for the Brunn-Minkowski inequality for arbitrary sets

Note unusual room

User Marius Tiba (Oxford).

Thursday 01 June 2023, 14:30-15:30

Sharp stability for the Brunn-Minkowski inequality for arbitrary sets

Note unusual room

User Marius Tiba (Oxford).

Computer Laboratory Computer Architecture Group Meeting

Thursday 01 June 2023, 14:30-15:30

Synthesizing Accelerators for FPGAs the Functional Way

User Christophe Dubach (McGill University).

House SS03, Computer Laboratory, William Gates Building.

Thursday 01 June 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Auslander regularity for completed rings of p-adic differential operators

Please note the non-standard room.

User Andreas Bode (University Wuppertal).

House MR4.

Wednesday 31 May 2023, 16:30-17:30

Privacy in mobility measurements

User Professor Jörg Ott - Technische Universität München.

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

Wednesday 31 May 2023, 15:05-15:55

On a categorical p-adic local Langlands for GL(2,Qp)

User Christian Johansson (Chalmers University).

Tuesday 30 May 2023, 14:30-15:30

On Lévy-driven Loewner Evolutions

Room changed

User Anne Schreuder (Statslab).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Hypergraph Factorisation for Multi-Tissue Gene Expression Imputation

NOTE: Room changed, now Lecture Theatre 1

User Ramon Vinas Torne.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

MaRF: Representing Mars as Neural Radiance Fields

User Lorenzo Giusti, Universita' La Sapienza.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Unveiling Bounded Confidence Dynamics in Sheaf Neural Networks

User Olga Zaghen, University of Trento.

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

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

House MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

A High-dimensional Convergence Theorem for U-statistics with Applications to Kernel-based Testing

User Kevin Han Huang (Gatsby Unit, UCL).

Friday 26 May 2023, 15:30-17:00

Randomized and exchangeable improvements of Markov's, Chebyshev's and Chernoff's inequalities

User Aaditya Ramdas (Carnegie Mellon University).

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

House Room FW11, Computer Laboratory, William Gates Building Zoom Link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon..

Assessing the Impact of Drought on Tropical Forests using GEDI

User Felipe Nincao Begliomini, Jovana Knezevic, Onkar Gulati, Yihang She.

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

Interpretable Multi-hop Question Answering

User Zhenyun Deng (University of Cambridge).

Formalisation of mathematics with interactive theorem provers

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

Formalising Erdős and Larson: Ordinal Partition Theory

User Professor Lawrence C. Paulson FRS (University of Cambridge).

Thursday 25 May 2023, 17:00-18:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Past, Present and Future of Wireless Networking

User Dr. Mallik Tatipamula, CTO, Ericsson, Silicon Valley.

Thursday 25 May 2023, 15:00-16:00

A random Hall-Paige Conjecture

User Alexey Pokrovskiy (UCL).

Thursday 25 May 2023, 14:30-15:30

Scaling Human Supervision and Understanding Social Contexts: Two Key Challenges for Robot Learning in HRI

User Marynel Vázquez, Yale University.

Thursday 25 May 2023, 14:00-15:00

An in-depth look at Deep Learning in Digital Media

User Prof. Panos Nasiopoulos, University of British Columbia.

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

Statistics Clinic Easter 2023 III

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wednesday 24 May 2023, 16:30-18:00

Symplectic invariants of Calabi-Yau threefolds

User Aleksander Doan (UCL).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 24 May 2023, 16:00-17:00

Bayes in the age of intelligent machines

User Professor Tom Griffiths - Princeton University.

Wednesday 24 May 2023, 15:05-15:55

Recursively patchworking real algebraic hypersurfaces with asymptotically large Betti numbers

User Charles Arnal, INRIA.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 24 May 2023, 14:15-15:15

Improving learning with noisy labels in two possibile scenarios.

User Maria Sofia Bucarelli, La Sapienza University.

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

Sphere-packings on lattices in mathematical physics

User Izabella Stuhl (Penn State).

Tuesday 23 May 2023, 15:30-16:30

Modularity of odd two-dimensional Galois representations over totally real fields

User Shu Sasaki (Queen Mary University of London).

Tuesday 23 May 2023, 14:30-15:30

Scaling limit of multi-type stationary measures in the KPZ class

User Ofer Busani (Bonn).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Relative Entropy Coding for Learned Data Compression

User Greg Flamich, Engineering Department (Cambridge).

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

The multicast transmission approach to converse theorems

Note unusual day of the week

User Dr Anelia Somekh-Baruch, Bar-Ilan University.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Monday 22 May 2023, 14:00-15:00

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

User Francesco Prinzi, University of Palermo.

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

House MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Selective randomization inference for enrichment trials

User Zijun Gao, Tobias Freidling (University of Cambridge - Statistical Laboratory).

Friday 19 May 2023, 15:30-17:00

Physics informed spatial and functional data analysis over non-Euclidean domains

User Laura Sangalli (Polytechnic University of Milan).

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

Making concurrency functional

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

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

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

CS and Supply Chain Policies

User Rachael Garrett, Cambridge.

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

Formalisation of mathematics with interactive theorem provers

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

User Seid Muhie Yimam (HCDS, University of Hamburg).

House Virtual (Zoom).

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

Explaining mathematics using formalized mathematics

Hybrid talk (please see abstract for link)

User Professor Patrick Massot (Université Paris-Saclay).

Thursday 18 May 2023, 17:00-18:00

House FW26 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

In-Network Machine Learning for Market Prediction Using Limit Order Books

User Xinpeng Hong, University of Oxford.

Thursday 18 May 2023, 15:00-16:00

Counting graphic sequences

Note 2pm start

User Paul Balister (Oxford).

Thursday 18 May 2023, 14:00-15:00

Counting graphic sequences

Note 2pm start

User Paul Balister (Oxford).

Thursday 18 May 2023, 14:00-15:00

Determination of characters of the symmetric and alternating groups

User Eoghan McDowell (Okinawa).

Wednesday 17 May 2023, 16:30-17:30

Slice alternating knots, rational balls, and lattice embeddings

User Brendan Owens (Glasgow) .

Wednesday 17 May 2023, 16:00-17:00

Calabi-Yau threefolds in P^n and Gorenstein rings.

User Hal Schenck, Auburn University.

Wednesday 17 May 2023, 14:15-15:15

Causal Identification: Are We There Yet?

User Prof. Negar Kiyavash, EPFL.

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

(CANCELLED/POSTPONED) The Digital Physiome: Wearables for Early Disease Detection

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

User Jessilyn Dunn (Duke University).

Tuesday 16 May 2023, 16:00-17:00

Values of the Ramanujan tau-function

User Vandita Patel (Manchester University).

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

The INCEL Movement: A New Form of Technology-Facilitated Abuse

User Melissa Hamilton, University of Surrey.

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

Mixing time of random walk on dynamical random cluster

User Alexandre Stauffer (Bath).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Dimensionality Reduction via Probabilistic Inference

User Aditya Ravuri (University of Cambridge).

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

The conformal field equations, black holes, gravitational waves and the Newman-Penrose constants

User Chris Stevens (University of Canterbury).

Monday 15 May 2023, 14:00-15:00

Reality Check: NLP in the era of Large Language Models

User Vered Shwartz (University of British Columbia).

House Virtual (Zoom).

Friday 12 May 2023, 16:00-17:00

House MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Journal Club: Separable Effects for Competing Events

User Qingyuan Zhao (Statistical Laboratory).

Friday 12 May 2023, 15:30-17:00

A powerful empirical Bayes approach for high dimensional replicability analysis

User Hongyuan Cao (Florida State University).

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

Compound Memory Models

User Andrés Goens, University of Edinburgh.

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

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

Remote sensing enables monitoring life above and under water

User Devis Tuia, EPFL.

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

Formalisation of mathematics with interactive theorem provers

Formalization of diagram chasing as a first-order logic in Coq

Hybrid talk (please see abstract for link)

User Dr Matthieu Piquerez (INRIA, Université de Nantes).

Thursday 11 May 2023, 17:00-18:00

Statistics Clinic Easter 2023 II

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wednesday 10 May 2023, 16:30-18:00

Stable equivalence relations of 4-manifolds

User Daniel Kasprowski (Southampton).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 10 May 2023, 16:00-17:00

Learning the topology of complex systems from their dynamics

User Professor Ginestra Bianconi - Queen Mary University of London.

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

Wednesday 10 May 2023, 15:05-15:55

Distributions of unramified extensions of global fields

Room changed

User Melanie Matchett Wood (Harvard).

Wednesday 10 May 2023, 14:30-15:30

House FW26, Computer Laboratory, William Gates Building and Online.

Towards regulatory acceptance of digital outcome measures for Parkinson’s Disease

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

User George Roussos (Birkbeck College London).

Tuesday 09 May 2023, 16:00-17:00

Multivariable (φ, Γ)-modules and local global compatibility for the mod p cohomology of Shimura curves

User Stefano Morra (Université de Paris Saint-Denis).

Tuesday 09 May 2023, 14:30-15:30

House Webinar & LT2, Computer Laboratory, William Gates Building..

Testing the Effectiveness of Targeted Financial Sanctions on Russia: Law or War?

User Jason Sharman, University of Cambridge.

Tuesday 09 May 2023, 14:00-15:00

House MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Stable Weighting and Estimation of conditional treatment effects

User Ganesh Karapakula (University of Cambridge - Economics).

Friday 05 May 2023, 15:30-17:00

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

User Andrei Popescu, University of Sheffield.

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

Bayesian sensitivity analysis in causal analysis

User Aad van der Vaart (TU Delft).

Formalisation of mathematics with interactive theorem provers

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

Mordell Lectures

Bayesian inference in infinite dimensions

User Aad van der Vaart (Delft).

House MR2, CMS.

Thursday 04 May 2023, 17:00-18:00

Smooth vector bundles in Lean

Hybrid talk (please see abstract for link)

User Professor Heather Macbeth (Fordham University).

Thursday 04 May 2023, 17:00-18:00

House FW26 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Insights into Routing on Service Addresses (ROSA)

User Dirk Trossen, Huawei.

Thursday 04 May 2023, 15:00-16:00

Partial shuffles by lazy swaps

User Robert Johnstone (QMUL).

Thursday 04 May 2023, 14:30-15:30

Canonical decomposition of rational maps

User Mikhail Hlushchanka (Utrecht).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 03 May 2023, 16:00-17:00

From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today

User Professor Richard Harper - Lancaster University.

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

Wednesday 03 May 2023, 15:05-15:55

Toric maps and transcendental dynamical degree

User Holly Krieger, University of Cambridge.

Wednesday 03 May 2023, 14:15-15:15

Error exponents for source coding under logarithmic loss

User Dr Hamdi Joudeh.

Wednesday 03 May 2023, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building and Online.

Using consumer wearables for clinical decision making

Zoom: https://cl-cam-ac-uk.zoom.us/j/97431293221?pwd=UkVudGh3VjVOUTlxaU9ReWVDeCs4UT09

User Peter Charlton (University of Cambridge).

Tuesday 02 May 2023, 16:00-17:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Follow the Transistors, a New Approach to Systems Software

User George Neville-Neil.

Tuesday 02 May 2023, 15:00-16:00

On depth 0 local Langlands via global shtukas

User Arnaud Eteve (Sorbonne Université).

Tuesday 02 May 2023, 14:30-15:30

The bead process on the torus

User Samuel Johnston (King's College London).

Tuesday 02 May 2023, 14:00-15:00

A scattering theory for the Maxwell-Klein-Gordon equations

User Shiwu Yang (Peking University).

Monday 01 May 2023, 14:00-15:00

House https://maths-cam-ac-uk.zoom.us/j/93998865836?pwd=VzVzN1VFQ0xjS3VDdlY0enBVckY5dz09.

Model-X and doubly robust conditional independence testing

User Eugene Katsevich (University of Pennsylvania).

Friday 28 April 2023, 15:30-17:00

CCIMI Seminars

Fundamental limits of generative AI

User Helmut Bölcskei - ETH Zurich.

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

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

User Giannos Stamoulis, University of Montpellier.

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

House FW 11, Willam Gates Hall. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Competitive Online Peak-Demand Minimization using Energy Storage

User Minghua Chen, City University of Hong Kong.

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

House Computer Lab, FW26.

Improving Model Robustness for Natural Language Inference

User Joe Stacey (Imperial College London).

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

Formalisation of mathematics with interactive theorem provers

Formalising modular forms, Eisenstein series and the statement of the modularity conjecture in Lean

User Dr Chris Birkbeck (University of East Anglia).

Thursday 27 April 2023, 17:00-18:00

Statistics Clinic Easter 2023 I

The clinic takes place in MR11 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wednesday 26 April 2023, 16:30-18:00

Homological comparison of crepant resolutions and smooth ambient spaces

User Will Donovan, Tsinghua University.

Wednesday 26 April 2023, 14:15-15:15

House MR11 (B1.39), CMS Pavilion B.

Approximate fixed points of classical and quantum channels and robustness theory of quantum Markov chains

Room changed

User Robert Salzmann, DAMTP, University of Cambridge.

Wednesday 26 April 2023, 14:00-15:00

Applications of computational algebraic geometry in physics

User Mike Stillman (Cornell University).

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

House James Dyson Building Seminar Room - Department of Engineering.

Cambridge Information Theory Colloquium

User Multiple speakers (Deepmind, ETH Zurich, University of Surrey, Università degli Studi di Napoli Federico II).

Friday 21 April 2023, 10:00-17:00

Oxbridge PDE Conference 23 & 24 March 2023

User Various.

House MR2.

Friday 24 March 2023, 09:00-16:00

Oxbridge PDE Conference 23 & 24 March 2023

User Various.

House MR9.

Thursday 23 March 2023, 11:30-17:45

House FW 11, Willam Gates Hall. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Why and how measuring energy consumption of Internet services? Illustration on VoD

User Aurélie Bugeau, Université de Bordeaux, France.

Friday 17 March 2023, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

The Locale-Centric Approach for Formalising Mathematical Hierarchies

User Chelsea Edmonds (University of Cambridge).

Thursday 16 March 2023, 17:00-18:00

On an old problem of Erdős

User Julian Sahasrabudhe (Cambridge) .

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

On an old problem of Erdős

User Julian Sahasrabudhe (Cambridge) .

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

Statistics Clinic Lent 2023 V

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

User Speaker to be confirmed.

Wednesday 15 March 2023, 16:30-18:00

Closed geodesics and intersection numbers

User Yann Chaubet (Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 15 March 2023, 16:00-17:00

TALK CANCELLED: Explicit Weakening (A Functional Pearl)

User Professor Philip Wadler - Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh.

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

Wednesday 15 March 2023, 15:05-15:55