Add new file

_posts/2019-07-26-srepls.md

+---
+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