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/).
