RS3 Annual Meeting 2015

On October 5 and 6, the 5th Annual Meeting of the DFG priority program „Reliably Secure Software Systems“ (RS3), coordinated by Prof. Heiko Mantel, will take place at the University of Bremen. Researchers from nine German universities and research institutes will meet to present their progress in the development of provably correct techniques for establishing precisely defined security guarantees for complex software systems. Additionally, Frank Piessens and Catuscia Palamidessi will give keynote talks about secure compilation and quantitative information flow, respectively. The Annual Meeting will be followed by the 10th Staff Meeting of RS3 on October 7 and 8, during which the researchers will continue working towards their common goals.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang