I’ve written a roundup of the exciting talks, demos and discussions that were held at PROPL 2025 over on my homepage at https://anil.recoil.org/notes/icfp25-propl. Enjoy, and do let me know if you have any corrections or additions you’d like to the post!
Anyone with an active role within the website of PROPL 2025 (e.g. authors, committee members) can start a blog. Want to write a blog but don't have an active role on the website yet? Please ask one of the organizers to request post privileges. Note that you need to be logged in, in order to post a blog.