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
▶︎

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

Tom Chothia, "Formal Verification of EMV Payments", 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"
▶︎

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

Yann LeCun: World Models: Enabling the next AI revolution
▶︎

Yann LeCun: World Models: Enabling the next AI revolution

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

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

Focus Dario Amodei (Google Brain)
▶︎

Focus Dario Amodei (Google Brain)

China Just Built What TSMC Said Was Impossible
▶︎

China Just Built What TSMC Said Was Impossible

Explaining Your Job To Your Boomer Boss | Mr. Robot
▶︎

Explaining Your Job To Your Boomer Boss | Mr. Robot

Terence Tao: Nobody Understands Why AI Actually Works
▶︎

Terence Tao: Nobody Understands Why AI Actually Works

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

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

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

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

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

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

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

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

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

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

This Johnny Depp Impression of Donald Trump Had Everyone Laughing
▶︎

This Johnny Depp Impression of Donald Trump Had Everyone Laughing

Why Aliens Would NEVER Invade Africa
▶︎

Why Aliens Would NEVER Invade Africa

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

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)
▶︎

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

Terence Tao Explains The Math Behind AI
▶︎

Terence Tao Explains The Math Behind AI

Stephen Dolan, "Types for more than memory safety in OxCaml",  VeTSS Annual Conference 2026
▶︎

Stephen Dolan, "Types for more than memory safety in OxCaml", VeTSS Annual Conference 2026