From ee3d35470004f67aac22e2618703ac9439b6388c Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 25 Sep 2016 06:21:52 -0400
Subject: [PATCH] Add WINE submission.

---
 bibs/header.bib | 2 ++
 bibs/myrefs.bib | 4 +++-
 content/news.md | 2 ++
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index 93f79c7..d1d0042 100644
--- a/bibs/header.bib
+++ b/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" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 38181f8..332a323 100644
--- a/bibs/myrefs.bib
+++ b/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
diff --git a/content/news.md b/content/news.md
index e2fa4ed..fe19e6c 100644
--- a/content/news.md
+++ b/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**