justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix.

This commit is contained in:
Justin Hsu 2020-07-22 16:58:51 -05:00
parent 263dcae25e
commit e7f7a39c11
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/news.md
View File

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