Thank you for making FPTalks 2025 a huge success 🎉

[Zachary Tatlock]

Howdy folks,

On behalf of the FPTalks board and the broader FPBench community, thank you for an outstanding FPTalks 2025 workshop last week!

This was our sixth -- and largest! -- annual workshop, drawing researchers and engineers from academia, startups, and industry. About 150 people joined across Zoom and YouTube, and the chat was lively from start to finish.

Recordings & slides

All talks are now on YouTube and linked from the workshop page, with slides / papers / repos provided by each speaker: https://fpbench.org/talks/fptalks25.html

Feel free to share the link with anyone who missed the live event.


What’s next?

• Monthly FPTalks resume on Thu 7 Aug 2025.
• These talks are more casual and discussion-driven.
• You can check out the schedule on the main FPTalks page.
• Sign up for the mailing list to stay up to date.

• Have a project update or know someone who should present?
  Please drop us a suggestion via the speaker nomination form!

Thanks to...

• Speakers who condensed months of work into fantastic, 10-minute lightning talks.
• Volunteers who handled the website, announcements, Zoom, chat, and YouTube.
• All of you who asked great questions and shared resources in real time.
  
  

Your energy and expertise are what make us all look forward to FPTalks each year :)

Hope to see you at the next session!!

Best regards,

Ian Briggs, Pavel Panchekha, Zachary Tatlock

(on behalf of the FPBench community)