diff --git a/content/news.md b/content/news.md index 047f2d2..24a4ac1 100644 --- a/content/news.md +++ b/content/news.md @@ -1,5 +1,5 @@ -+ **07/2020** I was happy to give a talk at the [**Online Workshop on Logic and - Semantics: Young Researcher ++ **07/2020** I was happy to give a talk at the [**Online Worldwide Seminar on + Logic and Semantics: Young Researcher (OWLS-YR)**](https://www.cs.bham.ac.uk/~vicaryjo/owls/) on probabilistic separation logic. Slides are available [here](https://justinh.su/files/slides/owls-yr.pdf).