Spark Session Thursday

Patrick M. Hanrahan, Martin Hellman, Torsten Hoefler, Subhash Khot, Leslie Lamport

Spark sessions are blocks that include several short plenary "Spark Talks" (15-20 minutes) by laureates. Here they give insights into their current research projects, discuss their work and spark inspiration for new ideas and problem-solving approaches. 

Moderator:
Tom Crawford

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

---