On September 7, the 14th annual meeting of FoMSESS (the group of the German Informatics Society on "Formal Methods and Software Engineering for Secure Systems") was hosted by MAIS at TU Darmstadt.