From 36d188ae5380d6cb70dee7b98bad09720cb88d55 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 3 Oct 2016 20:28:26 -0400 Subject: [PATCH] Delete old news. --- content/news.md | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/content/news.md b/content/news.md index b9c94cc..e8e5873 100644 --- a/content/news.md +++ b/content/news.md @@ -16,29 +16,3 @@ will appear at **CCS 2016**! randomized algorithms** is now available. + **07/2016** Our preprint **A semantic account of metric preservation** is now available. -+ **06/2016** Our preprint **Advanced probabilistic couplings for differential - privacy** is now available on `arXiv`. -+ **05/2016** Our preprint **Synthesizing probabilistic invariants via Doob's - decomposition** is now available on `arXiv`. -+ **05/2016** Our preprint **Differentially private Bayesian programming** is - now available on `arXiv`. -+ **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 - couplings** will appear at **LICS 2016**! -+ **02/2016** An updated version of our preprint **Computer-aided verification - in mechanism design** is now available on `arXiv`. -+ **02/2016** Our survey **Programming language techniques for differential - privacy** appears in the latest issue of **ACM SIGLOG News**! -+ **02/2016** Our preprint **A program logic for union bounds** is now available - on `arXiv`. -+ **01/2016** Our paper **Do prices coordinate markets?** will appear at **STOC - 2016**! -+ **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's - decomposition** is now available. -+ **01/2016** Our preprint **Proving differential privacy via probabilistic - couplings** is now available on `arXiv`. -+ **01/2016** Slides now available for **Jointly private convex programming** - from **SODA 2016**.