Update HKM verif paper.

bibs/myrefs.bib

@@ -1,4 +1,18 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{HKM-verif16,
+  title  = {Computer-aided verification in mechanism design},
+  author = {Barthe, Gilles and
+            Gaboardi, Marco and
+            Gallego Arias, Emilio Jes{\'u}s and
+            Hsu, Justin and
+            Roth, Aaron and
+            Strub, Pierre-Yves},
+  year   = {2016},
+  url    = {http://arxiv.org/abs/1502.04052},
+  jh     = yes,
+  eprint = yes
+}
+
 @unpublished{BGGHS16b,
   title  = {A program logic for union bounds},
   author = {Barthe, Gilles and
@@ -36,20 +50,6 @@
   eprint  = yes,
 }
 
-@unpublished{HKM-verif15,
-  title  = {Computer-aided verification in mechanism design},
-  author = {Barthe, Gilles and
-            Gaboardi, Marco and
-            Gallego Arias, Emilio Jes{\'u}s and
-            Hsu, Justin and
-            Roth, Aaron and
-            Strub, Pierre-Yves},
-  year   = {2015},
-  url    = {http://arxiv.org/abs/1502.04052},
-  jh     = yes,
-  eprint = yes
-}
-
 @unpublished{BEGGHS15,
   title  = {Formal certification of randomized algorithms},
   author = {Barthe, Gilles and
@@ -479,7 +479,7 @@
   journal   = {Foundations and Trends in Theoretical Computer Science},
   year      = {2014},
   volume    = {9},
-  number    = {3-4},
+  number    = {3--4},
   pages     = {211--407},
   url       = {http://dx.doi.org/10.1561/0400000042},
   timestamp = {Tue, 28 Oct 2014 14:00:24 +0100},

content/news.md

@@ -1,3 +1,5 @@
++ **02/2016** An updated version of our preprint **Computer-aided verification
+  in mechanism design** is now available on `arXiv`.
 + **02/2016** Our survey **Programming language techniques for differential
   privacy** appears in the latest issue of **ACM SIGLOG News**!
 + **02/2016** Our preprint **A program logic for union bounds** is now available