Month: October 2017

Distinguished paper and artefact award

The paper “Verifying strong eventual consistency in distributed systems” and the accompanying Isabelle formalisation has been honoured with two separate awards at the OOPSLA/SPLASH conference: A distinguished paper award for the paper itself. A distinguished artefact award for the Isabelle formalisation accompanying the work (5 out of 34 artefacts granted a distinction). This was joint

S-REPLS 7 a success

S-REPLS 7, held at the University of Warwick, and organised by Michael Gale, Sara Kalvala, Andrzej Murawski, and David Purser, was another success.  Around 50 people attended the event.  See the S-REPLS website here for more details of the talks presented.