Category: Uncategorized

SREPLS 10 programme announced

The full programme of the tenth SREPLS meeting, to be held at Birkbeck College on 18th September, and organised by Carsten Fuhs, has now been announced.  Sign up here if you wish to attend.  Attendance is free, as always. Many thanks to Carsten for all of his hard work organising the tenth meeting!

SREPLS 9 a success

SREPLS 9 was another successful SREPLS meeting, with around 40 attendees from universities and companies all over the South East.  Many thanks to Martin Berger for organising the meeting, and the invited and volunteered speakers for contributing their talks.

SREPLS 8 a success

SREPLS 8 was held on Friday 5th January at King’s College, London, and attracted around 50 participants.  Thanks to Laurie Tratt and Lukas Diekmann for organising another great event, as well as all speakers and attendees for contributing to the event.

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.