#hlf25
LightNews LightNews
kylecranmer.bsky.social
An article in @physicsworld.bsky.social about our panel discussion on AI and the physical sciences at #HLF25. With
@georgemusser.com, Thea Åarrestad, David Silver and Maia Fraser
physicsworld.com/a/the-pros-a...
September 18, 2025 at 6:42 AM
kylecranmer.bsky.social
Is scale all you need? Or is there still a role for incorporating domain knowledge and inductive bias? While I was in Heidelberg, I took some time to write a short essay on this question called "The Bittersweet Lesson".
theoryandpractice.org/2025/09/The%... #HLF25
Kyle Cranmer and Rich Sutton at the Heidelberg Laureate Forum, September 16, 2025.
September 22, 2025 at 3:49 PM
acm.org
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas in 15–20 minute talks:

Don’t miss this session designed to spark curiosity and innovation.
🔗 buff.ly/See9yTe

#HLF25 #TuringAward #AI #Cryptography #Computing
September 13, 2025 at 2:05 PM
lonnibesancon.bsky.social
Very happy to have participated in this panel session at the #hlf25 on research integrity with an amazing moderator and great panelists.
September 19, 2025 at 12:40 PM
hlforum.bsky.social
🎊 Only three more days until #HLF25 kicks off!

🥰 We wish you a safe and pleasant journey to Heidelberg!

#HLF25 #HLFoum #Heidelberg
Text: #HLF25. Figure three. HLF backgorund in shades of blue.
September 11, 2025 at 8:02 AM
thoefler.bsky.social
I was shocked to see the first two people in my "masterclass" 🎓 on #AI networking with Ultra Ethernet at #HLF25: David Patterson and Bob Metcalfe 😅! Both Turing award winners - Bob being one of the inventors of Ethernet 🥹. Was great fun also with many enthusiastic students and great discussions 🚀.
October 13, 2025 at 5:00 AM
mpoessel.de
Rafael Lang greeting the audience as “dear geeks and nerds” at the Heidelberg Laureate Forum #HLF25
Mann mit Bart auf Bühne vor Projektionswand
September 14, 2025 at 1:14 PM
kylecranmer.bsky.social
Video of our panel on AI for the physical sciences at #HLF25
youtu.be/I-Ye-rMhRws?...
September 19, 2025 at 3:16 PM
hlforum.bsky.social
Congratulations to Torsten Hoefler, for being named as the recipient of the 2024 ACM Prize in Computing @acm.org!
We would be honored to welcome you at the 12th Heidelberg Laureate Forum this year!

#hlf25 #hlforum #heidelberg #acm
March 26, 2025 at 10:18 AM
acm.org
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.

🔗 buff.ly/See9yTe

#HLF25 #Mathematics #Computing
September 12, 2025 at 1:26 PM
plusmaths.bsky.social
Would you like to hear the inventor of the #internet, Vint Cerf, sing #karaoke? Then check out the latest #vlog from @hlforum.bsky.social #HLF25 youtu.be/sZz-NS4UeXE?...
September 18, 2025 at 1:42 PM
mpoessel.de
Interesting panel discussion about scientific integrity with @lonnibesancon.bsky.social , Yukari Ito and Eusang Lee, moderated by Benjamin Skuse. #HLF25
Four people sitting in a row on a stage
September 19, 2025 at 8:35 AM
plusmaths.bsky.social
We're having a great time at @hlforum.bsky.social as always! Our first vlog is out now, featuring young researchers from around the world, mathematical art, and two lovely science journalist friends youtu.be/c49WU053ZSg?... #HLF2025
VLOG@HLF25 PART ONE
YouTube video by Heidelberg Laureate Forum
youtu.be
September 15, 2025 at 3:46 PM
mpoessel.de
Fun talk at #HLF25 by Avi Wigderson, on a number of things Alan Turing did in addition to the most famous examples.
Man on Stage. Projected are a video of the man (left) and a slide about paeudorandomness (right)
September 19, 2025 at 7:36 AM
zhijingjin.bsky.social
Honored to be selected for the Heidelberg Laureate Forum 2025! After attending Lindau Nobel Meeting (2024), grateful for another chance to learn from pioneers—#LINO24 for Physics Nobelists, now #HLF25 for CS/Math legends (Fields Medalists, Turing winners, ...). Really humbled!🙏
April 11, 2025 at 9:57 AM
hlforum.bsky.social
🎊 Finally, the registration started!
Sarah, Martina, Yasmin, Anna and the whole HLFF team can’t wait to welcome everybody to Heidelberg! ✨

