diff --git a/bibs/header.bib b/bibs/header.bib
index 9685748..cebd072 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -728,6 +728,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{icalp14     = icalp # ", Copenhagen, Denmark" }
 @STRING{icalp16     = icalp # ", Rome, Italy" }
 @STRING{icalp17     = icalp # ", Warsaw, Poland" }
+@STRING{icalp18     = icalp # ", Prague, Czech Republic" }
 % ---
 @STRING{icse14      = icse # ", Hyderabad, India" }
 % ---
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index d57ffde..0a6be02 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -16,20 +16,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{ABHS18,
-  title    = {Almost Sure Productivity},
-  author   = {Aguirre, Alejandro and
-              Barthe, Gilles and
-              Hsu, Justin and
-              Silva, Alexandra},
-  year     = {2018},
-  jh       = yes,
-  url      = {https://arxiv.org/abs/1802.06283},
-  eprint   = {1802.06283},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
 @unpublished{SBGHK17,
   title  = {Reasoning about Divergences for Relaxations of Differential Privacy},
   author = {Sato, Tetsuya and
@@ -109,6 +95,23 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{ABHS18,
+  title    = {Almost Sure Productivity},
+  author   = {Aguirre, Alejandro and
+              Barthe, Gilles and
+              Hsu, Justin and
+              Silva, Alexandra},
+  year     = {2018},
+  booktitle = icalp18,
+  jh       = yes,
+  reviewed = yes,
+  url      = {https://arxiv.org/abs/1802.06283},
+  eprint   = {1802.06283},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  note     = "To appear.",
+}
+
 @inproceedings{AH18,
   title     = {Constraint-Based Synthesis of Coupling Proofs},
   author    = {Albarghouthi, Aws and
diff --git a/content/news.md b/content/news.md
index 466eab8..15b5d22 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,4 @@
++ **04/2018** **Almost Sure Productivity** will appear at **ICALP 2018**!
 + **04/2018** Slides now available for **An Assertion-Based Program Logic for
   Probabilistic Programs**.
 + **04/2018** Our preprint **Constraint-Based Synthesis of Coupling Proofs** is