Software bugs cost society billions and threaten critical infrastructure. This international summer school brings early-career researchers together in Aarhus to study state-of-the-art methods for verifying and securing software, including interactive theorem proving, program verification, and language-based security, fostering intensive training and cross-disciplinary exchange.