Kent Concurrency Workshop and S-REPLS 15

University of Kent, Canterbury

18‐19 July, 2024

The South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest — whether it be academic or commercial — in the semantics and implementation of programming languages. This year it will be jointly held with the Concurrency Workshop which aims to bring together researchers who are working on the theory of concurrency and related areas.

The workshop will be held in LT2 Sibson Building (see Campus Map). Directions to the Canterbury Campus are available here .

Registration for the event is free. Lunch and tea/coffee will be provided thanks to funding from the LIFT Research Center (Languages for Innovation and Future Technologies) at University of Kent and from VeTSS .

Campus Map Register
Important dates:
Submission deadline: 18th June.
Registration deadline: 5th July.

Schedule

Date Time Event
18
Tues
July
9:30 - 10:00
Coffee and Refreshments
10:00 - 10:05
Welcome
10:05 - 11:00
Invited Talk
Nicolas Wu (Imperial College London)
Title and abstract: TBA
11:00 - 11:30
Coffee Break
11:30 - 12:30
TBA

TBA

TBA
12:30 - 13:30
Lunch
13:30 - 15:00
TBA

TBA

TBA
15:00 - 15:30
Coffee Break
15:30 - 17:00
TBA

TBA

TBA
Date Time Event
19
Wed
July
9:30 - 10:00
Coffee and Refreshments
10:00 - 11:00
Invited Talk
Peter O'Hearn (University College London and Lacework)
Title and Abstract: TBA
11:00 - 11:30
Coffee Break
11:30 - 12:30
TBA

TBA
12:30 - 13:30
Lunch
13:30 - 15:00 TBA

TBA

TBA
15:00 - 15:30
Coffee Break
15:30 - 17:30

TBA

TBA

TBA

TBA

Call For Talks

Talks are typically 20 minutes and should be given in person with 5 minutes questions. We encourage submissions and contributions from both industry professionals and aspiring researchers (postdocs and students).

To submit a proposal for SREPLS, please contact Marco Paviotti.
To submit a talk for the Concurrency Workshop, please contact to David Castro-Perez.

Please send title and abstract by the end of

Tue, 18th June 2024

Complete the registration form by

Fri, 5th July 2024

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 .

Organisation

Marco Paviotti and David Castro-Perez

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

Previous events

Aug 2022
INI Concurrency Workshop
Jul 2019
Surrey Concurrency Workshop
May 2017
Aarhus Concurrency Workshop
Jul 2016
Kent Concurrency Workshop
Jul 2015
Imperial Concurrency Workshop
Apr 2014
York Concurrency Workshop
Jul 2012
Oxford Concurrency Workshop
Apr 2011
Dublin Concurrency Workshop
Mar 2024
S-REPLS 14 Jane Street
Nov 2023
S-REPLS 13 Bristol
Jul 2019
S-REPLS 12 Surrey
Feb 2019
S-REPLS 11 Facebook
Sep 2018
S-REPLS 10 Birkbeck
May 2018
S-REPLS 9 Sussex
Jan 2018
S-REPLS 8 King's College
Sep 2017
S-REPLS 7 Warwick

Accommodation

Participants can choose amongst a range of accomodations in nearby hotels. Please find a list of suggested accomodations below, however be mindful that these hotels might be high demand during the touristic and graduation season.

Alternatively we have a high number of reserved rooms in Keynes college within the university's campus (promotion code: cc24).

If you are based in London and choose to commute, Canterbury is just one hour away from London St Pancras International via the the highspeed train, and the university campus is a 35 minutes walk from Canterbury West Station.

Some possible hotel options are below. These are approx a 30-45 min walk to campus.

Pubs and Restaurants

TBA

SCCS
SCCS
SCCS
SCCS