From 83d41bc1ad5989c67e8a557c6040e096b5b48d33 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 15 Apr 2016 11:45:02 -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 992eb33..083adb3 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **04/2016** Our paper **A program logic for union bounds** will appear at + **ICALP 2016**! + **04/2016** Our paper **Proving differential privacy via probabilistic couplings** will appear at **LICS 2016**! + **02/2016** An updated version of our preprint **Computer-aided verification