SREPLS 7 announced

The seventh iteration of the South of England Regional Programming Languages Seminar, to be held at the University of Warwick, has been announced with an open call for participants and speakers ongoing.  See here for more details. SREPLS 7 is being organised by Andrzej Murawski, Sara Kalvala, Michael Gale, and David Purser.  Many thanks to

New paper

“Verifying Strong Eventual Consistency in Distributed Systems”, joint work with Victor B. F. Gomes, Martin Kleppmann, and Alastair R. Beresford. To be presented at the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA/SPLASH), 2017.

S-REPLS 6 announced

The next iteration of the S-REPLS series, S-REPLS 6, has been announced.  Our next meeting will be held at University College London, and is being organised by Ilya Sergey.  A website has been set up, including a Doodle poll to gauge which day in May is most convenient for everyone interested in attending.  See here

S-REPLS 5 a success

S-REPLS 5, held at the University of Oxford on 12th January 2017, and organised by Ohad Kammar, Sam Staton, and Jeremy Gibbons, was a great success.  Thanks to the organisers, the speakers, and everybody who took part. Details of previous S-REPLS events (including S-REPLS 5) can be found here.