diff --git a/bibs/header.bib b/bibs/header.bib
index 30ef4db..61cb427 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -555,8 +555,12 @@
 % ---
 @STRING{cav96       = cav # ", New Brunswick, New Jersey" }
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
+@STRING{cav03       = cav # ", Boulder, Colorado" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
+@STRING{cav11       = cav # ", Snowbird, Utah" }
+@STRING{cav12       = cav # ", Berkeley, California" }
 @STRING{cav13       = cav # ", Saint Petersburg, Russia" }
+@STRING{cav15       = cav # ", San Francisco, California" }
 @STRING{cav16       = cav # ", Toronto, Ontario" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
@@ -646,6 +650,7 @@
 @STRING{ppdp12      = ppdp # ", Leuven, Belgium" }
 % ---
 @STRING{rta03       = rta # ", Valencia, Spain" }
+@STRING{rta05       = rta # ", Nara, Japan" }
 % ---
 @STRING{randapx13   = randapx # ", Berkeley, California" }
 % ---
@@ -665,6 +670,8 @@
 @STRING{tacs01      = tacs # ", Sendai, Japan" }
 % ---
 @STRING{tacas06     = tacas # ", Vienna, Austria" }
+@STRING{tacas08     = tacas # ", Budapest, Hungary" }
+@STRING{tacas16     = tacas # ", Eindhoven, The Netherlands" }
 % ---
 @STRING{tapsoft93   = tapsoft # ", Orsay, France" }
 @STRING{tapsoft97   = tapsoft # ", Lille, France" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 0e0e93d..681f641 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -51,7 +51,8 @@
   booktitle = cav16,
   year    = 2016,
   jh      = yes,
-  docs    = yes,
+  eprint  = yes,
+  url     = {https://arxiv.org/abs/1605.02765},
   note    = {To appear.}
 }
 
diff --git a/content/news.md b/content/news.md
index 312dc88..68a36f3 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **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
diff --git a/files/docs/BEFFH16paper.pdf b/files/docs/BEFFH16paper.pdf
deleted file mode 100644
index 59b85d8..0000000
Binary files a/files/docs/BEFFH16paper.pdf and /dev/null differ