University of Cambridge > Talks.cam > djw1005's list

djw1005's list

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

A personal list of talks.

Tell a friend about this list:

If you have a question about this list, please contact: Damon Wischik. If you have a question about a specific talk, click on that talk to find its organiser.

50 upcoming talks and 4540 talks in the archive: show all (slow!).

NLIP Seminar Series

Title to be confirmed

UserSpeaker to be confirmed.

HouseSS03, William Gates Building. .

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

DPMMS Departmental Colloquia

When is a mathematical object well behaved?

UserJulia Wolf (Cambridge).

HouseCMS MR2.

ClockThursday 25 April 2024, 16:00-17:00

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

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

UserBruno Mlodozeniec, Julien Horwood, Runa Eschenhagen.

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

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

Machine Learning Reading Group @ CUED

Discussing the Stanford AI Report

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

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

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

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

Mobile and Wearable Health Seminar Series

Embracing Ubiquitous Technology to Complement, Scale, and Extend Traditional Healthcare

Zoom: https://cam-ac-uk.zoom.us/j/88535429139?pwd=WVYxV2Vrc0J6SnZyM3FZT0NvdTdOQT09

UserAlex Mariakakis, University of Toronto.

HouseOnline.

ClockTuesday 23 April 2024, 16:00-17:00

Machine Learning Reading Group @ CUED

AI Control

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

UserDmitrii Krasheninnikov, Lauro Langosco, University of Cambridge.

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

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

Computer Laboratory Systems Research Group Seminar

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

UserDr Tristan Henderson, University of St Andrews.

HouseFW26.

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

Energy and Environment Group, Department of CST

The Future of 24/7 Clean Energy driven by AI

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

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

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

Computer Laboratory Systems Research Group Seminar

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

UserDr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

HouseFW11.

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

Rainbow Group Seminars

Psychophysical tests of human visual encoding models

UserProf. Thomas S. A. Wallis, Technical University of Darmstadt.

HouseSS03 - William Gates Building.

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

Machine Learning Reading Group @ CUED

Neural likelihood-free inference

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

UserYanzhi Chen, University of Cambridge.

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

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

Rainbow Group Seminars

Towards a Unified Model of Contrast Sensitivity

UserMaliha Ashraf, University of Cambridge.

HouseSS03 - William Gates Building.

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

Rainbow Group Seminars

Perceptual studies with holographic displays

UserDongyeon Kim, University of Cambridge.

HouseSS03 - William Gates Building.

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

Rainbow Group Seminars

Perceptual studies with holographic displays

UserDongyeon Kim, University of Cambridge.

HouseSS03 - William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Private Data Analysis over Large Populations

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

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

An Introduction to the Conjugate Gradient Method

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

UserJihao Andeas Lin, University of Cambridge.

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

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

NLIP Seminar Series

Understanding Comparative Questions and Retrieving Argumentative Answers

UserAlexander Bondarenko, University of Leipzig .

HouseComputer Lab, SS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Distribution Shifts in Human-Centered Representation Learning

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Mobile and Wearable Health Seminar Series

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

UserAlessandro Montanari, Nokia Bell Labs.

HouseLT2 and online.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

POSTPONED

POSTPONED. Sorry for inconvenience.

UserProf. Tom Chittenden (BioAI Health & QMUL).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Formalisation of mathematics with interactive theorem provers

The Mandelbrot set is connected (and other Lean explorations)

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

HouseMR14 Centre for Mathematical Sciences.

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

Computer Laboratory Systems Research Group Seminar

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

UserAndrés Colubri, University of Massachusetts.

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

A Data-Free, Universal Prior Distribution for Syntactic Structures

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

An Introduction to Transformer Neural Processes

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

UserMatt Ashman and Cristiana Diaconu.

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

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

Mobile and Wearable Health Seminar Series

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

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

UserGuy Fagherazzi, Luxembourg Institute of Health.

HouseComputer Lab, FW26 and Online.

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

Formalisation of mathematics with interactive theorem provers

Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry

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

HouseMR14 Centre for Mathematical Sciences.

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

Computer Laboratory Systems Research Group Seminar

How debuggable is your (compiler-optimised) program?

