diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md index 0d1e9c4c5d789756680329f1c9eac5fef6541ca9..265d51bf94da305f9e9960aed6eb89ea858d818f 100644 --- a/_posts/2020-01-22-hase.md +++ b/_posts/2020-01-22-hase.md @@ -1,5 +1,5 @@ --- -title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020 +title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL2020 --- Philippa was one of the speakers at the [Interactive Knowledge