diff --git a/_posts/2019-07-26-srepls.md b/_posts/2019-07-26-srepls.md new file mode 100644 index 0000000000000000000000000000000000000000..a755f416e92766a09fad01b12b2fb1713c93ceec --- /dev/null +++ b/_posts/2019-07-26-srepls.md @@ -0,0 +1,14 @@ +--- +title: Emanuele D'Osualdo and Shale Xiong,talks at Surrey Concurrency Workshop and S-REPLS +--- + +Emanuele D'Osualdo and Shale Xiong both took part in the [Surrey Concurrency Workshop +and S-REPLS](https://cw-srepls-19.github.io/#previous), which was held at the +University of Surrey on 23â€24 July, 2019. The two-day workshop is aimed at +bringing together researchers working on the theory of concurrency and the +semantics and implementation of programming languages. +You can find the abstract for Emanuele’s talk on [TaDA Live: Compositional +Reasoning for Termination of Fine-grained Concurrent Programs](https://cw-srepls-19.github.io/abstracts.html#gardner) +and Shale’s talk on [Data Consistency in Transactional Storage Systems: +A Centralised Approach](https://cw-srepls-19.github.io/abstracts.html#xiong) +on the [workshop page](https://cw-srepls-19.github.io/abstracts.html#gardner). \ No newline at end of file