diff --git a/content/news.md b/content/news.md index 3f7b5ba..59b720a 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,4 @@ -+ **12/2017** **A Program Logic for Probabilistic Programs** will eppear at ++ **12/2017** **A Program Logic for Probabilistic Programs** will appear at **ESOP 2018**! + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic Reasoning** is now available.