Surrey Concurrency Workshop and S-REPLS 12

University of Surrey, Guildford

23‐24 July, 2019

This two-day workshop is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the semantics and implementation of programming languages.

The workshop will be held in Lecture Theatre L of the LT building (see Campus Map). Directions to the Stag Hill Campus are available here.

Registration for the event is free thanks to funding from VeTSS and the University of Surrey ACE.

Please e-mail talk suggestions to

Campus Map Propose talk


Further announcements about the workshop will be made via the Concurrency Working Group and S-REPLS mailing lists. Please subscribe by following those links and clicking Subscribe or Unsubscribe.


Brijesh Dongol

Concurrency Workshop Steering Committee
Mark Batty, Mike Dodds, Philippa Gardner, Cliff Jones and Matthew Parkinson
S-REPLS Steering Committee
Dominic Mulligan, Ohad Kammar and Jeremy Yallop


Participants may wish to stay in nearby hotels or on campus. However, it is also possible to commute from London. Guildford is approx 35 mins by train from London Waterloo, and the University is a 15 min walk from Guildford station.


Invited speakers

Gregory Chockler (Royal Holloway, University of London)

Ornela Dardha (University of Glasgow)