diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 332a323..5d6e718 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -37,7 +37,7 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{HKM-verif16,
+@inproceedings{HKM-verif16,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and
             Gaboardi, Marco and