University of Cambridge > Talks.cam > cruk

cruk

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

Tell a friend about this list:

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

40 upcoming talks and 5007 talks in the archive: show all (slow!).

Artificial Intelligence Research Group Talks (Computer Laboratory)

Leveraging AI for Breakthroughs in Genomic Research

Hybrid: https://cam-ac-uk.zoom.us/j/2554325137?pwd=NGZEbGl1WkJxQVdkV09oc2k1L2pwQT09 Meeting ID: 255 432 5137 Passcode: 360730

UserMike Sikic, Genome Institute of Singapore .

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 24 May 2024, 12:00-13:00

Mobile and Wearable Health Seminar Series

Inspiration of Taiji: Can Audio Benefit Healthcare for Diagnosis and Treatment?

Zoom: https://cam-ac-uk.zoom.us/j/82997731682?pwd=cTFJdmd5aEcxWVU4SjhJcW5HRWt5dz09

UserKun Qian, School of Medical Technology Beijing Institute of Technology China.

HouseOnline.

ClockTuesday 21 May 2024, 16:00-17:00

Computer Laboratory Systems Research Group Seminar

Towards identifying neglected, obsolete and abandoned IoT and OT devices

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

UserRicardo Yaben, Technical University of Denmark (DTU).

HouseFW11.

ClockThursday 16 May 2024, 15:00-16:00

HEP phenomenology joint Cavendish-DAMTP seminar

TBA

UserDaniel Yeo (Cambridge U.).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 10 May 2024, 16:00-17:00

Mobile and Wearable Health Seminar Series

Technology for Bioelectronic Medicine

Zoom: https://cam-ac-uk.zoom.us/j/86706559019?pwd=TU1mVkV4dWpla0hyVDkyaG4zMU5mQT09

UserGeorge Malliaras (Department of Engineering, University of Cambridge).

HouseComputer Lab, FW26 and Online.

ClockTuesday 07 May 2024, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Exploring novel (bio)molecular spaces by design – a dialogue between representation and generation

UserProfessor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 01 May 2024, 15:05-15:55

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

UserAndrej Bauer, University of Ljubljana.

HouseSS03, Computer Laboratory.

ClockWednesday 01 May 2024, 10:00-11:00

Mobile and Wearable Health Seminar Series

Towards Digital Endpoints of Quality of Life

Zoom: https://cam-ac-uk.zoom.us/j/82137851196?pwd=M1NNeExnYk9VQ0JhUDlaWThydGlGQT09

UserKatarzyna Wac, University of Geneva.

HouseComputer Lab, FW26 and Online.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

The UK AI Safety Institute

UserNitarshan Rajkumar (University of Cambridge & UK AI Safety Institute).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 30 April 2024, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Can a computer judge interestingness?

(NOTE UNUSUAL DAY/TIME)

UserMichael Douglas (Center of Mathematical Sciences and Applications, Harvard University).

HouseMR15 Centre for Mathematical Sciences.

ClockMonday 29 April 2024, 14:00-15:00

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

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck

UserDr Gill Barnett; Dept of Oncology and Strangeways Research Laboratory; Dr Christopher Jones, Dept of Oncology and Cambridge University Hospitals .

HouseTheo Chalmers Lecture Theatre , School of Clinical Medicine.

ClockThursday 18 April 2024, 09:30-10: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

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

HEP phenomenology joint Cavendish-DAMTP seminar

On amplitudes and field redefinitions

UserDavid Sutherland (University of Glasgow).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 23 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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

"Meet the Expert": How to survive and thrive as an entrepreneur

Booking required, lunch provided, note later time

UserDr Jason Mellad, Co-Founder and CEO of Startcodon. .

HouseTheo Chalmers Lecture Theatre (LT2) School of Clinical Medicine.

ClockThursday 15 February 2024, 12:00-13: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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Cancer metabolism, a hallmark of cancer

UserProf Christian Frezza CECAD Research Center, University Hospital Cologne.

HouseOnline only via Zoom.

ClockThursday 14 December 2023, 09:30-10:30

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Precision oncology: a philosophical perspective

UserDr Benjamin Chin-Yee, Haematologist (Western University, Canada); MA in History and Philosophy of Science..

HouseTheo Chalmers Lecture Theatre (LT2) School of Clinical Medicine.

ClockThursday 16 November 2023, 09:30-10:30

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

HEP phenomenology joint Cavendish-DAMTP seminar

The classical equations of motion of quantised gauge theories

*** Note unusual topic of talk ***

UserTom Melia (IPMU).

HousePotter Room, B1.34, DAMTP.

ClockThursday 03 August 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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Curing cancer with AI – hype or hope?

UserProf Richard Gilbertson, CRUK Cambridge Institute and Director of CRUK Cambridge Centre.

HouseWilliam Harvey Lecture Theatre, School of Clinical Medicine.

ClockThursday 27 July 2023, 09:30-10:30

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Paediatric malignancies

UserDr Amos Burke Clinical Consultant, Dept of Paediatric Haematology, Oncology & Palliative Care.

HouseWilliam Harvey Lecture Theatre, School of Clinical Medicine.

ClockThursday 20 July 2023, 09:30-10:30

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

The promise of proton therapy in paediatric tumours

UserDr Thankamma Ajithkumar, Consultant Clinical Oncologist, Cambridge University Hospitals NHS Foundation Trust.

HouseWilliam Harvey Lecture Theatre, School of Clinical Medicine.

ClockThursday 29 June 2023, 09:30-10: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

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Nutrition and cancer prevention

UserProf Martin Wiseman, World Cancer Research Fund International and Visiting Professor in Human Nutrition Southampton University .

HouseWilliam Harvey Lecture Theatre, School of Clinical Medicine.

ClockThursday 15 June 2023, 09:30-10: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

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

A scientists guide to the art of radiation therapy & Neurosurgery for the oncologist

UserDr Raj Jena Dept of Oncology and Cambridge University Hospitals; Mr Adel Helmy, Dept of Clinical Neuroscience.

HouseWilliam Harvey Lecture Theatre, School of Clinical Medicine.

ClockThursday 25 May 2023, 09:30-10:30

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Kidney cancer

UserDr James Jones; Cambridge University Hopitals NHSFT.

HouseOnline only via Zoom.

ClockTuesday 09 May 2023, 09:30-10:30

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Kidney cancer

UserDr James Jones; Cambridge University Hospitals NHSFT.

HouseOnline only via Zoom.

ClockTuesday 09 May 2023, 09:30-10:30

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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Shedding light on tumour physiology

User Dr Mariam-Eleni Oraiopoulou; research associate VISION Lab CRUK Cambridge Institute .

HouseOnline only via Zoom.

ClockThursday 04 May 2023, 09:30-10: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

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

HEP phenomenology joint Cavendish-DAMTP seminar

Eetu Loisa - TBA

UserEetu Loisa (DAMTP).

HousePotter Room (B1.19).

ClockFriday 03 March 2023, 16:00-17: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

Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine

Cancer metabolism, a hallmark of cancer

UserProf Christian Frezza, CECAD Research Center, University Hospital Cologne.

HouseOnline via Zoom.

ClockThursday 01 December 2022, 09:30-10:30

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

Please see above for contact details for this list.

 

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