Update.

bibs/header.bib

@@ -261,7 +261,6 @@
 @STRING{lics14      = lics # ", Vienna, Austria" }
 @STRING{lics16      = lics # ", New York, New York" }
 @STRING{lics17      = lics # ", Reykjavik, Iceland" }
-@STRING{lics19      = lics # ", Vancouver, British Columbia" }
 % ----
 @STRING{pldi        = "{ACM SIGPLAN Conference on Programming Language Design
                       and Implementation (PLDI)}" }

bibs/myrefs.bib

@@ -30,6 +30,35 @@
   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},
@@ -94,39 +123,6 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% 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
@@ -153,7 +149,6 @@
                Hsu, Justin},
   year      = 2019,
   booktitle = icaart19,
-  jh        = yes,
   url       = {https://arxiv.org/abs/1901.09657},
   eprint    = {1901.09657},
   archivePrefix = {arXiv},
@@ -7304,3 +7299,4 @@ url={https://doi.org/10.1007/3-540-48224-5_35}
   biburl    = {https://dblp.org/rec/bib/conf/uss/TramerZJRR16},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }
+

content/news.md

@@ -1,3 +1,5 @@
++ **03/2019** **Approximate Span Liftings** and **Probabilistic Relational
+  Reasoning via Metrics** to appear at **LICS 2019**!
 + **02/2019** **Scalable Verification of Probabilistic Network Programs**
   (conditionally) accepted to **PLDI 2019**!
 + **01/2019** This spring, I'm teaching a new undergraduate course on