The DFG priority programme "Reliably secure software systems" (Schwerpunktprogramm "Zuverlässig sichere Softwaresysteme") has been approved. It will start in 2010. Coordinator of the programme is Prof. Dr. Heiko Mantel. For more information, see the programme's website.