From 8e59877ddd8a474f71b37c75da6211d73b049103 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 31 Jan 2020 16:23:52 +0000 Subject: [PATCH] Update 2020-01-22-hase.md --- _posts/2020-01-22-hase.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md index f406cfb..3506265 100644 --- a/_posts/2020-01-22-hase.md +++ b/_posts/2020-01-22-hase.md @@ -6,7 +6,7 @@ Philippa was one of the speakers at the [Interactive Knowledge Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares) of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020) -HASE, part of [POPL20](https://popl20.sigplan.org) aims to forge new collaborations and initiatives which strive to provide +HASE, part of [POPL](https://popl20.sigplan.org) aims to forge new collaborations and initiatives which strive to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware). -- GitLab