Hana Chockler, "Using causality for debugging and explainability", VeTSS Annual Conference 2026
Talk by Hana Chockler (King’s College London), at the VeTSS Annual Conference, 12th May 2026, Royal Academy of Engineering, London, UK. Using causality for debugging and explainability In this talk I will look at the applications of actual causality to debugging models and explainability. Specifically, I will talk about actual causality as introduced by Halpern and Pearl, and its quantitative extensions. This theory turns out to be extremely useful in various areas of computer science due to a good match between the results it produces and our intuition. It turns out to be particularly useful for explaining the outputs of large AI systems. I will argue that explainability can be viewed as a debugging technique and illustrate this approach with a number of examples. I will discuss the differences between the traditional view of explainability as a human-oriented technique and the type of explainability we are proposing, which is essentially a window inside the (otherwise black-box) system.

Don Syme, "Repository Automation with GitHub Agentic Workflows", VeTSS Annual Conference 2026

Tom Chothia, "Formal Verification of EMV Payments", VeTSS Annual Conference 2026

Prof Bianca van Kemenade on "Predicting and perceiving the sensory outcomes of your own action"

Yann LeCun: World Models: Enabling the next AI revolution

Petros Wallden, "Evaluating and Verifying Quantum Computations", Annual Conference 2026

Focus Dario Amodei (Google Brain)

China Just Built What TSMC Said Was Impossible

Explaining Your Job To Your Boomer Boss | Mr. Robot

Terence Tao: Nobody Understands Why AI Actually Works

1986: How to Spot the Upper Class | That's Life! | BBC Archive

How To Think SO CLEARLY People Assume You're A Genius

Kathleen Fisher, "Towards Resilient Systems in an Increasingly Hostile World", Annual Conf. 2026

Andrej Karpathy: From Vibe Coding to Agentic Engineering w/ Stephanie Zhan

Dominic Mulligan, "Nitro Isolation Engine", VeTSS Annual Conference 2026

This Johnny Depp Impression of Donald Trump Had Everyone Laughing

Why Aliens Would NEVER Invade Africa

Richard P. Feynman: Probability and Uncertainty; The Quantum Mechanical View of Nature

Sebastian Ullrich and Joachim Breitner, “The Lean Programming Language and Theorem Prover”, (VSS25)

Terence Tao Explains The Math Behind AI

