diff --git a/bibs/header.bib b/bibs/header.bib
index 85665ca..f89df4e 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -618,6 +618,7 @@
 @STRING{icalp12     = icalp # ", Warwick, England" }
 @STRING{icalp13     = icalp # ", Riga, Latvia" }
 @STRING{icalp14     = icalp # ", Copenhagen, Denmark" }
+@STRING{icalp16     = icalp # ", Rome, Italy" }
 % ---
 @STRING{icse14      = icse # ", Hyderabad, India" }
 % ---
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 9db2d09..69e3e2c 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -26,19 +26,6 @@
   eprint = yes
 }
 
-@unpublished{BGGHS16b,
-  title  = {A program logic for union bounds},
-  author = {Barthe, Gilles and
-            Gaboardi, Marco and
-            Gr{\'e}goire, Benjamin and
-            Hsu, Justin and
-            Strub, {P}ierre-{Y}ves},
-  year    = 2016,
-  jh      = yes,
-  eprint  = yes,
-  url     = {http://arxiv.org/abs/1602.05681},
-}
-
 @unpublished{BEFFH16,
   title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
   author = {Barthe, Gilles and
@@ -64,6 +51,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BGGHS16b,
+  title  = {A program logic for union bounds},
+  author = {Barthe, Gilles and
+            Gaboardi, Marco and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {P}ierre-{Y}ves},
+  booktitle = icalp16,
+  year    = 2016,
+  jh      = yes,
+  eprint  = yes,
+  url     = {http://arxiv.org/abs/1602.05681},
+  note    = {To appear.}
+}
+
 @inproceedings{BGGHS16,
   title  = {Proving differential privacy via probabilistic couplings},
   author = {Barthe, Gilles and