The paper Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers by Sophie Lathouwers and Marieke Huisman, was accepted at the 10th International Conference on Formal Methods in Software Engineering (FormaliSE 2022).