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