yk373's list

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

Bayesian optimization / Gaussian Process Bandits

User Sattar Vakili (MediaTek Research).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Debugging Machine Learning Code

User Svet Penkov, Efemarai.

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

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

Meta-reinforcement learning

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting material properties with the help of machine learning

User Bingqing Cheng.

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

House Online on Zoom (recorded).

A theory for Hebbian Learning in recurrent E-I networks

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

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

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

Best of NeurIPS

User Speaker to be confirmed.

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

Computational Neuroscience Journal Club

User Calvin Kao and Marine Schimel.

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

Introduction to infinity categories

User Alex Rice (University of Cambridge).

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

The covariance perceptron: Theory and application to reservoir computing

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Gabriele Corso.

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

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

Neural Processes

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

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

Computational Neuroscience Journal Club

User Gido van de Jen.

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

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

Isotropy Groups of Quasi-Equational Theories

User Jason Parker, Brandon University.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wasserstein Natural Gradients for Reinforcement Learning

User Ferenc Huszár.

Cambridge Society for the Application of Research (CSAR)

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

Tooth Regeneration and Repair: Dentistry in the 21st century

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

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

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

Karoubi envelopes, semifunctors, and the extensional lambda calculus

User Nathanael Arkor (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Graph Neural Networks for Biomedical Data

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

User Marinka Zitnik, Harvard University.

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

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

Large-scale sequential experimentation

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

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

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

User Philip Saville, University of Edinburgh.

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

Indexed containers and initial algebras for polynomial endofunctors

User Shaun Steenkamp (University of Cambridge).

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

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

Symmetries in Reinforcement Learning

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

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

Computational Neuroscience Journal Club

User Jasmine Stone (University of Cambridge).

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

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

A 2-dimensional bifunctor theorem

User Graham Manuell.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

What is Next for the Efficient Machine Learning Revolution?

User Nicholas Lane.

Cambridge Society for the Application of Research (CSAR)

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

Is Dementia Preventable?

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

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

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

Lovász' Theorem and Comonads in Finite Model Theory

User Tomas Jakl, University of Cambridge.

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

Modalities and HoTT

User Derek Sorensen.

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

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

Gradient-based Hyperparameter Optimisation

User Ross Clarke (University of Cambridge).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

User Alexander Norcliffe.

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

Free Commutative Monoids in Homotopy Type Theory

User Vikraman Choudhury, University of Indiana.

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

Distributive Iaws 2: Monadic Boogaloo

User Dima Szamozvancev (University of Cambridge).

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

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

Best Papers from ICML 2020

User Reading group participants.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Modulated Bayesian Optimisation

User Carl Henrik Ek.

Cambridge Society for the Application of Research (CSAR)

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

Osseointegration, approaching 1,000 cases.

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

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

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

Symmetric Arithmetic Circuits

User Gregory Wilsenach, University of Cambridge.

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

Distributive laws

User Dima Szamozvancev (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Constraining Variational Inference with Geometric Jensen-Shannon Divergence

User Jacob Deasy.

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

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

User Alasdair Armstrong, University of Cambridge.

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

Computational Neuroscience Journal Club

User Yul Kang and Wayne Soo.

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

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

Quillen model structures from models of HoTT

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting Mortality and Length of Stay with Patient Graph Representation Learning

User Emma Rocheteau.

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

House Online on google meets.

Cognitive switches and functional reprogramming of sensory cortex

User Abhishek Banerjee, Newcastle University.

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

Incrementality xor currency for monotone fixed points

User Michael Arntzenius, University of Cambridge.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Sponge Examples: Energy-Latency Attacks on Neural Networks

User Ilia Shumailov.

Cambridge Society for the Application of Research (CSAR)

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

Electronics on the brain

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

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

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

Higher Algebra in Computer Science

User Eric Finster, University of Cambridge.

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

Computational Neuroscience Journal Club

User Kris Jensen and David Liu.

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

House Virtual (see abstract for Zoom link).

Efficient and Structured Uncertainty: Challenges and Opportunities

User Andrey Malinin, Yandex Research.

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

Computational Neuroscience Journal Club

User Yashar Ahmadian.

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Emergent Multi-Agent Communication: The story so far

User Agnieszka Slowik (University of Cambridge).

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

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

Active Learning

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Weighting Based Adversarial Approach to Fairness in Machine Learning

User Mladen Nikolić, University of Belgrade.

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

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

Presheaves seen as freely added colimits: an algorithmic approach

User Younesse Kaddar.

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

House Venue to be confirmed.

Recent advances in the theory and applications of VAEs

User Gergely Flamich and Alexandru Cioba.

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

Cambridge Society for the Application of Research (CSAR)

Zero cases - the lessons from New Zealand

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

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

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

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

Presheaves and free cocompletion (part 2)

User Younesse Kaddar.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

User Botty Dimanov (University of Cambridge).

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

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

Presheaves and free cocompletion

User Younesse Kaddar.

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

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

Computational Neuroscience Journal Club

User Mate Lengyel (Engineering Department).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki.

Cambridge Society for the Application of Research (CSAR)

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

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

User Dr. Pete Husemeyer, Sportable.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Representation Learning under Uncertainty (WIP)

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

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

Computational Neuroscience Journal Club

User Guillaume Hennequin (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Emma Rocheteau (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

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

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

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

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

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

Goodwillie Calculus

User Derek Sorensen.

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

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

Best of ICLR 2020

User (University of Cambridge).

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

Computational Neuroscience Journal Club

User Jake Stroud (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

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

CSAR online webinar. Dieselgate: The Inside Story

User John German, International Council on Clean Transportation.

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

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

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

Differentiable Planning

User Will Tebbutt, Robert Pinsler.

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

Cambridge Society for the Application of Research (CSAR)

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

User Professor Mark Post, Maastricht University..

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

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

Why do neurons spike spontaneously?

User Tim Vogels (University of Oxford).

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

Why do neurons spike spontaneously?

User Tim Vogels (University of Oxford).

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

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

Recent Developments in Bayesian Deep Learning

User Andrew Foong, Siddharth Swaroop.

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

Computational Neuroscience Journal Club

User Yul Kang (University of Cambridge).

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

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

Strategic Classification

User Jiri Hron (University of Cambridge).

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

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

Machine Learning on Sets

User (University of Cambridge).

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

Computational Neuroscience Journal Club

User Kris Jensen and Marine Schimel.

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

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

Boltzmann Generators and Stochastic Normalizing Flows

User Vincent Stimper, Michael Bromberg.

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

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

World Models

User Dr Gregor Simm (University of Cambridge).

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

House Computer Lab, GC22.

A Syntactic View of Computational Adequacy

User Marco Devesas Campos, University of Birmingham.

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

Federated Learning

User Siddharth Swaroop (University of Cambridge).

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

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

Computational Neuroscience Journal Club

User Xizi Li (University of Cambridge).

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

House Computer Lab, SS03.

Tests and Proofs in Isabelle

User Yakoub Nemouchi, University of York.

Tuesday 10 March 2020, 14:30-14:50

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning evolving node and community representations on dynamic graphs

User Simeon Spasov.

House SS03, Computer Laboratory, William Gates Building.

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

Cambridge Society for the Application of Research (CSAR)

Let food be thy medicine.

User Professor Nita Forouhi, MRC Epidemiology Unit, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 09 March 2020, 19:30-21:00

Ends and coends (AKA "Cowedges: Endgame")

User Dima Szamozvancev (University of Cambridge).

ML@CL Ad-hoc Seminar Series

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

Deep Learning-Enhanced Analytics on Collaborative Edge-Cloud

Timing to be confirmed on getting venue

User Maryleen Ndubuaku.

House FW26, Computer Lab, 15 JJ Thomson Avenue, Cambridge.

Friday 06 March 2020, 10:00-11:00

Game Playing Meets Game Theory: Strategic Learning from Simulated Play

User wellman@umich.edu.

Thursday 05 March 2020, 11:00-12:00

House Computer Lab, FW26.

Aspects of my formal development work

User Boris Djalal, OpenAirInterface Software Alliance.

Thursday 05 March 2020, 10:00-10:20

House Computer Lab, FW11.

Automating proof by induction in Isabelle/HOL using domain-specific languages

User Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

Wednesday 04 March 2020, 10:00-10:20

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep Graph Mapper: Seeing Graphs through the Neural Lens

User Cristian Bodnar and Cătălina Cangea.

House SS03, Computer Laboratory, William Gates Building.

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

House Computer Lab, FW26.

Formal Foundations for Provably Safe Web Components

User Michael Herzberg, University of Sheffield.

Tuesday 03 March 2020, 10:00-10:20

House Computer Laboratory, room SS03.

A duality theoretic view on limits of finite structures

User Tomáš Jakl, Computer Lab.

Friday 28 February 2020, 14:00-15:00

House Computer Laboratory, room SS03.

Cerberus C semantics & pointer provenance

User Kayvan Memarian (University of Cambridge).

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

A Galois connection for operations and relations

User Adam ó Conghaile (University of Cambridge).

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

Self-Supervised Representation Learning

User Javier Antoran (University of Cambridge).

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

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

Computational Neuroscience Journal Club

User Marine Schimel.

Tuesday 25 February 2020, 16:00-17:00

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

Computational Neuroscience Journal Club

User Marine Schimel.

Tuesday 25 February 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Knowledge Graph Convolutional Networks - Combining ML and Reasoning

User James Fletcher, Haikal Pribadi (Grakn).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 25 February 2020, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Cancer: From science to benefit.

User Prof Sir Leszek Borysiewicz, Cancer Research UK.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 24 February 2020, 19:30-21:00

House Computer Laboratory, room SS03.

Computation via Substructures

User Ramanathan S. Thinniyam, MPI-SWS.

Monday 24 February 2020, 14:00-15:00

House Computer Lab, FW26.

A Profunctorial Finiteness Semantics

User Zeinab Galal.

Friday 21 February 2020, 14:00-15:00

Kernel Mean Embeddings

User Elre Oldewage (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

Some ideas on neural network modulation

User Ben Day (Department of Computer Science and Technology).

House GS15, Computer Laboratory, William Gates Building.

Tuesday 18 February 2020, 13:00-14:00

Neural Tangent Kernel

User Adria Garriga Alonso, Sebastian Ober.

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

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

Computational Neuroscience Journal Club

User Wayne Soo (University of Cambridge).

Tuesday 11 February 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks

User Michael Imbeault (Department of Genetics, Cambridge Univ).

House FW26, Computer Laboratory, William Gates Builiding.

Tuesday 11 February 2020, 15:00-16:00

D-ultrafilter monads

User Lurdes Sousa (CMUC, University of Coimbra & IP Viseu).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 11 February 2020, 14:15-15:15

Machine learning for network inference

User Ljupco Todorovski (University of Ljubljana).

House LT1, Computer Laboratory, William Gates Builiding, West Cambridge site.

Tuesday 11 February 2020, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

A Global Learning Crisis - Using tablets to get one billion children reading

User Andrew Ashe, onebillion.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 10 February 2020, 19:30-21:00

Characterizing weakly Schreier extensions of monoids

User Peter Faul (University of Cambridge).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 04 February 2020, 14:15-15:15

Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality

User Edoardo Calvello (Imperial College).

House LT2, Computer Laboratory, William Gates Building.

Tuesday 04 February 2020, 13:00-14:00

Lawvere theories and finitary monads

User Nathanael Arkor (University of Cambridge).

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

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

Computational Neuroscience Journal Club

User Simon Schug (University of Cambridge).

Tuesday 28 January 2020, 16:00-17:00

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

Computational Neuroscience Journal Club

User Simon Schug (University of Cambridge).

Tuesday 28 January 2020, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Flexible deep learning for heterogeneous clinical time series

User Jacob Deasy.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 28 January 2020, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Gene targeting therapies – what does the future hold for neurological disorders?

User Professor Sarah Tabrizi, University College London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

Robust Deep Learning Under Distribution Shift

User Zack Lipton, CMU.

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

A Formal Approach to Generalisations of Monads

User Gabriele Lobbia (University of Leeds).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 21 January 2020, 14:15-15:15

Abstract Diagrammatic Reasoning with Multiplex Graph Networks

User Duo Wang.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 21 January 2020, 13:00-14:00

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

Computational Neuroscience Journal Club

User Kris Torp Jensen.

Tuesday 14 January 2020, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Air pollution and human health. Lessons learnt and challenges ahead.

User Professor Frank Kelly, Department of Analytical, Environmental and Forensic Sciences, King's College London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 13 January 2020, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Geometrical Perspective on Deep Neural Networks

User Stanislav Fort (Stanford University; formerly Google Research).

House LT2, Computer Laboratory, William Gates Building.

Monday 13 January 2020, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library

User Dmitry Kazhdan.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 10 December 2019, 13:00-14:00

House Computer Laboratory, Room FW26.

Quantum things 3 - Resources and Co-resources

User Anuj Dawar (University of Cambridge).

Friday 06 December 2019, 14:00-15:00

House Computer Laboratory, Room FW11.

Modular Relaxed Dependencies in Weak Memory Concurrency

User Marco Paviotti.

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

Scalable Gaussian Processes

User David Burt, Andrew Foong.

Wednesday 04 December 2019, 14:00-15:30

An introduction to Martin-Löf Type Theory

User Vikraman (University of Cambridge).

Wednesday 04 December 2019, 11:00-12:00

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

Computational Neuroscience Journal Club

User Adriana Perez Rotondo (University of Cambridge).

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

Zariski-type spectra of localic rings and monoids

User Graham Manuell (University of Edinburgh).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 03 December 2019, 14:15-15:15

Work in progress: Diving deeper into building distributed representations graphs

User Paul Scherer.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 03 December 2019, 13:00-14:00

Probabilistic Programming

User Hong Ge and John Bronskill.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 27 November 2019, 14:00-15:30

AI, Data Science & Mechanism Design in Sub-Saharan Africa

User Daniel Mutembesa (Makerere University).

House LT2, Computer Laboratory, William Gates Building.

Wednesday 27 November 2019, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Model extraction for clinical decision support systems

User Zohreh Shams.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 26 November 2019, 13:00-14:00

Horizontal & vertical categorification: from monoids to bicategories

User Nathanael Arkor (University of Cambridge).

Friday 22 November 2019, 11:00-12:00

Neural Attention

User Elre Oldewage, George Hron.

Wednesday 20 November 2019, 14:00-15:30

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

Computational Neuroscience Journal Club

User Yul Kang (University of Cambridge).

Tuesday 19 November 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Finding an Analogy

User Aaron Stockdill.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 19 November 2019, 12:00-13:00

Quantum Things 2 - The quantum monad on relational structures

User Nadish de Silva (University of Cambridge).

House SS03.

Friday 15 November 2019, 14:00-15:00

House MR9 Centre for Mathematical Sciences.

Quantum Things 1 - Monads, comonads, and resource-limited computation

User Adam ó Conghaile (University of Cambridge).

Thursday 14 November 2019, 14:15-15:15

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

Structure in the randomness of trained recurrent neural networks

User Omri Barak (Technion, Israel Institute of Technology).

Thursday 14 November 2019, 11:00-12:00

Equivariance and Symmetries in CNNs

User James Allingham, Omer Sella.

Wednesday 13 November 2019, 14:00-15:30

Coherence through normalisation-by-evaluation for cartesian closed bicategories

User Philip Saville (University of Edinburgh).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 12 November 2019, 14:15-15:15

Matrix Means for Signed and Multilayer Graph Clustering

User Pedro Mercado (University of Tübingen).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 12 November 2019, 13:00-14:00

Models and inference for temporal Gaussian processes

User William Wilkinson, Aalto University, Finland.

Cambridge Society for the Application of Research (CSAR)

Tuesday 12 November 2019, 11:00-12:00

The Next Generation of Children

User Professor Lucy Raymond, Cambridge Institute for Medical Research, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 11 November 2019, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Rule extraction from deep neural nets

User Urska Matjasec (University of Ljubljana).

House FC22, Computer Laboratory, William Gates Building.

Friday 08 November 2019, 16:00-17:00

Haskelly things

User Richard Eisenberg (Bryn Mawr College).

Friday 08 November 2019, 13:00-14:00

Applicative functors

User Dima Szamozvancev.

Friday 08 November 2019, 11:00-12:00

Hyperparameter Optimisation

User Ross Clarke, Erik Daxberger, Austin Tripp.

Wednesday 06 November 2019, 14:00-15:30

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

Computational neuroscience journal club

User Monika Jozsa.

Tuesday 05 November 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning Systems Design

User Prof Neil Lawrence.

House LT2, Computer Laboratory, William Gates Building.

Tuesday 05 November 2019, 13:00-14:00

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

Neural information processing during behavior and sleep

User Mayank Mehta (UCLA).

Tuesday 05 November 2019, 11:30-12:30

Meta-Learning or "Learning To Learn"

User John Bronskill, Marton Havasi.

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

Programming with monads and graded monads

User Andrej Ivašković.

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

Reinforcement Learning at Huawei: Robustness, Safety, and Efficiency

User Haitham Ammar, Huawei.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wednesday 30 October 2019, 10:00-11:00

Question Answering in Realistic Visual Environments: Challenges and Approaches

User Catalina Cangea.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 29 October 2019, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Artificial Intelligence in Opthalmology

User Dr. Pearce Keane, Moorfields Eye Hospital.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 28 October 2019, 19:30-21:00

Constructing temporal latent spaces: Representation learning for clustering and imputation on time series

User Vincent Fortuin, ETH Zurich.

Monday 28 October 2019, 11:00-12:00

Explaining Neural Networks: Post-hoc and Natural Language Explanations

User Oana Camburu, University of Oxford.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Friday 25 October 2019, 11:00-12:00

Neural networks to model probability densities in quantum chromodynamics

User Zahari Kassabov (High Energy Physics group, Cavendish).

House SS03, Computer Laboratory, William Gates Building.

Wednesday 23 October 2019, 14:30-15:30

Hamiltonian Monte Carlo for Hierarchical Models

User Vidhi Lalchand.

Wednesday 23 October 2019, 14:00-15:30

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

Computational Neuroscience Journal Club

User Michael Rule.

Tuesday 22 October 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping

User Cristian Bodnar.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 22 October 2019, 13:00-14:00

Call-by-push-value

User Dylan McDermott.

Friday 18 October 2019, 11:00-12:00

Toposes for modified realizability

User Dr. Benno van den Berg (University of Amsterdam).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Thursday 17 October 2019, 14:15-15:15

Verifiable robustness of neural networks in autonomous vehicles.

User Edward Ayers (Department of Mathematics).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 15 October 2019, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Big Data Psychometrics

User Dr. David Stilwell, Cambridge University Judge Business School.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 14 October 2019, 19:30-21:00

The way of the empty proof

User Jean-Louis Lassez.

Friday 11 October 2019, 14:00-15:00

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

Dopamine as prediction error in active inference

User Rafal Bogacz (Oxford).

Thursday 10 October 2019, 11:30-12:30

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

Neurotransmitter spillover modulates neuronal information transmission

User Mehrdad Salmasi (Ludwig-Maximilians-Universität, Munich).

Wednesday 09 October 2019, 10:00-11:00

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

Computational Neuroscience Journal Club

User Calvin Kao.

Tuesday 08 October 2019, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Innovation and the Cambridge Cluster: Past, present and future.

User Professor Tim Minshall, Institutue for Manufacturing, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 30 September 2019, 19:30-21:00

Learning-Algorithms from Bayesian Principles

User Emti Khan, RIKEN center for Advanced Intelligence Project.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 24 September 2019, 10:00-11:00

A human-oriented term rewriting system

User Ed Ayers (University of Cambridge).

House FC22.

Monday 23 September 2019, 13:00-14:00

Local reasoning for robust observational equivalence

User Koko Muroya.

Thursday 12 September 2019, 13:45-14:45

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Wearable non-invasive human neural interface with action potential resolution

User Dan Wetmore, PhD, Director of Clinical and Research partnerships, CTRL-labs.

Tuesday 10 September 2019, 10:00-11:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Wearable non-invasive human neural interface with action potential resolution

User Patrick Kaifosh, PhD, Chief Science Officer, CTRL-labs.

Tuesday 10 September 2019, 10:00-11:00

Rotation Invariant Householder Parameterization for Bayesian PCA

User Rajbir Nirwan, Goethe University, Frankfurt.

Wednesday 04 September 2019, 11:00-12:00

Two Approximate Sampling Methods for Bayesian Deep Learning

User Wesley Maddox (New York University).

Friday 23 August 2019, 11:00-12:00

Semi-Unsupervised Learning with Deep Generative Models / Disentangling Improves VAEs' Robustness to Adversarial Attacks

User Matthew Willetts and Alexander Camuto, University of Oxford / Alan Turing Institute.

Wednesday 17 July 2019, 14:00-15:00

Efficiency and Transferability of Neural Networks

User Amos Storkey, School of Informatics, University of Edinburgh.

Friday 12 July 2019, 11:00-12:00

Learning via Data Compression: Bayesian Coresets and Sparse Variational Inference

User Trevor Campbell, University of British Columbia.

Wednesday 26 June 2019, 11:00-12:00

Deep Neural Networks: A Nonparametric Bayesian Approach with Local Competition

User Konstantinos P. Panousis.

Thursday 20 June 2019, 11:00-12:00

Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance

User Jean-Baptiste Jeannin, University of Michigan.

Monday 17 June 2019, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Dhruva Raman (University of Cambridge).

Tuesday 11 June 2019, 16:00-17:00

Information Consumption on Social Media: Efficiency, Trust, and Divisiveness

User Reza Babaei.

Cambridge Society for the Application of Research (CSAR)

Tuesday 11 June 2019, 15:00-15:30

Volcano watching: weapons of ash eruption.

User Prof. Tamsin Mather, University of Oxford.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 10 June 2019, 19:30-21:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Thomas Burger (Control Group).

Tuesday 28 May 2019, 16:00-17:00

On the Theory of Higher Subtopoi

User Eric Finster (Inria - Nantes).

Tuesday 28 May 2019, 14:15-15:15

Retrofitting Purity with Comonads and Capabilities

User Vikraman Choudhury, Indiana University / Cambridge.

Friday 24 May 2019, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

How perception informs urgent saccadic choices: halting, acceleration, and deceleration

User Emilio Salinas (Wake Forest School of Medicine).

Tuesday 21 May 2019, 11:00-12:00

Why Do We Need New Hardware & Software for Machine Intelligence?

User Victoria Rege, Scott Griffiths.

Friday 17 May 2019, 11:00-12:00

Particle MCMC

User Will Tebbutt (University of Cambridge).

Wednesday 15 May 2019, 14:00-15:30

Internal categories, generalised multicategories and operads

User Nathanael Arkor (University of Cambridge).

Wednesday 15 May 2019, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Xizi Li (CBL).

Tuesday 14 May 2019, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Gene eating

User Dr. Giles Yeo, Principal Research Associate, Metabolic Research Laboratories and MRC Metabolic Diseases Unit, Addenbrooke's Hospital, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 13 May 2019, 19:30-21:00

Hardness magnification near state-of-the-art lower bounds

User Jan Pich, Oxford.

Friday 10 May 2019, 14:00-15:00

An Overview of the Flix Programming Language

User Magnus Madsen, Aarhus University.

Thursday 09 May 2019, 13:45-14:45

Stochastic Differential Equations

User David Burt.

Wednesday 08 May 2019, 14:00-15:30

Linear Logic and Quantum Programming

User Marc de Visme.

Wednesday 08 May 2019, 11:00-12:00

Metric Algebra

User Marcelo Fiore (University of Cambridge) .

Tuesday 07 May 2019, 14:15-15:15

Nonparametric Generative Modeling via Optimal Transport and Diffusions with Provable Guarantees

User Umut Şimşekli, Télécom Paristech.

Tuesday 07 May 2019, 11:00-12:00

Generalisation in neural networks

User Marton Havasi.

Wednesday 01 May 2019, 14:00-15:30

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Gido van de Ven.

Tuesday 30 April 2019, 16:00-17:00

Betweenness reals: How to do Dedekind cuts when you don't know which way is up

User Peter Johnstone (DPMMS).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 30 April 2019, 14:15-15:15

Interpretable Deep Learning

User Botty Dimanov.

House FC22.

Tuesday 30 April 2019, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

“The Robot will see you now.” Has the time for surgical robots arrived?

User Mr. Mark Slack, CMR Surgical and University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 29 April 2019, 19:30-21:00

An Overview of Normalizing Flows

User Robert Pinsler.

Wednesday 24 April 2019, 14:00-15:30

Resource-oriented programming with graded modal types

User Vilem Liepelt, University of Kent.

Thursday 18 April 2019, 14:00-15:00

Uncertainty is hope: towards a unified foundation of gradual typing

User Joshua Dunfield, Queen’s University, Canada.

Wednesday 17 April 2019, 14:00-15:00

Push versus Pull-Based Loop Fusion in Query Engines

User Amir Shaikhha, Oxford.

Friday 12 April 2019, 14:00-15:00

NeVAE: A Deep Generative Model for Molecular Graphs

User Abir De, Max Planck Institute for Software Systems.

Monday 08 April 2019, 11:00-12:00

Global model explainability via aggregation

User Umang Bhatt, CMU.

Thursday 04 April 2019, 16:00-16:45

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Jake Stroud.

Thursday 04 April 2019, 11:30-12:30

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Jake Stroud.

Thursday 04 April 2019, 11:30-12:30

Sampling as Optimization

User Eric Nalisnick, University of Cambridge.

Wednesday 03 April 2019, 13:45-15:15

Stacked Borrows: An Aliasing Model for Rust

User Ralf Jung, MPI-SWS.

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

Robust machine learning for causal inference in health care

User David Sontag, MIT.

Wednesday 27 March 2019, 11:00-12:00

Excel Formulae: a PL perspective

User Ben Simner, Computer Laboratory.

Friday 22 March 2019, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Ta-Chu (Calvin) Kao -- CBL.

Tuesday 19 March 2019, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

How do we measure quality in higher education?

User Prof. Anna Vignoles, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 18 March 2019, 19:30-21:00

Linear Capabilities: an overview

User Dominique Devriese, Vrije Universiteit Brussel.

Monday 18 March 2019, 14:30-15:00

Linear capabilities for fully abstract compilation of separation-logic-verified code

User Thomas Van Strydonck, KU Leuven.

Monday 18 March 2019, 11:45-12:15

StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

User Lau Skorstengaard, Aarhus University.

Monday 18 March 2019, 11:15-11:45

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

The K-FAC method for neural network optimization

User James Martens, Google Deep Mind.

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

Implicit Variational Inference

User Andrew Foong (University of Cambridge).

Wednesday 13 March 2019, 13:45-15:15

Continual Learning: Definitions, Benchmarks, and Approaches

User Siddharth Swaroop (University of Cambridge).

Wednesday 06 March 2019, 13:45-15:15

The Legendre-Fenchel transform from a category theoretic perspective

User Simon Willerton (University of Sheffield).

Cambridge Society for the Application of Research (CSAR)

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

How did we get here? Reconstructing the genome of our ancient vertebrate ancestor.

User Prof. Aoife McLysaght, Trinity College, University of Dublin.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

Causal Inference and Causal Reinforcement Learning

User Chaochao Lu (University of Cambridge).

Wednesday 27 February 2019, 13:45-15:15

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Stimulus complexity shapes response correlations in primary visual cortex

User Gergő Orbán (HAS Wigner Research Centre for Physics).

Wednesday 27 February 2019, 11:00-12:00

Internal Language of Higher Categories

User Karol Szumiło (University of Leeds).

Tuesday 26 February 2019, 14:15-15:15

A domain theory for statistical probabilistic programming

User Ohad Kammar, Edinburgh.

Friday 22 February 2019, 15:00-16:00

Generative models for few-shot prediction tasks

User Marta Garnelo (Google DeepMind).

Wednesday 20 February 2019, 13:45-15:15

Monadic modalities

User Dima Szamozvancev.

Wednesday 20 February 2019, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Flavia Mancini (University of Cambridge).

Tuesday 19 February 2019, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Dilated DenseNets for Relational Reasoning

User Agnieszka Slowik (University of Cambridge).

House Venue to be confirmed.

Tuesday 19 February 2019, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Cancers and the tumour microenvironment

User Prof. Frances Balkwill, Queen Mary University of London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 18 February 2019, 19:30-21:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Neural circuit mechanisms of learning and attentional task-switching during visually-guided behaviour in mice

User Dr Jasper Poort ( Department of Psychology, Cambridge).

Friday 15 February 2019, 10:00-11:00

Online Meta-Learning

User Massimiliano Pontil, University College London.

Thursday 14 February 2019, 11:00-12:00

Logical Uncertainty

User Adrià Garriga Alonso (University of Cambridge).

Wednesday 13 February 2019, 13:45-15:15

Dataflow languages and the semantics of context-dependent programming

User Andrej Ivašković.

Wednesday 13 February 2019, 11:00-12:00

Locally graded categories

User Paul Levy (University of Birmingham).

Tuesday 12 February 2019, 14:15-15:15

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Laurence Aitchison (CBL).

Tuesday 05 February 2019, 16:00-17:00

A new proof of the lattice property of the Tamari order

User Noam Zeilberger (University of Birmingham).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Tuesday 05 February 2019, 14:15-15:15

Quick intro to building and analysing distributed representation of graphs

User Paul Scherer.

House Venue to be confirmed.

Tuesday 05 February 2019, 13:00-14:00

Cambridge Society for the Application of Research (CSAR)

Inflamed Depression

User Prof. Edward Bullmore, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 04 February 2019, 19:30-21:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

High-dimensional dynamics of generalization error in neural networks: implications for experience replay

User Dr. Andrew Saxe, University of Oxford.

Friday 01 February 2019, 12:30-13:30

Gauge Equivariant Convolutional Networks on Manifolds

User Taco Cohen.

Thursday 31 January 2019, 13:30-14:30

Stein Discrepancy

User Sebastian Ober (University of Cambridge).

Monday 28 January 2019, 14:00-15:30

House Engineering Department, LR5 (in front of library, 1st floor).

Observation and Intervention Incentives in Causal Influence Diagrams: Towards an Understanding of Powerful Machine Learning Systems

User Tom Everitt (DeepMind).

Friday 25 January 2019, 11:00-12:00

Moggi's Monads

User Philip Saville (University of Cambridge).

Wednesday 23 January 2019, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Daniel Acosta-Kane (CBL).

Tuesday 22 January 2019, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

How Science Really Works, and Why It Matters

User Prof. Jeremy Baumberg, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 21 January 2019, 19:30-21:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Local and global synaptic credit assignment

User Dr Rui Ponte Costa (University of Bristol).

Friday 18 January 2019, 11:00-12:00

Fairness for Sequential Decision Making Algorithms

User Hoda Heidari.

Thursday 17 January 2019, 11:00-12:00

Gaussian processes for inferring latent functions in complex data models

User Martin Tegner.

Tuesday 18 December 2018, 10:30-11:00

Project Everest: towards a verified TLS ecosystem

User Jonathan Protzenko, MSR Redmond.

Friday 30 November 2018, 14:00-15:00

Neural Ordinary Differential Equations

User Eric T Nalisnick (University of Cambridge).

Wednesday 28 November 2018, 14:00-15:30

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Marcelo Mattar (CBL).

Tuesday 27 November 2018, 16:00-17:00

Univalent Universes of Sets

User Andrew Pitts (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 27 November 2018, 14:15-15:15

Talk: The Science of Conversation

User Prof. Elizabeth Stokoe, Loughborough University.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 26 November 2018, 19:30-21:00

Adrian Seminars in Neuroscience

Adrian Seminar - "Computational model of rapid learning in hippocampus".

User Claudia Clopath, Imperial College London.

House The Hodgkin Huxley Seminar Room, Department of Physiology Development and Neuroscience.

Monday 26 November 2018, 16:30-18:00

Verifying Concurrent Search Structure Templates

User Siddharth Krishna, NYU.

House SS03.

Monday 26 November 2018, 15:00-16:00

Natural gradient in deep neural networks

User Alberto Bernacchia (University of Cambridge).

Wednesday 21 November 2018, 14:00-15:30

Introduction to string diagrams

User Dima Szamozvancev.

Wednesday 21 November 2018, 11:00-12:00

House Cambridge University Engineering Dept., CBL Seminar Room (4th floor).

A brain-machine interface for locomotion driven by subspace dynamics

User Karen E. Schroeder, Columbia University.

Wednesday 21 November 2018, 11:00-12:00

PP is not a monad

User Bartek Klin, Warsaw University.

Tuesday 20 November 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Neural mechanisms of model-based planning in the rat

User Kevin Miller, University College London.

Tuesday 20 November 2018, 11:00-12:00

Lower bound for arithmetic circuits via Hankel matrix

User Pierre Ohlmann, IRIF, Université Paris 7.

House SS03.

Friday 16 November 2018, 14:15-15:15

Graph Neural Networks

User Matej Balog (University of Cambridge).

Wednesday 14 November 2018, 14:00-15:30

House Cambridge University Engineering Dept., Board Room (2nd floor, Baker building).

Computational Neuroscience Journal Club

User Michael Rule (Control Group).

Tuesday 13 November 2018, 16:00-17:00

Univalent Completion

User Ieke Moerdijk (University of Utrecht).

Cambridge Society for the Application of Research (CSAR)

Tuesday 13 November 2018, 14:15-15:15

Climate Change, Storms, Floods, Uncertainty and Humans?

User Prof. Ian Cluckie, Swansea University.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 12 November 2018, 19:30-21:00

Defending Against Adversarial Attacks

User Ross Clarke (University of Cambridge).

Wednesday 07 November 2018, 14:00-15:30

Agda: a practical tutorial

User Matthew Daggitt.

Wednesday 07 November 2018, 11:00-12:00

Reinforcement Learning and Control as Probabilistic Inference

User Robert Pinsler, Calvin Kao.

Wednesday 31 October 2018, 14:00-15:30

Introduction to game semantics for programming languages

User Aurore Alcolei.

Wednesday 31 October 2018, 11:00-12:00

A Model Invariance Problem in Homotopy Type Theory

User Anthony Bordg (University of Cambridge).

Tuesday 30 October 2018, 14:15-15:15

House Cambridge University Engineering Dept., Board Room (2nd floor, Baker building).

Computational Neuroscience Journal Club

User Adriana Perez-Rotondo (Control group).

Tuesday 30 October 2018, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

Energy and matter at the origin of life – and why it matters

User Prof. Nick Lane, UCL.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 29 October 2018, 19:30-21:00

Dependent type theory and the univalence axiom

User Ian Orton.

Wednesday 24 October 2018, 11:00-12:00

No-Go Theorems for Distributive Laws

User Maaike Zwart (University of Oxford).

Tuesday 23 October 2018, 14:15-15:15

House Cambridge University Engineering Dept., Board Room (2nd floor, Baker building).

Computational Neuroscience Journal Club

User Rodrigo Echeveste (CBL).

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

Cambridge Society for the Application of Research (CSAR)

Hello World: How to be human in the age of the machine

User Dr. Hannah Fry, UCL.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 15 October 2018, 19:30-21:00

Causal Inference for Treatment Effects: A Theory and Associated Learning Algorithms

User Mihaela van der Schaar .

Thursday 11 October 2018, 11:00-12:00

House Cambridge University Engineering Dept., Board Room (2nd floor, Baker building).

Computational Neuroscience Journal Club

User Alberto Bernacchia (CBL).

Tuesday 02 October 2018, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Can we slow ageing? Lessons from an EPIC cohort

User Prof. Kay-Tee Khaw, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

Monday 01 October 2018, 19:30-21:00

Dagger limits

User Martti Karvonen (University of Edinburgh).

Tuesday 18 September 2018, 14:15-15:15

Quasi-polynomial solutions for parity games and other problems

User Karoliina Lehtinen, Christian-Albrechts University of Kiel.

Friday 14 September 2018, 14:00-15:00

Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing

User Paul Downen, University of Oregon.

Tuesday 11 September 2018, 14:00-15:00

House Cambridge University Engineering Dept., Board Room (2nd floor, Baker building).

Reactivation in biological and artificial neural networks

User Gido van de Ven, PhD; Baylor College of Medicine.

Tuesday 11 September 2018, 10:00-11:00

House Engineering Department, Board Room on the 2nd Floor.

Interpretability - the myth, questions, and some answers

User Been Kim, Google Brain.

Monday 10 September 2018, 11:00-12:00

House dyson teaching room (TBC).

Constraint-based causal Discovery from NOnstationary/heterogeneous Data (CD-NOD)

User Biwei Huang, CMU.

Friday 24 August 2018, 11:00-12:00

Graphical Conjunctive Queries

User Pawel Sobocinski, University of Southampton.

Friday 27 July 2018, 14:00-15:00

Automated Full-Stack Memory Model Verification with the Check suite

User Yatin Manerkar, Princeton University.

Thursday 19 July 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Guillaume Hennequin (CBL).

Tuesday 17 July 2018, 16:00-17:00

Fast yet Simple Natural-Gradient Variational Inference in Complex Models

User Emtiyaz Khan, team leader (equivalent to Full Professor) at the RIKEN center for Advanced Intelligence Project (AIP) in Tokyo.

Monday 16 July 2018, 11:00-12:00

Polynomial models of type theory

User Tamara von Glehn (DPMMS).

Friday 06 July 2018, 14:00-15:00

Variance in Policy Gradient methods and Learning Sequential Latent Variable Models

User George Tucker, Google Brain.

Wednesday 04 July 2018, 11:00-12:00

Types and Safety of Lock-free Data Structures

User Elias Castegren, MSR.

Friday 29 June 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Yul Kang (CBL).

Tuesday 26 June 2018, 16:00-17:00

Structured deep models: Deep learning on graphs and beyond

User Thomas Kipf (Uni of Amsterdam).

Thursday 21 June 2018, 11:00-12:00

The direct approach to evaluation order

User Guillaume Munch-Maccagnoni, INRIA.

Tuesday 19 June 2018, 14:00-15:00

Compositional Compiler Verification for a Multi-Language World

User Amal Ahmed, Northeastern University.

Friday 15 June 2018, 14:00-15:00

House Cambridge University Engineering Department, Lecture Room 4.

Preventing Fairness Gerrymandering: Auditing and Learning for Subgroup Fairness

User Prof. Michael Kearns (University of Pennsylvania).

Thursday 14 June 2018, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Xizi Li (CBL).

Tuesday 12 June 2018, 16:00-17:00

From global to local state in game semantics via the sequoid

User James Laird, University of Bath.

Friday 01 June 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Adrianna Loback (Control Group).

Tuesday 29 May 2018, 16:00-17:00

Quantitative equational reasoning

User Prakash Panangaden, McGill University.

Thursday 24 May 2018, 13:45-14:45

Semi-Generative Modelling: Domain Adaptation with Cause and Effect Features

User Julius von Kugelgen.

Wednesday 23 May 2018, 11:30-12:00

Scheduling Tasks for Reconfigurable Architecture

User Amlan Chakrabarti, University of Calcutta.

Friday 18 May 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Andrey Stoychev (Control Group).

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

House MR3, Centre for Mathematical Sciences.

Uniform Kan fibrations from scratch

User Eric Faber (DPMMS).

Tuesday 15 May 2018, 14:15-15:15

Algorithmic Glass Ceiling in Social Networks

User Ana Stoica, Columbia University.

Wednesday 09 May 2018, 11:00-12:00

Lecture 3: Logic for Program Development, Verification and Implementation.

User Tony Hoare, FRS FREng.

Friday 04 May 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Information Efficacy of a Dynamic Synapse

User Mehrdad Salmasi (Ludwig-Maximilians-University Munich).

Thursday 03 May 2018, 15:30-16:30

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

User Hubert Chen, Birkbeck University of London.

Friday 27 April 2018, 14:00-15:00

New methods for left exact localizations of topoi

User Mathieu Anel (Université Paris Diderot).

Tuesday 24 April 2018, 14:15-15:15

House Cambridge University Engineering Department, Lecture Room 11.

A Bayesian Perspective on Generalization and SGD

User Dr. Samuel L. Smith, Google Brain.

Tuesday 17 April 2018, 11:00-12:00

Algorithmic Glass Ceiling in Social Networks

User Ana Stoica, Columbia University.

Cambridge Society for the Application of Research (CSAR)

Sunday 15 April 2018, 11:00-12:00

Metamaterials and the Science of Invisibility

User Prof. Sir John Pendry, Imperial College, London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

Elementary embeddings for category theory

User Andrew Brooke-Taylor (University of Leeds).

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

Left Exact Modalities in Type Theory

User Eric Finster, INRIA Rennes.

Friday 09 March 2018, 14:00-15:00

Neural Networks and Natural Language Processing

User Matej Balog (University of Cambridge).

Thursday 08 March 2018, 13:30-15:00

Comonad cohomology of track categories

User Simona Paoli (University of Leicester).

Tuesday 06 March 2018, 14:15-15:15

Structure in tensor-variate data: a trivial byproduct of simpler phenomena?

User John P. Cunningham.

Cambridge Society for the Application of Research (CSAR)

Tuesday 06 March 2018, 11:00-12:00

The Knotty Maths of Medicine

User Prof. Dorothy Buck, University of Bath, University of Bath.

House Sackler Lecture Theatre, Institute of Astronomy, Madingley Road, Cambridge, CB3 0HA.

Monday 05 March 2018, 19:30-21:00

Information Theory, Codes, and Compression

User Christian Steinruecken (University of Cambridge).

Thursday 01 March 2018, 13:30-15:00

Modular Algorithm Analysis

User Michel Schellekens, University College Cork.

Friday 23 February 2018, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Robert Taylor (Bays Lab).

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

What does it mean to be Hopf?

User Ignacio Lopez Franco (Universidad de la República).

Cambridge Society for the Application of Research (CSAR)

Tuesday 20 February 2018, 14:15-15:15

Epigenetics - Why DNA Is Not Your Destiny

User Dr Nessa Carey, Imperial College, London.

House Sackler Lecture Theatre, Institute of Astronomy, Madingley Road, Cambridge, CB3 0HA.

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

Lightweight verification of separate compilation

User Chung-Kil Hur, Seoul National University.

House FW11.

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

Lipschitz Global Optimization

User Professor Yaroslav D Sergeyev, Universita della Calabria.

Friday 16 February 2018, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

Statistical Learning Theory

User Maria Lomeli.

Thursday 15 February 2018, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Interfacing with the brain using organic electronics

User George Malliaras (Department of Engineering, University of Cambridge,).

Thursday 15 February 2018, 11:00-12:00

Constructing models of constructive or intuitionistic set theory from classical models of set theory

User Robert Passmann (University of Amsterdam).

Tuesday 13 February 2018, 15:45-16:45

A characterisation of the congruence biframe

User Graham Manuell (University of Edinburgh).

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

Lecture 2: Algebraic Theory of Program Transformation

User Tony Hoare, FRS FREng.

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

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Calvin Kao (CBL).

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

Perfect toposes and infinitesimal weak generation

User Peter Johnstone (DPMMS).

Cambridge Society for the Application of Research (CSAR)

Tuesday 06 February 2018, 14:15-15:15

Enhancing the Brain and Wellbeing in Health and Disease

User Prof. Barbara J. Sahakian, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House Engineering Department, CBL Seminar Room 4-38.

Deep Generative Models

User Jonathan Gordon; Alexander Matthews.

Thursday 01 February 2018, 13:30-15:00

Univalent polymorphism

User Benno van den Berg (University of Amsterdam).

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

Atomicity Abstractions in Relaxed Memory Architectures

User Brijesh Dongol, Brunel University London.

Computer Laboratory Programming Research Group Seminar

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

Energy Efficient Compilation of Irregular Task-Parallel Loops

User Krishna Nandivada, IIT Madras, India.

House GS15.

Thursday 25 January 2018, 14:00-15:00

House Engineering Department, CBL Seminar Room 4-38.

Minimum Description Length

User Carl E. Rasmussen; Niki Kilbertus.

Thursday 25 January 2018, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Greg Sotiropoulos (CBL).

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

Logic Programming, Semantics, and a Bit of Cleverness

User William Byrd, University of Alabama at Birmingham.

Cambridge Society for the Application of Research (CSAR)

Tuesday 23 January 2018, 11:00-12:00

Building World Class Life Science Businesses – The Good, The Bad and The Ugly

User Dr. Jonathan Milner, Deputy Chairman, Abcam plc.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

A Geometric Theory of Program Testing.

User Tony Hoare, FRS FREng.

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

House MR11, Centre for Mathematical Sciences.

Sattler model structures

User Nicola Gambino (University of Leeds).

Thursday 18 January 2018, 10:00-11:00

House Engineering Department, CBL Seminar Room 4-38.

Machine Learning for Sounds

User Akisato Kimura.

Thursday 11 January 2018, 13:30-15:00

House Engineering Department, CBL Seminar Room 4-38.

NIPS 2017 Highlights

User Speaker to be confirmed.

Thursday 14 December 2017, 13:30-15:00

Variational inference for some models with Polya-Gamma latent variables and Gaussian process priors

User Manfred Opper, TU Berlin.

Wednesday 13 December 2017, 13:30-14:30

Bayesian Generative Adversarial Networks

User Professor Andrew Wilson, Cornell University.

Wednesday 13 December 2017, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Dhruva Raman (Control Group).

Tuesday 12 December 2017, 16:00-17:00

The Linux Kernel Concurrency Model

User Andrea Parri.

Thursday 07 December 2017, 11:00-12:00

Effective Stateless Model Checking for C/C++ Concurrency

User Viktor Vafeiadis, MPI-SWS.

Tuesday 05 December 2017, 10:30-11:30

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

User Sam Lindley, University of Edinburgh.

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

AI for Inclusive Finance

User Alan Qi and Le Song.

Friday 01 December 2017, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

Hardware Efficient Machine Learning

User Robert Peharz; Marton Havasi.

Thursday 30 November 2017, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Laurence Aitchison (CBL).

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

Skew monoidal structure on categories of algebras

User Philip Saville (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 28 November 2017, 14:15-15:15

How Democracy Ends: Thinking the Unthinkable

User Prof. David Runciman, University of Cambridge.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

Backprop through the Void: Optimizing Control Variates for Black-Box Gradient Estimation.

User Geoff Roeder (University of Toronto).

Monday 27 November 2017, 11:00-12:00

Learning to Learn without Gradient Descent by Gradient Descent

User Yutian Chen, DeepMind.

Friday 24 November 2017, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

Learning to Learn

User Siddharth Swaroop; Will Tebbutt.

Thursday 23 November 2017, 13:30-15:00

Linear and Dependent Types

User Mark Wassell.

Friday 17 November 2017, 11:00-12:00

Towards true end-to-end learning & optimization

User Dr Frank Hutter.

Friday 17 November 2017, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

WGAN and Optimal Transport

User Mark Rowland; Wenbo Gong.

Thursday 16 November 2017, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Mahdieh Sadabadi (CBL).

Tuesday 14 November 2017, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Will the Antarctic Go Green Again? Lessons from its Fossil History

User Prof. Jane Francis, British Antarctic Survey.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

How much to gain: Controlling space and time via gain modulation in cortical networks

User Jake Stroud (Tim Vogels Lab. University of Oxford).

Monday 13 November 2017, 14:30-15:30

Reasoning beyond data-race freedom

User Stephen Dolan, Ocaml Labs, University of Cambridge.

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

House SS03, Computer Laboratory.

Designing Verifiable Cache Coherence Protocols

User Daniel Sorin, Duke University.

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

House Engineering Department, CBL Seminar Room 4-38.

Interpretability in Machine Learning

User Adrian Weller; Tameem Adel Hesham.

Thursday 09 November 2017, 13:30-15:00

Two-Level Type Theory

User Nicolai Kraus (University of Nottingham).

Tuesday 07 November 2017, 14:15-15:15

iCAP-TSO, a program logic for the TSO relaxed memory model

User Jean Pichon-Pharabod ().

Friday 03 November 2017, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

Deep Structured Prediction for Handwriting Recognition

User Juan Murillo Fuentes.

Thursday 02 November 2017, 13:30-15:00

Targeted Disclosure to Support Auditing and Accountability for Automated Decision-making

User Joshua Kroll.

Wednesday 01 November 2017, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Alberto Bernacchia (CBL).

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

Cambridge Society for the Application of Research (CSAR)

The Scientific Challenges of Fusion Power

User Prof. Steven Cowley, Corpus Christi College, Oxford.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

Monads and the semantics of effects

User Philip Saville (University of Cambridge).

Friday 27 October 2017, 11:00-12:00

House Hodgkin-Huxley Lecture Room, Department of Physiology Development and Neuroscience.

Somatosensory cortex is essential for adaptive motor control in mice

User Mackenzie Mathis, The Rowland Institute, Harvard University.

Thursday 26 October 2017, 14:00-15:00

House Engineering Department, CBL Seminar Room 4-38.

Cooperative Inverse RL

User Robert Pinsler; Adria Garriga Alonso.

Thursday 26 October 2017, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

From the olfactory cocktail party to markerless tracking

User Alexander Mathis, Department of Molecular and Cellular Biology, Harvard University.

Thursday 26 October 2017, 10:00-11:00

Equilogical spaces and algebras for a double-power monad

User Giulia Frosoni (University of Genoa).

Tuesday 24 October 2017, 14:15-15:15

Asynchronous Fixed Points

User Matthew Daggitt (University of Cambridge).

Friday 20 October 2017, 11:00-12:00

House Engineering Department, CBL Seminar Room 4-38.

Infer.NET

User John F. Bronskill.

Thursday 19 October 2017, 13:30-15:00

Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning

User Prof. Aapo Hyvarinen.

Thursday 19 October 2017, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Mohsen Sadeghi (CBL).

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

Enriched Internal Categories

User Enrico Ghiorzi (University of Cambridge).

Tuesday 17 October 2017, 14:15-15:15

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Spike timing in motor control

User Ilya Nemenman (Emory University).

Tuesday 17 October 2017, 11:00-12:00

Cambridge Society for the Application of Research (CSAR)

The DNA Revolution Has Arrived in the Behavioural Sciences

User Prof. Robert Plomin, King's College, London.

House The Wolfson Hall, Churchill College, Storey's Way, Cambridge, CB3 0DS.

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

House JDB Seminar Room, CUED.

Transfer Learning for NLP

User Sebastian Ruder, INSIGHT Centre.

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

Weighted relational semantics for PCF

User Hugo Paquet (University of Cambridge).

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

House Cambridge University Engineering Department, CBL, BE4-38 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Rodrigo Echeveste (CBL).

Tuesday 03 October 2017, 15:00-16:00

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

User Chung-Kil Hur, Seoul National University.

Friday 29 September 2017, 14:00-15:00

A Bayesian Treatment for Uncertainty -- and its application in health care

User Dr Cheng Zhang.

Tuesday 26 September 2017, 15:00-16:00

Event Correlation with Algebraic Effects

User Oliver Bracevac, University of Darmstadt.

Friday 15 September 2017, 14:00-15:00

Unbiased Estimation of the Eigenvalues of Large Implicit Matrices

User Professor Ryan Adams, Princeton.

Thursday 14 September 2017, 11:00-12:00

The Grammar Variational Autoencoder & Counterfactual Fairness

User Dr Matt Kusner.

Tuesday 12 September 2017, 11:00-12:00

A promising semantics for relaxed-memory concurrency

User Chung-Kil Hur, Seoul National University.

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

Accelerating computation of SVM and DNN by binary approximation

User Hironobu Fujiyoshi (Chubu University) .

Friday 08 September 2017, 11:00-12:00

Towards User-Friendly Image Inpainting: Learning-to-Rank based Image Quality Assessment for Image Inpainting

User Mariko Isogawa (NTT Media Intelligence Laboratories) .

Friday 08 September 2017, 11:00-12:00

Deep learning for autonomous driving

User Takayoshi Yamashita (Chubu University) .

Friday 08 September 2017, 11:00-12:00

Ultrafilters, ultraproducts and ultracategories

User Richard Garner, Macquarie University, Sydney, Australia.

Thursday 10 August 2017, 14:15-15:15

Semantics of Full Ground References

User Paul Blain Levy (University of Birmingham).

Friday 21 July 2017, 14:00-15:00

Understanding Black-box Predictions via Influence Functions

User Pang Wei Koh, Stanford University.

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

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Timothy O'Leary (Control Group).

Tuesday 11 July 2017, 16:00-17:00

A simple neural network module for relational reasoning

User David Barrett, DeepMind.

Thursday 06 July 2017, 11:00-12:00

Future technology: machine learning using memristors networks

User Francesco Caravelli (LANL).

Monday 03 July 2017, 11:00-12:00

Future technology: machine learning using memristors networks

User Francesco Caravelli (LANL).

Monday 03 July 2017, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Dhruva Raman (Control Group).

Tuesday 27 June 2017, 16:00-17:00

Cambridge Society for the Application of Research (CSAR)

Mutational processes in the human genome

User Dr Serena Nik-Zainal, Wellcome Trust Intermediate Clinical Fellow & CDF Group Leader, Cancer Genome Project, Sanger Institute. .

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

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

Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity

User Wied Pakusa, University of Oxford.

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

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

motifNet: Deep learning for system identification of regulatory networks

User Vincent Fortuin (ETH).

Wednesday 14 June 2017, 11:30-12:15

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Neural network models of free recall and spatial navigation

User Stefano Recanatesi (Weizmann Institute).

Wednesday 14 June 2017, 10:45-11:30

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Inferring decision rules from evidence, choice, and reaction times

User Yul Kang (Columbia University).

Wednesday 14 June 2017, 10:00-10:45

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Matthew Kerr (CBL).

Tuesday 13 June 2017, 16:00-17:00

Interleaved scope for games and automata

User Murdoch Gabbay, Heriot-Watt University.

Cambridge Society for the Application of Research (CSAR)

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

"The world in 2050" - Human extinction risks

User Lord Martin Rees OM FRS FREng FMedSci, Trinity College and Institute of Astronomy, University of Cambridge. Astronomer Royal..

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 05 June 2017, 19:30-21:00

Syntax and Handlers for Operations with Scopes

User Maciej Piróg.

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

Disjoint Semirings for Fractional Permissions

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

User Aquinas Hobor, National University of Singapore.

House FW11.

Thursday 01 June 2017, 13:30-14:15

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Greg Sotiropoulos (CBL).

Tuesday 30 May 2017, 16:00-17:00

Magnitude homology

User Tom Leinster (University of Edinburgh).

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

Concurrent Kleene Algebras and Pomset Languages

User Georg Struth, University of Sheffield.

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

House JDB Seminar Room, CUED.

On Different Distances Between Distributions and Generative Adversarial Networks

User Martin Arjovsky.

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

List objects with algebraic structure

User Philip Saville (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 23 May 2017, 14:15-15:15

Debate: "This house believes that Artificial Intelligence/Robotics will make us happy"

User Speaker to be confirmed.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 22 May 2017, 19:30-21:00

What does the Future of Programming Look Like?

User David Pearce, Victoria University of Wellington, New Zealand.

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

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Brian Trippe (CBL).

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

Embedding theorems for (regular) Mal'tsev categories

User Pierre-Alain Jacqmin (Université catholique de Louvain).

Tuesday 16 May 2017, 14:15-15:15

Higher Categorical Structures, Type-Theoretically

User Nicolai Kraus, University of Nottingham.

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

Homology of monoids with coefficients in group completion

User Nigel Burke (University of Cambridge).

Cambridge Society for the Application of Research (CSAR)

Tuesday 09 May 2017, 14:15-15:15

Architecture for Resilience - surviving earthquakes, tornadoes, fire and floods.

User Dr Emily So MEng CEng MICE, Magdalene College, University of Cambridge, Director of Cambridge Architectural Research Ltd..

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 08 May 2017, 19:30-21:00

Adrian Seminars in Neuroscience

Decoding the population activity of grid cells for spatial localization and goal-directed navigation

User Andreas V.M. Herz, Bernstein Center for Computational Neuroscience, Munich and Faculty of Biology, LMU Muenchen.

House The Hodgkin Huxley Seminar Room, Department of Physiology Development and Neuroscience.

Monday 08 May 2017, 16:30-18:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Rodrigo Echeveste (CBL).

Thursday 04 May 2017, 16:00-17:00

Lie's Third Theorem in Synthetic Differential Geometry

User Matthew Burke (MathSpire Ltd).

Cambridge Society for the Application of Research (CSAR)

Tuesday 02 May 2017, 14:15-15:15

Meet the Authors

User TBA.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 24 April 2017, 19:30-21:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User James Heald (CBL).

Tuesday 18 April 2017, 16:00-17:00

Deep Learning Book - Meeting 9 - Representation Learning

User Group Discussion.

Tuesday 11 April 2017, 13:30-15:00

Monads and Lenses

User James Cheney, University of Edinburgh.

Friday 07 April 2017, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Hannah Sheahan (CBL).

Tuesday 04 April 2017, 16:00-17:00

Deep Learning Book - Meeting 8 - Autoencoders

User Group Discussion.

Tuesday 04 April 2017, 13:30-15:00

Deep Learning Book - Meeting 7 - Neural Turing Machines & Conditional Random Fields as RNNs

User Group Discussion.

Cambridge Society for the Application of Research (CSAR)

Tuesday 21 March 2017, 13:30-15:00

Towards General Artificial Intelligence

User Dr Demis Hassabis, Co-founder and CEO of DeepMind, Vice President of Engineering at Google DeepMind.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 20 March 2017, 19:30-21:00

Diagrammatic Operational Semantics for Digital Circuits

User Dan Ghica, University of Birmingham.

Friday 17 March 2017, 14:00-15:00

Kernel Mean Embeddings

User Jiri Hron; Adam Scibior.

Information Engineering Division seminar list

Thursday 16 March 2017, 13:30-15:00

Bayesian Optimization for Probabilistic Programs

User Tom Rainforth, University of Oxford.

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

Wednesday 15 March 2017, 11:00-12:00

Hopf Formulae for TOR

User Julia Goedecke (University of Cambridge).

Tuesday 14 March 2017, 14:15-15:15

Deep Learning Book - Meeting 6 - Recurrent Neural Networks

User Group Discussion.

Tuesday 14 March 2017, 13:30-15:00

Differentially Private Bayesian Learning

User Dr Antti Honkela, University of Helsinki.

Computational and Biological Learning Seminar Series

Tuesday 14 March 2017, 11:00-12:00

Control, inference and learning

User Prof. dr. H.J. (Bert) Kappen (Radboud University Nijmegen).

Friday 10 March 2017, 11:00-12:00

Differential Privacy

User John Bradshaw; Alex Matthews.

Thursday 09 March 2017, 13:30-15:00

Differential Privacy Tutorial

User Alex Matthews and John Bradshaw, University of Cambridge.

Thursday 09 March 2017, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Sebastian Schneegans (Bays Lab).

Tuesday 07 March 2017, 16:00-17:00

Fibration categories and models for higher categories

User Christian Sattler (University of Leeds).

Cambridge Society for the Application of Research (CSAR)

Tuesday 07 March 2017, 14:15-15:15

A trick of the light? Development, function and evolution of plant nanostructures that influence animal behaviour

User Prof. Beverley Glover FLS, Dept of Plant Sciences, University of Cambridge and Director of the Cambridge University Botanic Gardens.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

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

Verified Characteristic Formulae for CakeML

User Magnus Myreen, Chalmers University.

Friday 03 March 2017, 14:00-15:00

Deep Learning Book - Meeting 5 - ResNets and DenseNets

User Group Discussion.

Thursday 02 March 2017, 13:30-15:00

Split extensions of bialgebras

User Tim Van der Linden (Université catholique de Louvain).

Tuesday 28 February 2017, 14:15-15:15

Cooperative Inverse Reinforcement Learning

User Dylan Hadfield-Menell, UC Berkeley.

Thursday 23 February 2017, 15:00-16:00

Deep Learning Book - Meeting 4 - Convolutional Networks

User Group Discussion.

Thursday 23 February 2017, 13:30-15:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Laurence Aitchison (CBL).

Tuesday 21 February 2017, 16:00-17:00

Abstract Systems and Sheaves

User Christina Vasilakopoulou (Université Libre de Bruxelles).

Cambridge Society for the Application of Research (CSAR)

Tuesday 21 February 2017, 14:15-15:15

Citizens, Science and Science for Citizens

User Prof. Dame Athene Donald DBE FRS, Dept Physics, Churchill College, University of Cambridge.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

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

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Dynamic reorganization of neuronal activity patterns in parietal cortex

User Laura Driscoll (Harvard University).

Monday 20 February 2017, 10:00-10:30

A monad for full ground reference cells

User Ohad Kammar, University of Oxford.

Friday 17 February 2017, 14:00-15:00

Probabilistic Numerics

User Alessandro Davide Ialongo (MLG - University of Cambridge).

Thursday 16 February 2017, 13:30-15:00

Metric spaces and synthetic differential geometry

User Anders Kock (Aarhus University).

Tuesday 14 February 2017, 14:15-15:15

Deep Learning Book - Meeting 3 - Optimization

User Group Discussion.

Tuesday 14 February 2017, 13:30-15:00

Bayesian optimisation in many dimensions with bespoke probabilistic programs

User Valentin Dalibart.

Friday 10 February 2017, 11:00-12:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Alberto Bernacchia (CBL).

Tuesday 07 February 2017, 16:00-17:00

Gluing models of type theory

User Sean Moss (University of Cambridge).

Tuesday 07 February 2017, 14:15-15:15

Deep Learning Book - Meeting 2 - Regularization

User Group Discussion.

Cambridge Society for the Application of Research (CSAR)

Tuesday 07 February 2017, 13:30-15:00

Black Holes at Work

User prof. Andy Fabian OBE FRS, Institute of Astronomy, University of Cambridge.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

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

Coherence Spaces

User Hugo Paquet (University of Cambridge).

Friday 03 February 2017, 11:00-12:00

Homotopy type theory and algebraic weak factorization systems

User Nicola Gambino (University of Leeds).

Tuesday 31 January 2017, 14:15-15:15

Deep Learning Book - Meeting 1 - Deep Feedforward NNs

User Group Discussion.

Tuesday 31 January 2017, 13:30-15:00

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

User Theo Drane, Cadence Design Systems.

House FW11.

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

Variational Bayes In Private Settings

User Mijung Park, University of Amsterdam.

Wednesday 25 January 2017, 15:00-16:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Mohsen Sadeghi (CBL).

Tuesday 24 January 2017, 16:00-17:00

Logic programming: laxness and saturation

User John Power (University of Bath).

Tuesday 24 January 2017, 14:15-15:15

Julia: Introduction and new developments

User Dr Simon Byrne (Julia Computing).

Cambridge Society for the Application of Research (CSAR)

Tuesday 24 January 2017, 11:00-12:00

Creating and erasing memories with epigenetics

User Prof. Wolf Reik FRS FMedSci, Babraham Institute, University of Cambridge.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

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

One-Dimensional Higher Inductive Types

User Peter Dybjer, Chalmers University of Technology.

Friday 20 January 2017, 14:00-15:00

NIPS 2016 papers in 5mins

User MLG members.

Cambridge Society for the Application of Research (CSAR)

Thursday 19 January 2017, 13:30-15:00

Manufacturing - the vital capability for effective innovation

User Prof. Sir Mike Gregory FREng, Institute for Manufacturing, University of Cambridge.

House Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

Monday 09 January 2017, 19:30-21:00

Polymorphism, subtyping and type inference in MLsub

User Stephen Dolan, University of Cambridge.

Friday 16 December 2016, 14:00-15:00

House Cambridge University Engineering Department, CBL, BE-438 (http://learning.eng.cam.ac.uk/Public/Directions).

Computational Neuroscience Journal Club

User Matthew Kerr (CBL).

Thursday 15 December 2016, 16:00-17:00

Bayesian optimality and frequentist extended admissibility are equivalent in saturated models

User Daniel Roy (University of Toronto).

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

Hierarchical Multi-Agent Reinforcement Learning through Communicative Actions for Human-Robot Collaboration

User Elena Corina Grigore (Yale University).

Wednesday 14 December 2016, 15:00-16:00

Variational autoencoders with latent graphical models

User Prof David Duvenaud (University of Toronto).