Two papers have been accepted for publication at SEFM 2024: Deductive verification of SYCL in VerCors written by Ellen Wittingen, Marieke Huisman and Ömer Şakar, and Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems written by Philip Tasche, Paula Herber and Marieke Huisman.