diff --git a/_posts/2017-05-03-consistency.md b/_posts/2017-05-03-consistency.md index 7cead2f05e0a6b41f9c37a901ecb8377f3cba2a6..b7e8ad41ec109e06dc0e6b96deb500ea9672cc55 100644 --- a/_posts/2017-05-03-consistency.md +++ b/_posts/2017-05-03-consistency.md @@ -4,8 +4,8 @@ title: Philippa Gardner, talk at the open Workshop on Consistency in Distributed 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 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 -and academics to share insights on the principles and practice of distributed data replication systems, +The workshop, organised by [Marc Shapiro](https://pages.lip6.fr/Marc.Shapiro/) [(UPMC-LIP6 and Inria)](https://www.inria.fr/) offers students +and academics an opportunity to share insights on the principles and practice of distributed data replication systems, based on solid distributed algorithm and engineering principles. This workshop is held under the aegis of the French ANR Project RainbowFS, 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.