diff --git a/_posts/2017-05-03-consistency.md b/_posts/2017-05-03-consistency.md new file mode 100644 index 0000000000000000000000000000000000000000..db5b072431d63d25a909dfb24532a16b721d85b3 --- /dev/null +++ b/_posts/2017-05-03-consistency.md @@ -0,0 +1,13 @@ +--- +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/) +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 +and academics 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. + +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