Update SNAPL publication.

bibs/header.bib

@@ -244,6 +244,8 @@
 @STRING{pldi02      = pldi # ", Berlin, Germany" }
 @STRING{pldi03      = pldi # ", San Diego, California" }
 @STRING{pldi08      = pldi # ", Tucson, Arizona" }
+@STRING{pldi12      = pldi # ", Beijing, China" }
+@STRING{pldi14      = pldi # ", Edinburgh, Scotland" }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -312,6 +314,7 @@
 % ----
 @STRING{soda        = "{ACM--SIAM} {S}ymposium on {D}iscrete {A}lgorithms (SODA)"}
 @STRING{soda10      = soda # ", Austin, Texas"}
+@STRING{soda11      = soda # ", San Francisco, California"}
 @STRING{soda12      = soda # ", Kyoto, Japan"}
 @STRING{soda14      = soda # ", Portland, Oregon"}
 
@@ -349,6 +352,10 @@
 
 @STRING{oakland     = sp}
 
+% ----
+@STRING{snapl       = "Summit on Advances in Programming Langugaes ({SNAPL})"}
+@STRING{snapl15     = snapl # ", Asilomar, California"}
+
 % ----
 @STRING{icde        = "{IEEE} {I}nternational {C}onference on {D}ata
   {E}ngineering (ICDE)"}
@@ -490,6 +497,9 @@
 % ----
 % Specific meetings, with locations:
 % ---
+@STRING{aaai        = "{AAAI} Conference on Artificial Intelligence"}
+@STRING{aaai07      = aaai # ", Vancouver, British Colombia"}
+% ---
 @STRING{aplas03     = aplas # ", Beijing, China" }
 @STRING{aplas05     = aplas # ", Tsukuba, Japan" }
 @STRING{aplas10     = aplas # ", Shanghai, China" }
@@ -508,6 +518,13 @@
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
 % ---
+@STRING{cp          = "International Conference on Principles and Practice of
+                       Constraint Programming (CP)" }
+@STRING{cp03        = cp # ", Kinsale, Ireland" }
+% ---
+@STRING{crypto      = "{IACR} International Cryptology Conference {(CRYPTO)}"}
+@STRING{crypto11    = crypto # ", Santa Barbara, California"}
+% ---
 @STRING{csl94       = csl # ", Kazimierz, Poland" }
 @STRING{csl97       = csl # ", Aarhus, Denmark" }
 @STRING{csl01       = csl # ", Paris, France" }
@@ -604,6 +621,9 @@
 @STRING{types93     = types # ", Nijmegen, The Netherlands" }
 @STRING{types98     = types # ", Kloster Irsee, Germany" }
 % ---
+@STRING{uai         = "Conference on Uncertainty in Artificial Intelligence (UAI)"}
+@STRING{uai02       = uai # ", Edmonton, Alberta" }
+% ---
 @STRING{wosn12      = wosn # ", Helsinki, Finland" }
 
 % ---

bibs/myrefs.bib

@@ -2100,19 +2100,21 @@ year = {2014}
   url       = {http://doi.acm.org/10.1145/2254064.2254086},
 }
 
-@unpublished{GHaccuracy,
+@inproceedings{GHaccuracy,
   author    = {Marco Gaboardi and
                Justin Hsu},
   title     = {A Theory {AB} Toolbox},
   year      = {2015},
+  booktitle = snapl15,
   jh        = yes,
   docs      = yes
 } 
 
-@unpublished{HsuTaxes,
+@inproceedings{HsuTaxes,
   author    = {Justin Hsu},
-  title     = {Death, Taxes, and Formal Verification},
+  title     = {Death, Taxes, and Formal Verification (Abstract)},
   year      = {2015},
+  booktitle = snapl15,
   jh        = yes,
   docs      = yes
 } 

content/news.md

@@ -1,7 +1,8 @@
++ **02/2015** Our paper **A Theory AB Toolbox** has been accepted to SNAPL 2015!
++ **02/2015** Our abstract **Death, Taxes, and Formal Verification** has been
+  accepted to SNAPL 2015!
 + **02/2015** Our paper **Computer-aided verification in mechanism design** has
   been uploaded to `arxiv`.
 + **01/2015** I will be visiting **IMDEA Software** in Madrid until early March.
-+ **01/2015** Our abstract **Death, Taxes, and Formal Verification** has been uploaded.
-+ **01/2015** Our paper **A Theory AB Toolbox** has been uploaded.
 + **11/2014** Our paper **Jointly private convex programming** has been uploaded to
   `arXiv`.