UserStephen Kell, King's College London.

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Making Large Language Models Safe: A Case Study of Llama2

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Learning Symmetries in Neural Networks

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

UserJames Allingham and Bruno Mlodozeniec .

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

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

Mobile and Wearable Health Seminar Series

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

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

UserHeidi Christensen, University of Sheffield.

HouseComputer Lab, FW26 and Online.

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

Technical Talks - Department of Computer Science and Technology

Monumo: Reinventing Electric Motors

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

HouseFW26, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

UserElizabeth Polgreen, University of Edinburgh.

HouseSS03, Computer Laboratory.

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

NLIP Seminar Series

Scaling Multilingual Generation for Low-Resource Languages

UserPriyanka Agrawal, Google Deepmind.

HouseComputer Lab, SS03.

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

Formalisation of mathematics with interactive theorem provers

Structures in dependent type theory

Online

UserProfessor Jeremy Avigad (Carnegie Mellon University).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

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

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

UserAndrew McDonald and Kenza Tazi, University of Cambridge.

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

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

Mobile and Wearable Health Seminar Series

AI for Health with Wearables

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

UserChenyang Lu, Washington University in St Louis.

HouseOnline.

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

Formalisation of mathematics with interactive theorem provers

How to prove Fermat's Last Theorem

Online

UserProfessor Kevin Buzzard (Imperial College London).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

Bayesian coresets

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

UserTor Fjelde and Will Tebbutt, University of Cambridge.

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

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

Mobile and Wearable Health Seminar Series

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

UserAlex Casson, University of Manchester.

HouseComputer Lab, FW26 and Online.

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

Mobile and Wearable Health Seminar Series

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

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

UserSilvia Santini, Universita' della Svizzera Italiana.

HouseComputer Lab, FW26 and Online.

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

Computer Laboratory Programming Research Group Seminar

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.

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

HouseSS03, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing via the lens of additive combinatorics

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Mobile and Wearable Health Seminar Series

Dealing with uncertainty in physiological sensing in the wild

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

UserChristian Holz, ETHZ.

HouseComputer Lab, FW26 and Online.

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

Computer Laboratory Security Seminar

Two Sides of the Same Crime

UserMichael Dewar, Vice President for Data Science at Mastercard.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

NLIP Seminar Series

Faster Minimum Bayes Risk Decoding with Confidence-based Pruning

UserJulius Cheng (University of Cambridge).

HouseComputer Lab, SS03.

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

Rainbow Group Seminars

Spatiotemporal contrast sensitivity functions; OLED calibration

Practice talks

UserMaliha Ashraf, University of Cambridge.

HouseSS03 - William Gates Building.

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

Formalisation of mathematics with interactive theorem provers

Towards Autoformalization and Mathematical Reasoning using language models

Note unusual time

UserProfessor Siddhartha Gadgil (Indian Institute of Science).

HouseMR14 Centre for Mathematical Sciences.

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

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

UserReese Levine, University of California Santa Cruz.

HouseSS03, Computer Laboratory.

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

NLIP Seminar Series

Fairness Evaluation in Generative NLP

UserSeraphina Goldfarb-Tarrant (Cohere).

HouseComputer Lab, SS03.

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

Computer Laboratory Security Seminar

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

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

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

Wednesday Seminars - Department of Computer Science and Technology

A brief introduction to causal inference

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Women@CL Events

Michaelmas Talklet Event

UserJessica Man, Elizabeth Ho, Bianca Schor.

HouseComputer Laboratory, William Gates Building, FW26.

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

Machine Learning Reading Group @ CUED

Flow matching, stochastic interpolants and everything in between

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

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

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

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

Mobile and Wearable Health Seminar Series

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

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

UserTingting Zhu, University of Oxford.

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

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

Technical Talks - Department of Computer Science and Technology

Vaticle: Type theory as the unifying foundation for modern databases

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

HouseFW26, William Gates Building.

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

NLIP Seminar Series

Efficiency by Construction

UserFermin Moscoso del Prado Martin (University of Cambridge).

HouseComputer Lab, SS03.

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

Computer Laboratory Systems Research Group Seminar

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

