From 7af63cf637894012ac8364a957193474c4af944e Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 May 2017 16:27:38 +0100 Subject: [PATCH] Update 2017-05-03-consistency.md --- _posts/2017-05-03-consistency.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/_posts/2017-05-03-consistency.md b/_posts/2017-05-03-consistency.md index 85e7c41..0cef9ba 100644 --- a/_posts/2017-05-03-consistency.md +++ b/_posts/2017-05-03-consistency.md @@ -1,7 +1,7 @@ --- title: Philippa Gardner, talk at the open Workshop on Consistency in Distributed Storage Systems, LIP6, Paris --- -Philippa Gardner was one of the speakers at the open workshop [“Consistency in distributed storage.â€](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/) +Philippa Gardner gave at talk on A Concurrent Specification of PoSIX at the open workshop [“Consistency in distributed storage.â€](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/) held at the Université Pierre et Marie Curie - LIP6, Paris, France on the 3 May 2017. The workshop, organised by [Marc Shapiro](https://pages.lip6.fr/Marc.Shapiro/) [(UPMC-LIP6 and Inria)](https://www.inria.fr/) is an opportunity for students @@ -10,5 +10,4 @@ based on solid distributed algorithm and engineering principles. This workshop i which aims to deconstruct consistency and to develop principled tools for the design, verification, deployment and monitoring, and to use them for developing a correct-by-construction and efficient geo-scale petabyte-sized storage system. -Philippa gave a talk on A Concurrent Specification of PoSIX. Philippa’s abstract and slides are available -from the [workshop page](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/). \ No newline at end of file +Philippa’s abstract and slides are available from the [workshop page](https://pages.lip6.fr/Marc.Shapiro/workshop-2017-05-03/). \ No newline at end of file -- GitLab