Uploaded September 2025 | Updated September 2026, 2 weeks ago
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
The 12th Heidelberg Laureate Forum took place from September 14–19, 2025. #HLF25
The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize.
The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.
More information on the Heidelberg Laureate Forum: heidelberg-laureate-forum.org
Follow us on social media!
Blog: scilogs.spektrum.de/hlf
LinkedIn: linkedin.com/company/heidelberg-laureate-forum-foundation
Instagram: instagram.com/hlforum
Facebook: facebook.com/HeidelbergLaureateForum
Bluesky: https://bsky.app/profile/hlforum.bsky.social
flickr: flickr.com/photos/hlforum
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
The 12th Heidelberg Laureate Forum took place from September 14–19, 2025. #HLF25
The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize.
The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.
More information on the Heidelberg Laureate Forum: heidelberg-laureate-forum.org
Follow us on social media!
Blog: scilogs.spektrum.de/hlf
LinkedIn: linkedin.com/company/heidelberg-laureate-forum-foundation
Instagram: instagram.com/hlforum
Facebook: facebook.com/HeidelbergLaureateForum
Bluesky: https://bsky.app/profile/hlforum.bsky.social
flickr: flickr.com/photos/hlforum
