On September 4-6, the final event of the DFG priority program Reliably Secure Software Systems (RS³) that has been coordinated since 2010 by Prof. Heiko Mantel, will take place at Jagdschloss Kranichstein in Darmstadt. The program will feature presentations of the results of all RS³ projects as well as the case studies in the joint application scenarios and a panel discussion on "Formal Methods in Information Security". The keynote speakers at the event will be Lujo Bauer, Jorge Cuéllar, Philippa Gardner, Fabio Massacci, Carroll Morgan, Ravi Sandhu, Fred B. Schneider, and Tomasz Truderung.