Userchanggang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Cross-lingual transfer learning with multilingual masked language models

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Challenges of Regulating Increasingly Complicated Human-AI Collaborative Systems

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

UserDr Miri Zilka and Katie Collins, University of Cambridge.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep screening of RNA, XNA and protein interactions

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

UserPhilipp Holliger (MRC Laboratory of Molecular Biology).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Mobile and Wearable Health Seminar Series

Towards Ambient Physiological Sensing for Digital Healthcare

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

UserJeonggil Ko, Yonsei University.

HouseOnline (zoom link on the page).

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

The Wheeler Lectures in Computer Science

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Machine Learning Reading Group @ CUED

A Poisson Process Model for Monte Carlo

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

UserGreg Flamich, University of Cambridge.

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

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

Computer Laboratory Security Seminar

Red teaming privacy-preserving systems using AI

UserYves-Alexandre de Montjoye, Imperial College London.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

RetroBridge: Modeling Retrosynthesis with Markov Bridges

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

UserArne Schneuing & Ilia Igashov (EPFL).

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

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

Technical Talks - Department of Computer Science and Technology

Goldman Sachs - Quantitative Finance and AI

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

HouseFW26, William Gates Building.

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

NLIP Seminar Series

Numerical Reasoning in Natural Language Processing

UserNafise Moosavi (University of Sheffield).

HouseComputer Lab, SS03.

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

Computer Laboratory Systems Research Group Seminar

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

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

UserAyan Kumar, AMD.

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Coherence Attacks and Defenses in 2.5D Integrated Systems

UserProfessor 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 .

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Learning Directed Acyclic Graphs (DAGs) With Continuous Optimization

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

UserDr Pingfan Song, University of Cambridge.

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

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

Mobile and Wearable Health Seminar Series

Towards Smart Health Using Mobile Technologies

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

UserYingying Chen, Rutgers University.

HouseOnline (zoom link on the page).

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

Wednesday Seminars - Department of Computer Science and Technology

Pathfinding for 10k agents

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Deep Learning for Medium-Range Global Weather Prediction

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

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

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

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

Mobile and Wearable Health Seminar Series

AIoT for Safer, Healthier, and Smarter Environments

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

UserXiaofan (Fred) Jiang, Columbia University.

HouseOnline only.

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

Technical Talks - Department of Computer Science and Technology

Jane Street: Why Ocaml?

UserPedro Flemming, Software Engineer at Jane Street .

HouseFW26, William Gates Building.

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

Computer Laboratory Systems Research Group Seminar

K9db: Privacy-Compliant Storage For Web Applications By Construction

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

UserMalte Schwarzkopf (Brown University).

HouseSS03.

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

NLIP Seminar Series

Natural Language Processing for Text-to-Speech Synthesis

UserGleb Mazovetskiy (Google).

HouseComputer Lab, SS03.

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

Wednesday Seminars - Department of Computer Science and Technology

An invitation to univalent foundations of mathematics

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Machine Learning Reading Group @ CUED

Learning linear models in-context with transformers

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

UserSpencer Frei, UC Davis.

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

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

Foundation AI

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

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

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Mobile and Wearable Health Seminar Series

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

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

UserSilvia Del Din, Translational and Clinical Research Institute, Newcastle Univerisity.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies

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

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

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

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

Technical Talks - Department of Computer Science and Technology

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

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

HouseFW26, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

UserJohn Baez, University of California Riverside.

HouseLT1, Computer Laboratory.

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

Mobile and Wearable Health Seminar Series

Using wearable-derived cardiac signals to predict cardiovascular events

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

UserMichele Orini, Institute of Healthcare Engineering, UCL.

HouseComputer Lab, FW11 and Online.

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

Computer Laboratory Security Seminar

CIA to AIC: Why Cyber Must Enable the Business

UserKeith A Price, Chief Security Officer, National Highways.

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

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

NLIP Seminar Series

Fighting Bad Information with AI

UserDavid Corney (Full Fact).

HouseComputer Lab, SS03.

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

Wednesday Seminars - Department of Computer Science and Technology

How can we make trustworthy AI?

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Rainbow Group Seminars

Towards More Immersive Photos and Videos

UserChristian Richardt, Meta Reality Labs.

