The short paper Using Horn Solvers to Generate Memory Access Permissions for Deductive Verification – A Preliminary Report by Lukas Armborst and Marieke Huisman has been accepted at the HCVS workshop at ETAPS.