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 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.
Martin Berger has issued the Call for Talks for SREPLS 9, that will be held in May at the University of Sussex in Brighton. If you would like to volunteer a talk, then get in touch with Martin.
SREPLS 9 will be held on Friday 25th May 2018 at the University of Sussex at Brighton. The event is being organised by Martin Berger. See the SREPLS 9 homepage here for more details.
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.
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, 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.
