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 .
Date | Time | Event |
---|---|---|
18
Thu
July
|
9:30 - 10:00 |
Coffee and Refreshments
|
10:00 - 10:05 |
Welcome
|
|
10:05 - 11:00 | ||
11:00 - 11:30 |
Coffee Break
|
|
11:30 - 13:00 Chair: Marco Paviotti |
Jesse Sigal (University of Edinburgh)
Title: Algebraic effects with parameters and their handlers (abstract) Zhixuan Yang (Imperial College London) Title: A Logical Framework for Locally Cartesian Closed Categories (abstract) Tori Vollmer (University of Kent) Title: A Mixed Linear and Graded Logic: Proofs, Terms, and Models (abstract) |
|
13:00 - 14:00 |
Lunch
|
|
14:00 - 15:30 Chair: Dominic Orchard |
Michael Arntzenius (RelationalAI)
Title: Semantics for Nondeterministic Logic Programming via Mutually Exclusive Choice (abstract) Jack Liell-Cock (University of Oxford) Title: Compositional imprecise probability (abstract) Teodoro Freund (Huawei UK R&D) Title: CPS or Direct Style? Why not both? (abstract) |
|
15:30 - 16:00 |
Coffee Break
|
|
16:00 - 17:30 Chair: Michael Vollmer |
Simon Thompson (University of Kent )
Title: David Turner, 1946–2023 (abstract) Guillaume Ambal (Imperial College London) Title: Semantics of Remote Direct Memory Access (abstract) Matthew Griffin (Imperial College London) Title: IsaBIL: A Framework for Verifying (In)correctness of Binaries (abstract) |
Date | Time | Event |
---|---|---|
19
Fri
July
|
9:30 - 10:00 |
Coffee and Refreshments
|
10:00 - 11:00 |
Invited Talk
Peter O'Hearn (University College London and Lacework) Title: Program Analysis for the People (abstract) |
|
11:00 - 11:30 |
Coffee Break
|
|
11:30 - 13:00 Chair: Stefan Marr |
||
13:00 - 14:00 |
Lunch
|
|
14:00 - 15:30 Chair: David Castro-Perez |
Luke Geeson (University College London)
Title: Mix Testing: Specifying and Testing ABI Compatibility Of C/C++ Atomics Implementations (abstract) Vitaly Aksenov (University of London) Title: Semi-automatic efficient granularity control (abstract) Burak Ekici (University of London) Title:Completeness of Asynchronous Session Tree Subtyping in Coq (abstract) |
|
15:30 - 16:00 |
Coffee Break
|
|
16:00 - 17:00 Chair: David Castro-Perez |
Marco Paviotti and David Castro-Perez
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 in high demand during the touristic and graduation season. These are approx a 30-45 min walk to campus.
Breakfast, lunch and coffee breaks will be provided.
There is also a wide variety of restaurants, supermarkets and pubs on campus. Here's the link for a comprehensive list:
eat and drink on campus.
For dinner there is a variety of options in town, in particular in
the high street.
Here's a non-comprehensive list of places we would like to
recommend.
Restaurants: