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