Marieke Huisman gave a talk titled "VerCors & Alpinist: Verification of Optimised GPU Programs" at the PLACES workshop, co-located at ETAPS, and at the ABZ conference. This talk is based on earlier work done in a collaboration between Ömer Şakar, Mohsen Safari, Marieke Huisman, and Anton Wijs, and can be found here.