From 0bd8622a5cd57b47c877a35bd6920448f0a4f7e3 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 12 Jan 2018 19:16:42 +0000 Subject: [PATCH] Update news. --- content/news.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/news.md b/content/news.md index 59b720a..428d650 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **01/2018** Slides now available for **Proving Expected Sensitivity of + Probabilistic Programs**. + **12/2017** **A Program Logic for Probabilistic Programs** will appear at **ESOP 2018**! + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic