Add ESOP acceptance.

bibs/header.bib

@@ -674,6 +674,7 @@
 @STRING{esop13      = esop # ", Rome, Italy" }
 @STRING{esop14      = esop # ", Grenoble, France" }
 @STRING{esop16      = esop # ", Eindhoven, The Netherlands" }
+@STRING{esop18      = esop # ", Thessaloniki, Greece" }
 % ---
 @STRING{esorics03   = esorics # ", Gj{\o}vic, Norway" }
 % ---

bibs/myrefs.bib

@@ -14,19 +14,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{BEGGHS16,
-  title  = {A Program Logic for Probabilistic Programs},
-  author = {Barthe, Gilles and
-            Espitau, Thomas and
-            Gaboardi, Marco and
-            Gr{\'e}goire, Benjamin and
-            Hsu, Justin and
-            Strub, {Pierre}-{Yves}},
-  year   = {2017},
-  jh     = yes,
-  url    = {https://justinh.su/files/papers/ellora.pdf},
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @phdthesis{JHThesis,
@@ -91,6 +78,22 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BEGGHS16,
+  title  = {A Program Logic for Probabilistic Programs},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Gaboardi, Marco and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {Pierre}-{Yves}},
+  year   = {2018},
+  jh     = yes,
+  reviewed = yes,
+  booktitle = esop18,
+  url    = {https://justinh.su/files/papers/ellora.pdf},
+  note     = "To appear.",
+}
+
 @article{AH17,
   title    = {Synthesizing Coupling Proofs of Differential Privacy},
   author   = {Albarghouthi, Aws and
@@ -103,7 +106,7 @@
   number   = {POPL},
   articleno = {58},
   url      = {https://arxiv.org/abs/1709.05361},
-  note     = "To appear at " # popl18,
+  note     = "To appear at " # popl18 # ".",
   reviewed = yes,
   doi      = {10.1145/3158146},
   eprint   = {1709.05361},
@@ -127,7 +130,7 @@
   articleno = {57},
   doi      = {10.1145/3158145},
   url      = {https://arxiv.org/abs/1708.02537},
-  note     = "To appear at " # popl18,
+  note     = "To appear at " # popl18 # ".",
   reviewed = yes,
   eprint   = {1708.02537},
   archivePrefix = {arXiv},

content/news.md

@@ -1,3 +1,5 @@
++ **12/2017** **A Program Logic for Probabilistic Programs** will eppear at
+  **ESOP 2018**!
 + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
   Reasoning** is now available.
 + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of