HouseFW26 William Gates Building.

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

NLIP Seminar Series

Does Syntax Still Matter in the World of LLMs?

UserMiloš Stanojević (DeepMind).

HouseComputer Laboratory, room SS03.

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

Wireless Communications Team Seminars

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

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

HouseComputer Laboratory, Room LT2.

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

Hardware for Machine Learning

Tenstorrent - building AI/ML accelerators

UserThaddeus Fortenberry, Ali Ziadi and Luke Yen.

HouseLT2, Computer Laboratory, William Gates Building.

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

Rainbow Group Seminars

Dual-Pixel Raindrop Removal

UserYizhou Li, Tokyo Institute of Technology.

HouseSS03 - William Gates Building.

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

Rainbow Group Seminars

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

UserProf. Oliver Bimber, Johannes Kepler University Linz (JKU).

HouseSS03 - William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

UserDavid Monniaux, CNRS/VERIMAG and École Polytechnique.

HouseFW11, Computer Laboratory.

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

Computer Laboratory Systems Research Group Seminar

Memo: an incremental computation library that powers Dune

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

UserAndrey Mokhov, Jane Street.

HouseFW11.

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

Machine Learning Reading Group @ CUED

Deciphering Batch Effects in Single-cell Transcriptomics with Concept Bottlenecks

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

UserHanchen Wang, Stanford CS and Genentech gRED.

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

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

Computer Laboratory Security Seminar

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

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

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

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

Formalisation of mathematics with interactive theorem provers

Roth numbers: Upper, lower bounds, and related constructions

Note: different room, MR20 this time

UserYaël Dillies (University of Cambridge).

HouseMR20 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

Schrödinger bridges, diffusion and SDEs

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

UserStratis Markou and Shreyas Padhy.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Protein generation and fitness optimization

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

UserJason Yim, EECS, MIT.

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

ClockTuesday 20 June 2023, 17:00-18: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!

UserPietro Barbiero (University of Cambridge).

Housezoom only!.

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

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

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

HouseSS03, Computer Laboratory.

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

NLIP Seminar Series

Knowledge Issues and Language Models

UserJames Thorne (KAIST).

HouseComputer Lab, SS03.

ClockFriday 16 June 2023, 12:00-13: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

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

HouseMR20 Centre for Mathematical Sciences.

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

Computer Laboratory Systems Research Group Seminar

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

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

UserIain Fraser, Netduma.

HouseSS03.

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

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

UserKatie Collins, University of Cambridge.

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

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

Machine Learning Reading Group @ CUED

The LLM Tidal Wave

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

UserKatie Collins, University of Cambridge.

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

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

NLIP Seminar Series

Investigating Reasons for Disagreement in Natural Language Inference

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

HouseComputer Lab, FW26.

ClockFriday 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

UserDr Alex J. Best (King's College London).

HouseMR20 Centre for Mathematical Sciences.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Untangling genome assembly graphs with graph neural networks

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

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

HouseSeminar Room FW26, Computer Laboratory, William Gates Building.

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

Theory of Living Matter Group

Tracing cell fate specification and pattern formation during branching morphogenesis

UserDr. Lemonia Chatzeli & Prof. Ignacio Bordeu.

HouseWebinar.

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

Machine Learning Reading Group @ CUED

Game theory, distributional reinforcement learning, control and verification

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

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

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

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

Computer Laboratory Security Seminar

The Nym mixnet: Design and Evaluation

UserHarry Halpin & Ania Piotrowska, Nym Technologies.

HouseWebinar & SS03, Computer Laboratory, William Gates Building..

ClockTuesday 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

UserCharlotte Out.

HouseComputer Lab, SS03.

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

NLIP Seminar Series

Fighting Misinformation in Science Communication with NLP

UserDustin Wright (University of Copenhagen).

HouseComputer Lab, SS03.

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

Formalisation of mathematics with interactive theorem provers

The leanest automata

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

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

HouseMR20 Centre for Mathematical Sciences.

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

Machine Learning Reading Group @ CUED

On choosing the mass matrix for Hamiltonian Monte Carlo

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

UserTor Fjelde and Tim Hargreaves, University of Cambridge.

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

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

NLIP Seminar Series

Interpretable Multi-hop Question Answering

UserZhenyun Deng (University of Cambridge).

HouseComputer Lab, SS03.

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

Rainbow Group Seminars

An in-depth look at Deep Learning in Digital Media

UserProf. Panos Nasiopoulos, University of British Columbia.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Bayes in the age of intelligent machines

UserProfessor Tom Griffiths - Princeton University.

HouseOnline.

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

Machine Learning Reading Group @ CUED

Reward Modelling

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

UserUsman Anwar, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

UserGlynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

HouseSS03, Computer Laboratory.

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

Formalisation of mathematics with interactive theorem provers

Explaining mathematics using formalized mathematics

Hybrid talk (please see abstract for link)

UserProfessor Patrick Massot (Université Paris-Saclay).

House Centre for Mathematical Sciences MR12, CMS.

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

Mobile and Wearable Health Seminar Series

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

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

UserJessilyn Dunn (Duke University).

HouseOnline.

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

NLIP Seminar Series

Reality Check: NLP in the era of Large Language Models

UserVered Shwartz (University of British Columbia).

HouseVirtual (Zoom).

ClockFriday 12 May 2023, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

UserAndrés Goens, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 12 May 2023, 14:00-15: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)

