From d99e6b4d8a5d71998268c2ca9c14987e96aa1a2f Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 18 Apr 2016 16:20:28 -0400 Subject: [PATCH] Update news. --- content/news.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/news.md b/content/news.md index 083adb3..a491311 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **04/2016** Our paper **Synthesizing probabilistic invariants via Doob's + decomposition** will appear at **CAV 2016**! + **04/2016** Our paper **A program logic for union bounds** will appear at **ICALP 2016**! + **04/2016** Our paper **Proving differential privacy via probabilistic