Two papers have been accepted at SPIN 2026. The first paper is titled Crash-free Deductive Verifiers by Wander Nauta, Marcus Gerhold and Marieke Huisman. The second paper is titled Deductive Verification of Weak Memory Programs with View-based Protocols by Ömer Şakar, Soham Chakraborty, Marieke Huisman and Anton Wijs.