Add genprices acceptance.

bibs/header.bib

@@ -309,6 +309,7 @@
 @STRING{stoc13      = stoc # ", Palo Alto, California"}
 @STRING{stoc14      = stoc # ", New York, New York"}
 @STRING{stoc15      = stoc # ", Portland, Oregon"}
+@STRING{stoc16      = stoc # ", Cambridge, Massachusetts"}
 
 % ----
 @STRING{focs        = "{IEEE} {S}ymposium on {F}oundations of {C}omputer {S}cience (FOCS)"}

bibs/myrefs.bib

@@ -22,19 +22,6 @@
   eprint  = yes,
 }
 
-@unpublished{HMRRV16,
-  title  = {Do prices coordinate markets?},
-  author = {Hsu, Justin and
-            Morgenstern, Jamie and
-            Rogers, Ryan and
-            Roth, Aaron and
-            Vohra, Rakesh},
-  year    = 2015,
-  url     = {http://arxiv.org/abs/1511.00925},
-  jh      = yes,
-  eprint  = yes,
-}
-
 @unpublished{HKM-verif15,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and
@@ -63,6 +50,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{HMRRV16,
+  title  = {Do prices coordinate markets?},
+  author = {Hsu, Justin and
+            Morgenstern, Jamie and
+            Rogers, Ryan and
+            Roth, Aaron and
+            Vohra, Rakesh},
+  booktitle = stoc16,
+  year    = 2016,
+  url     = {http://arxiv.org/abs/1511.00925},
+  jh      = yes,
+  eprint  = yes,
+  note    = {To appear.}
+}
+
 @inproceedings{HHRW16,
   author    = {Hsu, Justin and
                Huang, Zhiyi and

content/news.md

@@ -1,3 +1,5 @@
++ **01/2016** Our preprint **Do prices coordinate markets?** has been accepted
+  to **STOC 2016**!
 + **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
   decomposition** is now available.
 + **01/2016** Our preprint **Proving differential privacy via probabilistic
@@ -14,5 +16,5 @@ coupling**, presented at **LPAR 2015**.
   is now available on `arXiv`.
 + **09/2015** Our paper **Jointly private convex programming** has been accepted
   to **SODA 2016**!
-+ **09/2015** Our paper **Relational reasoning via probabilistic coupling**
++ **09/2015** Our paper **Relational reasoning via probabilistic coupling** has
-has been accepted to **LPAR 2015**!
+  been accepted to **LPAR 2015**!