#hlf25 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hlf25, aggregated by home.social.
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:
Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.
From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/