On June 20-22, a workshop of the DFG priority program Reliably Secure Software Systems (RS3) took place at MAIS. Researchers from DFKI Bremen, TU Darmstadt, and the Karlsruhe Institute of Technology met to extend the information-flow specification language RIFL by support for controlled declassification.