Tom moderates the second Spark Session at the 12th Heidelberg Laureate Forum, with talks from laureates in Maths and Computer Science.

Patrick M. Hanrahan: The Languages of Mathematics and Computing
Martin Hellman: Graphs in Cryptography
Torsten Hoefler: The Computational Path Towards Artificial Human-like Intelligence
Subhash Khot: Approximability of Satisfiable Constraint Satisfaction Problems (CSPs)
Leslie Lamport: Why Programs Should Have Bugs