TYPES 2025: The 31st International Conference on Types for Proofs and Programs