Update news.

2016-04-18 16:20:28 -04:00 · 2016-04-18 16:20:28 -04:00 · d99e6b4d8a
parent 01ddb08e5c
commit d99e6b4d8a
1 changed files with 2 additions and 0 deletions
--- 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