UserDr Matthieu Piquerez (INRIA, Université de Nantes).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 11 May 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

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

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

UserMiri Zilka, University of Cambridge.

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

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

Mobile and Wearable Health Seminar Series

Towards regulatory acceptance of digital outcome measures for Parkinson’s Disease

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

UserGeorge Roussos (Birkbeck College London).

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 09 May 2023, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Smooth vector bundles in Lean

Hybrid talk (please see abstract for link)

UserProfessor Heather Macbeth (Fordham University).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 04 May 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

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

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

UserBurigede Liu.

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

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

Mobile and Wearable Health Seminar Series

Using consumer wearables for clinical decision making

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

UserPeter Charlton (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 02 May 2023, 16:00-17:00

NLIP Seminar Series

Improving Model Robustness for Natural Language Inference

UserJoe Stacey (Imperial College London).

HouseComputer Lab, FW26.

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

Machine Learning Reading Group @ CUED

Neural Tangent Kernel

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

UserAdrian Goldwaser and Lauro Langosco (University of Cambridge) .

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

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

Machine Learning Reading Group @ CUED

No-regret Dynamics for Multi-agent Learning

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

UserAlexander Terenin (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Scalable Approaches to Self-Supervised Learning using Spectral Analysis

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

UserRoss Viljoen and Vincent Dutordoir (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Physics-informed machine learning

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

UserPingfang Song (University of Cambridge).

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

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

Machine Learning Reading Group @ CUED

Causal Machine Learning

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

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

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

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

Wednesday Seminars - Department of Computer Science and Technology

TALK CANCELLED: Explicit Weakening (A Functional Pearl)

UserProfessor Philip Wadler - Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 15 March 2023, 15:05-15:55

Machine Learning Reading Group @ CUED

User Manipulation in Recommender Systems

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

UserMicah Carroll (UC Berkeley).

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

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

Mobile and Wearable Health Seminar Series

ML for wearables and healthcare interventions

https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserDavid Clifton, University of Oxford.

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Stochastic games and strategy complexity

UserMahsa Shirmohammadi, University of Oxford.

HouseFW11, Computer Laboratory.

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

Formalisation of mathematics with interactive theorem provers

[CANCELLED] Real Closed Field and Thom Encoding in Isabelle/HOL

[CANCELLED, please check back for rescheduling]

UserDr Wenda Li (University of Cambridge), Artem Khovanov (University of Cambridge) and Michael Nedzelsky (Diffblue Ltd).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 March 2023, 17:00-18:00

Mobile and Wearable Health Seminar Series

Computer vision and healthcare

https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserProfessor Roberto Cipolla, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building and Online.

ClockThursday 09 March 2023, 14:00-15:00

Machine Learning Reading Group @ CUED

Random Features for Kernel Approximation

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

UserIsaac Reid (University of Cambridge).

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

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

Formalisation of mathematics with interactive theorem provers

Formalising Turán's Graph Theorem in Isabelle/HOL

Hybrid talk (please see abstract for link)

UserNils Lauermann (INRIA).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 02 March 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

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

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

UserChris Barrett, University of Birmingham.

HouseSS03, Computer Laboratory.

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

NLIP Seminar Series

Modular and Compositional Transfer Learning

UserJonas Pfeiffer (Google Research).

HouseVirtual (Zoom).

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

Machine Learning Reading Group @ CUED

Bayesian Neural Networks

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

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

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

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

Mobile and Wearable Health Seminar Series

Sport biomechanics and wearables: can we move from lab to field testing?

Zoom link: https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserEzio Preatoni, University of Bath.

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 21 February 2023, 16:00-17:00

NLIP Seminar Series

Narrative Summarization from Multiple Views

UserPinelopi Papalampidi (DeepMind).

HouseComputer Lab, SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Relative representations enable zero-shot latent space communication

Organized by Donato Crisostomi and Pietro Barbiero

UserLuca Moschella, Sapienza University of Rome.

HouseLecture Theatre 2.

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

Machine Learning Reading Group @ CUED

Offline Reinforcement Learning

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

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

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

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

Mobile and Wearable Health Seminar Series

Using breathing acoustics and breathing pattern for automated predictions of asthma status

Zoom link: https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserAnna Barney, University of Southampton.

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 14 February 2023, 16:00-17:00

Technical Talks - Department of Computer Science and Technology

Ab Initio: Data Science in Industry: Trials and Tribulations

UserDr Owen Astley (Cambridge University), Jonathan Sunderland, Dr Richard Hall (Sheffield, Cambridge University), Ben Roche (Durham University).

HouseFW11, William Gates Building.

ClockTuesday 14 February 2023, 13:05-13:55

Formalisation of mathematics with interactive theorem provers

Some practical problems in formalising mathematics and how to solve them

Hybrid talk (please see abstract for link)

UserDr Manuel Eberl (University of Innsbruck).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 February 2023, 17:00-18:00

Machine Learning Reading Group @ CUED

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

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

UserJixiang Qing, SUMO lab, Ghent University,.

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

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

Mobile and Wearable Health Seminar Series

The Potential of smartphones voice recordings to monitor depression severity

Zoom link: https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserNick Cummins, Kings College London.

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 07 February 2023, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

UserMeven Lennon-Bertrand, University of Cambridge.

HouseSS03, Computer Laboratory.

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

NLIP Seminar Series

Processing Multiword Expressions for Grammatical Error Correction

UserShiva Taslimipoor (University of Cambridge).

HouseComputer Laboratory, Room FW09.

ClockFriday 03 February 2023, 12:00-13:00

Formalisation of mathematics with interactive theorem provers

The Liquid Tensor Experiment

UserProfessor Kevin Buzzard (Imperial College London).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 02 February 2023, 17:00-18:00

Mobile and Wearable Health Seminar Series

Can Earables Revolutionise Continuous Vital Sign Monitoring?

Zoom link: https://cl-cam-ac-uk.zoom.us/j/92219689343?pwd=Q1p1eUt4V3NORWVGM3hGUEZNV1JqQT09

UserFahim Kawsar, University of Glasgow and Nokia Bell Labs.

HouseFW26, Computer Laboratory, William Gates Building and Online.

ClockTuesday 31 January 2023, 16:00-17:00

Technical Talks - Department of Computer Science and Technology

Huawei: Pangloss+: a novel Markov chain adaptive prefetcher

UserPhilippos Papaphilippou, Senior CPU Architect at Huawei UK R&D.

HouseFW11, William Gates Building.

ClockTuesday 31 January 2023, 13:05-13:55

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

UserMatthew Parkinson, Microsoft Research.

HouseSS03.

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

NLIP Seminar Series

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

UserDieuwke Hupkes (Facebook AI Research, ELLIS).

HouseVirtual (Zoom).

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

Formalisation of mathematics with interactive theorem provers

How Hilbert met Isabelle: Proof Between Generations

Hybrid talk (please see abstract for link)

UserMarco David (École Normale Supérieure de Paris).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 26 January 2023, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

Entrust: Leighton-Micali Signatures

UserRichard Kettlewell, Senior Principle Software Architect.

HouseFW11, William Gates Building.

ClockTuesday 24 January 2023, 13:05-13:55

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

UserSebastian Erdweg, Johannes Gutenberg University Mainz.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

UserSebastian Erdweg, Johannes Gutenberg University Mainz.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

A Sociotechnical Audit: Assessing Police use of Facial Recognition

Note unusual time

UserEvani Radiya-Dixit, Minderoo Centre for Tech & Democracy.

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

ClockTuesday 13 December 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

UserManuel Araujo, University of Cambridge.

HouseSS03.

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

NLIP Seminar Series

Rethinking the role of tokenization in the NLP pipeline

UserKris Cao (DeepMind).

HouseComputer Lab, FW26.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

User Yuanhong Jiang, Shanghai Jiao Tong University.

HouseLecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Approximate Equivariance SO(3) Needlet Convolution

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

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

HouseLecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Global Explainability of GNNs via Logic Combination of Learned Concepts

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

UserSteve Azzolin.

HouseOnline (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The Interpretability of Graph Neural Networks

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

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

HouseFW11 + zoom.

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

NLIP Seminar Series

CANCELLED

UserDieuwke Hupkes (Facebook AI Research, ELLIS).

HouseComputer Lab, TBD.

ClockFriday 25 November 2022, 12:00-13:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Feynman Diagrams using Graph Neural Networks

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

UserHarrison Mitchell, dept of Physics Cambridge.

Houselecture theatre 2 dept of computer science and zoom.

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

Wednesday Seminars - Department of Computer Science and Technology

Formalised Mathematics: Obstacles and Achievements

UserProfessor Lawrence Paulson - Department of Computer Science and Technology.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 23 November 2022, 15:05-15:55

Machine Learning Reading Group @ CUED

Information Geometry — Natural Gradient Descent

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

UserAndy Lin, MLG.

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

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Multi-Scene Absolute Pose Regression with Transformers

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

HouseZoom.

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

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

UserAlex Kavvos, University of Bristol.

HouseSS03.

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

NLIP Seminar Series

Towards Trustworthy Natural Language Processing

UserJasmijn Bastings (Google Brain).

HouseVirtual (Zoom).

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

Machine Learning Reading Group @ CUED

Predicting generalization of ML models.

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

UserVihari Piratla and Shreyas Padhy.

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

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

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

UserUlrik Buchholtz, University of Nottingham.

HouseSS03.

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

Women@CL Events

Women@CL Talkets

UserBianca Schor, Minja Axelsson, Anna Hudig.

HouseComputer Laboratory, William Gates Building, GN06.

ClockFriday 11 November 2022, 13:00-14:00

NLIP Seminar Series

Decoding is deciding under uncertainty — the case of NMT

UserBryan Eikema (University of Amsterdam).

HouseVirtual (Zoom).

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

NLIP Seminar Series

NLP for Science: Advances and Challenges

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

HouseComputer Lab, FW11.

ClockMonday 07 November 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

UserDmitry Chistikov, University of Warwick.

HouseSS03.

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

NLIP Seminar Series

Efficient Structured Prediction on Long Texts

UserMrinmaya Sachan (ETH Zurich).

HouseVirtual (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

UserYu Guang Wang.

HouseLecture Theatre 2.

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

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

UserAmbroise Lafont, University of Cambridge.

HouseSS03.

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

NLIP Seminar Series

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

UserLuca Benedetto (University of Cambridge).

HouseFW09.

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

Rainbow Group Seminars

Overcoming catastrophic forgetting and enabling forward transfer in Continual Learning: A Sparsity Approach

UserJonathan Richard Schwarz, Senior Research Scientist, DeepMind.

HouseSS03.

ClockThursday 20 October 2022, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

UserTaichi Uemura, University of Stockholm.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Would you trust a cybercriminal?

UserDr Alice Hutchings - Department of Computer Science and Technology.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 12 October 2022, 15:05-15:55

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

UserMichael Benedikt, University of Oxford.

HouseSS03.

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

NLIP Seminar Series

The Aston Forensic Linguistic Databank (FoLD)

UserMartyn Petyko and Daniela Schneevogt (Aston University).

HouseVirtual (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Cancelled! Sorry for inconvenience.

UserDanielle Belgrave, DeepMind.

HouseZoom.

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

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

UserLauri Hella, Tampere University.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserLauri Hella, University of Helsinki.

HouseSS03.

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

Rainbow Group Seminars

Who is Afraid of Non-Universal (Deep Learned) Facial Perception?

UserDr Pablo Barros, SONY R&D CENTER, BRUSSELS LABORATORY (BRL), BELGIUM.

HouseSS03.

ClockTuesday 13 September 2022, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning Backward Compatible Embeddings

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

UserWeihua Hu, Stanford University and Google.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

UserSteve Awodey, Carnegie Mellon University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

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

HouseFW11.

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

Rainbow Group Seminars

Image Quality Metrics at the Time of Deep Learning

The talk can also be attended via zoom. Join Zoom Meeting https://cl-cam-ac-uk.zoom.us/j/92211133320?pwd=dHJqR3lnYzNCN0ZxYnIzRUNZUnRMdz09 ID: 92211133320 passcode: 054090

UserFrancesco Banterle, Visual Computing Lab, ISTI-CNR, Italy.

HouseSS03.

ClockThursday 14 July 2022, 14:00-15:00

Machine Learning Reading Group @ CUED

Benefits and Shortcomings of Assistance

UserDmitrii Krasheninnikov and Lauro Langosco, University of Cambridge.

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

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

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

UserMikołaj Bojanczyk, University of Warsaw.

HouseSS03.

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

NLIP Seminar Series

Pitfalls with ablation in neural network architectures

UserChristina Lioma (University of Copenhagen).

HouseComputer Lab, SS03.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural Sequence Models for Mathematical Reasoning

RESCHEDULED, NOTE THE UNUSUAL TIME

UserYuhuai(Tony) Wu, Stanford University & Google.

HouseZoom.

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

NLIP Seminar Series

(Modeling) Morality? On Machine Learning and Phrenology

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

HouseVirtual (Zoom).

ClockMonday 13 June 2022, 12:00-13:00

Computer Laboratory Security Seminar

Exploring Internet services mis-configuration at scale

UserDanny Willems and Gregory Boddin, LeakIX; Raphael Proust, Nomadic Labs.

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

ClockFriday 10 June 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

UserHugo Paquet, University of Oxford.

HouseSS03.

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

NLIP Seminar Series

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

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

HouseVirtual (Zoom).

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

Wednesday Seminars - Department of Computer Science and Technology

Computational Inverse Design of Deployable Structures

UserProfessor Mark Pauly - Geometric Computing Laboratory, EPFL Swiss Federal Institute of Technology, Lausanne.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 08 June 2022, 15:05-15:55

NLIP Seminar Series

Measuring Causal Effects of Data Statistics on Language Model Predictions

UserYanai Elazar (Bar-Ilan University).

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

UserVikraman Choudhury, University of Indiana.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserVikraman Choudhury, University of Indiana.

HouseSS03.

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

Women@CL Events

Women@CL Talkets

UserKayla-Jade Butkow and Ting Dang and Ceren Kocaogullar.

HouseComputer Laboratory, William Gates Building, FW11.

ClockThursday 26 May 2022, 13:00-14:00

The Wheeler Lectures in Computer Science

CANCELLED: Wheeler Lecture 2022

UserDavid Silver, Principal Research Scientist at DeepMind.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 May 2022, 15:15-16:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Lifted Relational Neural Networks

UserGustav Šir, Czech Technical University in Prague.

HouseZoom.

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

NLIP Seminar Series

Neuro-Symbolic Deep Natural Language Understanding

UserLili Mou (University of Alberta).

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

UserDan Marsden, University of Oxford.

HouseSS03.

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

NLIP Seminar Series

Diagnosing AI Explanation Methods with Folk Concepts of Behavior

UserAlon Jacovi (Bar-Ilan University).

HouseVirtual (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

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

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

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

HouseZoom + presence (lecture theatre 2) .

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

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

UserDavid Richerby, University of Essex.

HouseSS03.

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

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity