Kathrin Stark, Yannick Zakowski, Nikhil Swamy, Nicolas Tabareau: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026. ACM 2026, ISBN 979-8-4007-2341-4