Add WINE submission.

bibs/header.bib

@@ -307,6 +307,7 @@
 @STRING{stoc        = "{ACM} {SIGACT} {S}ymposium on {T}heory of {C}omputing (STOC)"}
 @STRING{stoc87      = stoc # ", New York, New York"}
 @STRING{stoc89      = stoc # ", Seattle, Washington"}
+@STRING{stoc97      = stoc # ", El Paso, Texas"}
 @STRING{stoc99      = stoc # ", Atlanta, Georgia"}
 @STRING{stoc02      = stoc # ", Montr{\'e}al, Qu{\'e}bec"}
 @STRING{stoc04      = stoc # ", Chicago, Illinois"}
@@ -751,6 +752,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{wine11      = wine # ", Singapore" }
 @STRING{wine14      = wine # ", Beijing, China" }
+@STRING{wine16      = wine # ", Montr{\'e}al, Qu{\'e}bec" }
 
 % ---
 @STRING{wsa93       = wsa # ", Padova, Italy" }

bibs/myrefs.bib

@@ -36,6 +36,7 @@
   docs   = yes,
 }
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @unpublished{HKM-verif16,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and
@@ -44,13 +45,14 @@
             Hsu, Justin and
             Roth, Aaron and
             Strub, Pierre-Yves},
+  booktitle = wine16,
   year   = 2016,
   url    = {http://arxiv.org/abs/1502.04052},
   jh     = yes,
   eprint = yes,
+  note   = {To appear.}
 }
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @inproceedings{BGGHS16c,
   title  = {Advanced probabilistic couplings for differential privacy},
   author = {Barthe, Gilles and

content/news.md

@@ -1,3 +1,5 @@
++ **09/2016** Our paper **Computer-aided verification in mechanism design** will
+  appear at **WINE 2016**!
 + **07/2016** Our paper **Advanced probabilistic couplings for differential
   privacy** will appear at **CCS 2016**!
 + **07/2016** Our paper **Differentially private Bayesian programming**