Update 2017-09-06-darmstadt.md

_posts/2017-09-06-darmstadt.md

 ---
-title:  Philippa Gardner, Keynote talk, DFG Priority Program "Reliably Secure Software Systems (RS3)", 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).