Update 2019-07-26-srepls.md

_posts/2019-07-26-srepls.md

@@ -3,12 +3,12 @@ title: Emanuele D'Osualdo and Shale Xiong,talks at Surrey Concurrency Workshop a
 ---
 
 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 
+and S-REPLS](https://cw-srepls-19.github.io/#previous).
+
+The two-day workshop, which this year was hosted by the University of Surrey, 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) 
+
+You can find the abstract for Emanuele’s talk on [TaDA Live](https://cw-srepls-19.github.io/abstracts.html#gardner)
+and Shale’s talk on [Data Consistency in Transactional Storage Systems](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