#HLF25 #HLForum #Heidelberg
Text: #HLF25. Figure one. HLF backgorund in shades of blue. Selfie of Sarah, Martina, Yasmin and Anna from the HLFF team.
September 13, 2025 at 8:13 AM
hlforum.bsky.social
We are very much looking forward to Avi Wigderson’s lecture on “The Value of Errors in Proofs” he is holding at this year’s #HLF25:
Program 12th HLF 2025 - Heidelberg Laureate Forum

#HLForum #Heidelberg
Avi Wigderson. Portrait photo.
August 25, 2025 at 8:56 AM
lean-lang.org
Two great talks at #HLF25 last week: Sanjeev Arora on superhuman AI mathematicians using #LeanLang, and David Silver on AI learning through experience with #LeanProver verification.

www.youtube.com/watch?v=q9MJ...

#AI #FormalMath #ReinforcementLearning
Spark Session | September 15
YouTube video by Heidelberg Laureate Forum
www.youtube.com
September 23, 2025 at 6:00 PM
hlforum.bsky.social
We are already preparing and impatiently waiting for your arrival tomorrow!

😍 Very much looking forward to meeting you all!

#HLF25 #HLForum #Heidelberg
September 12, 2025 at 11:01 AM
hlforum.bsky.social
✨ Last week, we took a first look back at #HLF25.
Today, in the second part of our VLOG@HLF25 we join the young researchers, laureates and speakers from around the world as the kaleidoscopic program begins.

Watch now:
👉 www.youtube.com/watch?v=sZz-...

#HLF26 #Mathematics #ComputerScience
VLOG@HLF25 PART TWO
YouTube video by Heidelberg Laureate Forum
www.youtube.com
August 28, 2026 at 7:50 AM
hlforum.bsky.social
💡 Demian Nahuel Goos was awarded this year's mathematics media prize by the DMV.

Learn about his „Intercultural Science-Art Project“, which he exhibited at #HLF25:
🎨👉 demian-goos.de/isap-2025-12...

We would like to congratulate and thank Demian for the wonderful collaboration! ✨
ISAP 2025 – 12th HLF – Demian Goos – Maths, SciCom and Outreach
demian-goos.de
November 28, 2025 at 10:27 AM
anndooms.bsky.social
… and here is the other half 😀

#MartinHellman #DiffieHellman #HeidelbergLaureateForum #HLF25
September 18, 2025 at 10:16 AM
hlforum.bsky.social
📣 The application phase for the 13th Heidelberg Laureate Forum (HLF) has just begun!
Apply Now! 🎊
👉 application.heidelberg-laureate-forum.org/site/index.php
We can’t wait to hear from you! ✨

#HLF26 #HLF25 #HLForum #Heidelberg
Photo that reads "Do you want to be part of it?"
November 11, 2025 at 12:16 PM
hlforum.bsky.social
Did you already check out the highlight video of the 11th HLF? 💡

✨ It provides a glimpse into the last Heidelberg Laureate Forum, which took place from September 22–27, 2024.

👉 Watch now:
www.youtube.com/watch?v=xXys...

#HLF24 #HLF25 #HLForum #Heidelberg
Thumbnail of the youtube video
May 5, 2025 at 12:58 PM
hlforum.bsky.social
📢TODAY is the last chance to apply for a travel grant to cover the 12th Heidelberg Laureate Forum in September as a science journalist.

Apply now:
www.newsroom.hlf-foundation.org/news/article...

#hlf25 #hlforum #heidelberg #journalism
Journalist Travel Grants Available for 12th Heidelberg Laureate Forum
www.newsroom.hlf-foundation.org
March 31, 2025 at 6:06 AM