diff --git a/_posts/2017-09-06-darmstadt.md b/_posts/2017-09-06-darmstadt.md index 6d16fb52c08e42d7deffb1be58f10eb336aa788f..de27c52782641a0020925353ba6a6ed6e22a5848 100644 --- a/_posts/2017-09-06-darmstadt.md +++ b/_posts/2017-09-06-darmstadt.md @@ -1,5 +1,5 @@ --- -title: Philippa Gardner, Keynote talk at "Reliably Secure Software Systems" meeting, Darmstadt, Germany. +title: Philippa Gardner, Keynote talk at Reliably Secure Software Systems (RS3) meeting, 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).