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