Update bibs.

bibs/myrefs.bib

@@ -30,35 +30,6 @@
   jh     = yes,
 }
 
-@unpublished{ACGHK19,
-  title  = {Probabilistic Relational Reasoning via Metrics},
-  author = {Azevedo de Amorim, Arthur and
-            Gaboardi, Marco and
-            Hsu, Justin and
-            Katsumata, {Shin-ya}},
-  year   = 2019,
-  url    = {https://arxiv.org/abs/1807.05091},
-  eprint = {1807.05091},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-  jh     = yes,
-}
-
-@unpublished{SBGHK17,
-  title  = {Approximate Span Liftings},
-  author = {Sato, Tetsuya and
-            Barthe, Gilles and
-            Gaboradi, Marco and
-            Hsu, Justin and
-            Katsumata, {Shin-ya}},
-  year   = {2018},
-  url    = {https://arxiv.org/abs/1710.09010},
-  jh     = yes,
-  eprint = {1710.09010},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
@@ -123,6 +94,39 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{ACGHK19,
+  title  = {Probabilistic Relational Reasoning via Metrics},
+  author = {Azevedo de Amorim, Arthur and
+            Gaboardi, Marco and
+            Hsu, Justin and
+            Katsumata, {Shin-ya}},
+  booktitle = lics19,
+  year   = 2019,
+  url    = {https://arxiv.org/abs/1807.05091},
+  eprint = {1807.05091},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  jh     = yes,
+  note   = "To appear."
+}
+
+@inproceedings{SBGHK17,
+  title  = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy},
+  author = {Sato, Tetsuya and
+            Barthe, Gilles and
+            Gaboradi, Marco and
+            Hsu, Justin and
+            Katsumata, {Shin-ya}},
+  booktitle = lics19,
+  year   = 2019,
+  url    = {https://arxiv.org/abs/1710.09010},
+  eprint = {1710.09010},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  jh     = yes,
+  note   = "To appear."
+}
+
 @inproceedings{SKFHKKS18,
   title     = {Scalable Verification of Probabilistic Network Programs},
   author    = {Smolka, Steffen and