Spark Session | September 18 скачать в хорошем качестве

Spark Session | September 18

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: https://www.heidelberg-laureate-forum... Follow us on social media! Blog: https://scilogs.spektrum.de/hlf/ LinkedIn:   / heidelberg-laureate-forum-foundation   Instagram:   / hlforum   Facebook:   / heidelberglaureateforum   Bluesky: https://bsky.app/profile/hlforum.bsky... flickr: https://www.flickr.com/photos/hlforum/