Bib cleaning and capitalize.

bibs/header.bib

@@ -53,6 +53,8 @@
 @STRING{entcs    = "Electronic Notes in Theoretical Computer Science" }
 @STRING{eptcs    = "Electronic Proceedings in Theoretical Computer Science" }
 @STRING{lncs     = "Lecture Notes in Computer Science" }
+@STRING{pacm     = "Proceedings of the {ACM}" }
+@STRING{pacmpl   = "Proceedings of the {ACM} on Programming Languages" }
 @STRING{lipics   = "Leibniz International Proceedings in Informatics" }
 @STRING{lnm      = "Lecture Notes in Mathematics" }
 @STRING{gtm      = "Graduate Texts in Mathematics" }
@@ -70,7 +72,7 @@
 % %%%%%%%%%%%%%%%%%%%%%%
 @STRING{toplas   = "ACM Transactions on Programming Languages and Systems" }
 @STRING{jlp      = {Journal of Logic Programming} }
-@STRING{ieee = "IEEE" }
+@STRING{ieee     = "IEEE" }
 @STRING{acmpress = "ACM Press" }
 @STRING{bepress  = "Berkeley Electronic Press" }
 @STRING{cacm     = "Communications of the {ACM}" }
@@ -402,6 +404,7 @@
 @STRING{icml14      = icml # ", Beijing, China" }
 @STRING{icml15      = icml # ", Lille, France" }
 @STRING{icml16      = icml # ", New York, NY" }
+@STRING{icml17      = icml # ", Sydney, Australia" }
 
 % ----
 @STRING{sp          = "{IEEE} {S}ymposium on {S}ecurity and {P}rivacy (S\&P)"}
@@ -423,8 +426,8 @@
 @STRING{icde13      = icde # ", Brisbane, Australia" }
 
 % ----
-@STRING{vldb        = "{I}nternational {C}onference on {V}ery {L}arge {D}ata
-  {B}ases (VLDB)"}
+@STRING{pvldb       = "Proceedings of the {VLDB} Endowment"}
+@STRING{vldb        = "Appeared at the {I}nternational {C}onference on {V}ery {L}arge {D}ata {B}ases (VLDB)"}
 @STRING{vldb12      = vldb # ", Istanbul, Turkey"}
 @STRING{vldb14      = vldb # ", Hangzhou, China"}
 @STRING{vldb17      = vldb # ", Munich, Germany"}
@@ -605,10 +608,13 @@
 % ---
 @STRING{colt95      = colt # ", Santa Cruz, California" }
 @STRING{colt96      = colt # ", Desenzano sul Garda, Italy" }
+@STRING{colt11      = colt # ", Budapest, Hungary" }
+@STRING{colt12      = colt # ", Edinburgh, Scotland" }
 @STRING{colt13      = colt # ", Princeton, New Jersey" }
 @STRING{colt14      = colt # ", Barcelona, Spain" }
 % ---
 @STRING{concur07    = concur # ", Lisbon, Portugal" }
+@STRING{concur01    = concur # ", Aalborg, Denmark" }
 % ---
 @STRING{calco15     = concur # ", Nijmegen, The Netherlands" }
 % ---
@@ -623,6 +629,7 @@
 @STRING{cav13       = cav # ", Saint Petersburg, Russia" }
 @STRING{cav15       = cav # ", San Francisco, California" }
 @STRING{cav16       = cav # ", Toronto, Ontario" }
+@STRING{cav17       = cav # ", Heidelberg, Germany" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }
@@ -695,6 +702,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{hoots00     = hoots # ", Montr{\'e}al, Qu{\'e}bec" }
 % ---
 @STRING{icalp98     = icalp # ", Aalborg, Denmark" }
+@STRING{icalp01     = icalp # ", Crete, Greece" }
 @STRING{icalp06     = icalp # ", Venice, Italy" }
 @STRING{icalp11     = icalp # ", Z{\"u}rich, Switzerland" }
 @STRING{icalp12     = icalp # ", Warwick, England" }

content/news.md

@@ -1,17 +1,17 @@
 + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
-  Differential Privacy** and **A Progra Logic for Probabilistic Programs** are
+  Differential Privacy** and **A Program Logic for Probabilistic Programs** are
   now available.
 + **09/2017** **Synthesizing Coupling proofs of Differential Privacy** and
   **Proving Expected Sensitivity of Probabilistic Programs** will appear at
   **POPL 2018**!
-+ **09/2017** Our preprint **Synthesizing coupling proofs of differential
-  privacy** is now available.
-+ **07/2017** Slides now available for **\*-Liftings for differential privacy**.
-+ **07/2017** Our preprint **Proving expected sensitivity of probabilistic
-  programs** is now available.
++ **09/2017** Our preprint **Synthesizing Coupling proofs of Differential
+  Privacy** is now available.
++ **07/2017** Slides now available for **\*-Liftings for Differential Privacy**.
++ **07/2017** Our preprint **Proving Expected Sensitivity of Probabilistic
+  Programs** is now available.
 + **06/2017** I am on the program committee of [**TPDP
   2017**](http://tpdp.cse.buffalo.edu/2017/), co-located with
   [**CCS**](https://www.sigsac.org/ccs/CCS2017/) in Dallas, Texas.  Submit your
   best privacy abstracts!
-+ **05/2017** Slides now available for **Proving uniformity and independence by
-  self-composition and coupling**.
++ **05/2017** Slides now available for **Proving Uniformity and Independence by
+  Self-Composition and Coupling**.