Update authors and version.

bibs/myrefs.bib

@@ -83,10 +83,10 @@
 @inproceedings{ACGHK16,
   title  = {A semantic account of metric preservation},
   author = {de Amorim, Arthur Azevedo and
-            Cherigui, Ikram and
             Gaboardi, Marco and
             Hsu, Justin and
-            Katsumata, {Shin-ya}},
+            Katsumata, {Shin-ya} and
+            Cherigui, Ikram},
   booktitle = popl17,
   year   = 2017,
   url    = {http://justinh.su/files/papers/metric-sem.pdf},
@@ -538,6 +538,14 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{wine16-talk,
+  title = {Computer-aided verification in mechanism design},
+  organization = wine16,
+  year = 2016,
+  month = dec,
+  jh = yes,
+}
+
 @talk{cornell16-talk,
   title = {Approximate Probabilistic Coupling and Differential Privacy},
   organization = {Theory Seminar, Cornell University},