- Jonathan Edwards, Roly Perera, Tomas Petricek 0001, editors, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia. Volume 134 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.