From b8c83c1604e2ff8b1860b413d4a06b3c0a331aef Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Oct 2017 13:16:25 +0100 Subject: [PATCH] Update 2017-09-06-darmstadt.md --- _posts/2017-09-06-darmstadt.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-09-06-darmstadt.md b/_posts/2017-09-06-darmstadt.md index 8ddb640..ec2fd19 100644 --- a/_posts/2017-09-06-darmstadt.md +++ b/_posts/2017-09-06-darmstadt.md @@ -1,5 +1,5 @@ --- -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). -- GitLab