From dc98b30d0b14fd9dd2a6f712ef7f0dd3b62d4b84 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Oct 2017 13:08:51 +0100 Subject: [PATCH] Add new file --- _posts/2017-09-06-darmstadt.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 _posts/2017-09-06-darmstadt.md diff --git a/_posts/2017-09-06-darmstadt.md b/_posts/2017-09-06-darmstadt.md new file mode 100644 index 0000000..72dfc94 --- /dev/null +++ b/_posts/2017-09-06-darmstadt.md @@ -0,0 +1,12 @@ +--- +title: Keynote talk, DFG Priority Program "Reliably Secure Software Systems (RS3)", Darmstadt, Germany. +--- +Philippa Gardner gave a keynote talk entitled 'Trustworthy Software Specification' at the [final event](http://www.spp-rs3.de/final-event/) +of the [DFG-funded]( http://www.dfg.de/en/dfg_profile/mission/index.html) national research initiative ["Reliably Secure Software Systems (RS3)"](http://www.spp-rs3.de). + + + +The meeting, which took place on 4-6 September 2017 in Darmstadt, Germany, featured presentations of selected results from RS3 research +and invited [keynotes]( http://www.spp-rs3.de/final-event/keynotes.html) by renowned international speakers. +The overall goal of [RS3]( http://www.spp-rs3.de/About) has been to enable a reliable verification of system-wide +security guarantees based on a well-founded understanding of programs and of security aspects. \ No newline at end of file -- GitLab