title:Philippa Gardner, talk at the open Workshop on Consistency in Distributed Storage Systems, LIP6, Paris
title:Philippa Gardner, talk at the open Workshop on Consistency in Distributed Storage Systems, LIP6, Paris
---
---
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/)
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.
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
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,
and academics to share insights on the principles and practice of distributed data replication systems,
