diff --git a/_posts/2017-09-06-darmstadt.md b/_posts/2017-09-06-darmstadt.md index 72dfc94ef30935ada835bcf06dcff0c7d044c1f8..8ddb64062437635ef5f8b5ad9f2688b8372f4a09 100644 --- a/_posts/2017-09-06-darmstadt.md +++ b/_posts/2017-09-06-darmstadt.md @@ -1,10 +1,10 @@ --- -title: Keynote talk, DFG Priority Program "Reliably Secure Software Systems (RS3)", Darmstadt, Germany. +title: Philippa Gardner, 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.