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

tms41'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: Dr Thomas Sauerwald. If you have a question about a specific talk, click on that talk to find its organiser.

53 upcoming talks and 3972 talks in the archive: show all (slow!).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Computer Laboratory Security Seminar

Design rules and Maxims for insecurity engineering for lock designs

Note unusual time and location

UserMarc Weber Tobias, School of Engineering, University of Pittsburgh.

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

ClockFriday 18 March 2022, 16:00-17:00

NLIP Seminar Series

Multilingual Autoregressive Entity Linking

UserNicola De Cao (University of Amsterdam, Huggingface).

HouseVirtual (Zoom).

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning as an assay for high-dimensional biology

UserSara Mostafavi, University of Washington, USA.

HouseZoom.

ClockTuesday 15 March 2022, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

UserAnupam Das, University of Birmingham.

HouseFW26.

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

NLIP Seminar Series

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

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

HouseVirtual (Zoom).

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

Technical Talks - Department of Computer Science and Technology

TNG Technology Consulting: Microservices for Smarter Home Appliances

UserDr. Tobias Tennstädt, Senior Consultant and Niklas Eicker, Software Consultant.

HouseOnline.

ClockTuesday 08 March 2022, 13:05-13:55

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

UserMarie Fortin, University of Liverpool.

HouseFW26.

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

NLIP Seminar Series

Using NLP and graph theory to capture speech abnormalities in psychosis

UserCaroline Nettekoven (University of Cambridge).

HouseVirtual (Zoom).

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

Wednesday Seminars - Department of Computer Science and Technology

Intelligent Systems of the People, by the People, for the People

UserXiaofan (Fred) Jiang - Associate Professor of Electrical Engineering and Computer Engineering, Columbia University.

HouseOnline.

ClockWednesday 02 March 2022, 15:05-15:55

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

UserPrakash Panangaden, McGill University and University of Edinburgh.

HouseFW26.

ClockFriday 25 February 2022, 14:00-15:00

NLIP Seminar Series

Learning from Past: Bringing Planning Back to Neural Generators

UserShashi Narayan (Google Research).

HouseVirtual (Zoom).

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

Wednesday Seminars - Department of Computer Science and Technology

AI x Mathematics

UserDr Alex Davies - DeepMind and Dr Petar Veličković - DeepMind / University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

UserDavid Richerby, University of Essex.

HouseFW26.

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

NLIP Seminar Series

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

UserSebastian Riedel (Facebook AI Research and UCL).

HouseVirtual (Zoom).

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

Women@CL Events

Women@CL Talklet Event

UserCoral Westoby and Alessia Angeli and Smita Vijaya Kumar.

HouseZoom.

ClockThursday 03 February 2022, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Improving Quality of Experience for Video Users in Cellular Networks

UserProfessor Cormac J. Sreenan - Professor of Computer Science at University College Cork.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 02 February 2022, 15:05-15:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Brain charts for the human lifespan

UserRichard Bethlehem, Autism Research Centre & Brain Mapping Unit, University of Cambridge.

HouseZoom.

ClockTuesday 01 February 2022, 13:15-14:15

NLIP Seminar Series

Towards Out-of-distribution generalization in NLP

UserProf. He He (New York Univeristy).

HouseVirtual (Zoom).

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

Wednesday Seminars - Department of Computer Science and Technology

The Quarks of Attention

UserProfessor Pierre Baldi - Distinguished Professor, Department of Computer Science Director, Institute for Genomics and Bioinformatics Associate Director, Center for Machine Learning and Intelligent Systems, University of California, Irvine.

HouseOnline.

ClockWednesday 26 January 2022, 15:05-15:55

Computer Laboratory Security Seminar

Incident Response as a Lawyers' Service

UserDaniel Woods, University of Innsbruck, Austria.

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

ClockTuesday 25 January 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Advancing mathematics by guiding human intuition with AI

UserAlex Davies and Petar Velickovic (DeepMind).

HouseZoom.

ClockTuesday 25 January 2022, 13:15-14:15

NLIP Seminar Series

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

UserNedjma Ousidhoum (University of Cambridge).

HouseVirtual (Zoom).

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

Computer Laboratory Security Seminar

Hansa Market, Cyberbunker, and Encrochat: The Security Practices of Organized Crime

UserErik van de Sandt, Dutch National Police and University of Bristol.

HouseWebinar.

ClockFriday 14 January 2022, 15:00-16:00

Computer Laboratory Security Seminar

Why Johnny doesn’t write secure software?

UserAwais Rashid, University of Bristol.

HouseWebinar.

ClockTuesday 07 December 2021, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

UserPeter LeFanu Lumsdaine, Stockholm University.

HouseFW26.

ClockFriday 03 December 2021, 14:00-15:00

NLIP Seminar Series

CANCELLED

UserLotty Brand (University of Sheffield) .

HouseVirtual (Zoom).

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

Computer Laboratory Security Seminar

Securing the Future: Futures Literacy in Cyber Security

UserGenevieve Liveley, University of Bristol.

HouseWebinar.

ClockTuesday 30 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

UserSimon Forest, University of Aix-Marseille.

HouseFW26.

ClockFriday 26 November 2021, 14:00-15:00

NLIP Seminar Series

Sparse Latent Structure with Overlapping Constraints

UserVlad Niculae (University of Amsterdam).

HouseVirtual (Zoom).

ClockFriday 26 November 2021, 12:00-13: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