Add CAV 2016.

bibs/header.bib

@@ -557,6 +557,7 @@
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
 @STRING{cav13       = cav # ", Saint Petersburg, Russia" }
+@STRING{cav16       = cav # ", Toronto, Ontario" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }

bibs/myrefs.bib

@@ -26,17 +26,6 @@
   eprint = yes
 }
 
-@unpublished{BEFFH16,
-  title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
-  author = {Barthe, Gilles and
-            Espitau, Thomas and
-            Ferrer Fioriti, Luis Mar{\'i}a and
-            Hsu, Justin},
-  year    = 2016,
-  jh      = yes,
-  docs    = yes,
-}
-
 @unpublished{BEGGHS15,
   title  = {Formal certification of randomized algorithms},
   author = {Barthe, Gilles and
@@ -51,6 +40,19 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BEFFH16,
+  title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Ferrer Fioriti, Luis Mar{\'i}a and
+            Hsu, Justin},
+  booktitle = cav16,
+  year    = 2016,
+  jh      = yes,
+  docs    = yes,
+  note    = {To appear.}
+}
+
 @inproceedings{BGGHS16b,
   title  = {A program logic for union bounds},
   author = {Barthe, Gilles and