Update bib.

bibs/header.bib

@@ -299,6 +299,7 @@
 @STRING{pldi16      = pldi # ", Santa Barbara, California" }
 @STRING{pldi18      = pldi # ", Philadelphia, Pennsylvania" }
 @STRING{pldi19      = pldi # ", Phoenix, Arizona" }
+@STRING{pldi21      = pldi }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -380,6 +381,7 @@
 @STRING{focs89      = focs # ", Triangle Park, North Carolina"}
 @STRING{focs95      = focs # ", Milwaukee, Wisconsin"}
 @STRING{focs97      = focs # ", Miami Beach, Florida"}
+@STRING{focs01      = focs # ", Las Vegas, Nevada"}
 @STRING{focs05      = focs # ", Pittsburgh, Pennsylvania"}
 @STRING{focs07      = focs # ", Providence, Rhode Island"}
 @STRING{focs09      = focs # ", Atlanta, Georgia"}
@@ -568,6 +570,8 @@
 @STRING{aplas     = {Asian Symposium on Programming Languages and Systems (APLAS)} }
 @STRING{asplos    = {International Conference on Architectural Support for
                     Programming Langauages and Operating Systems (ASPLOS)} }
+@STRING{atva      = {International Symposium on Automated Technology for
+  Verification and Analysis (ATVA)} }
 @STRING{calco     = {Conference on Algebra and Coalgebra in Computer Science ({CALCO})}}
 @STRING{cav       = {International Conference on Computer Aided Verification (CAV)} }
 @STRING{ceemas    = {International Central and Eastern European Conference on
@@ -675,6 +679,8 @@
 @STRING{asplos14    = asplos # ", Salt Lake City, Utah" }
 @STRING{asplos06    = asplos # ", San Jose, California" }
 %----
+@STRING{atva19      = atva # ", Taipei City, Taiwan" }
+%----
 @STRING{ceemas07    = ceemas # ", Leipzig, Germany" }
 % ---
 @STRING{colt95      = colt # ", Santa Cruz, California" }
@@ -683,6 +689,7 @@
 @STRING{colt12      = colt # ", Edinburgh, Scotland" }
 @STRING{colt13      = colt # ", Princeton, New Jersey" }
 @STRING{colt14      = colt # ", Barcelona, Spain" }
+@STRING{colt16      = colt # ", New York, New York" }
 % ---
 @STRING{concur95    = concur # ", Philadelphia, Pennsylvania" }
 @STRING{concur01    = concur # ", Aalborg, Denmark" }
@@ -710,6 +717,7 @@
 @STRING{cav16       = cav # ", Toronto, Ontario" }
 @STRING{cav17       = cav # ", Heidelberg, Germany" }
 @STRING{cav18       = cav # ", Oxford, England" }
+@STRING{cav20       = cav # ", Los Angeles, California" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }
@@ -754,6 +762,7 @@
 @STRING{esop16      = esop # ", Eindhoven, The Netherlands" }
 @STRING{esop17      = esop # ", Uppsala, Sweden" }
 @STRING{esop18      = esop # ", Thessaloniki, Greece" }
+@STRING{esop21      = esop # ", Luxembourg City, Luxembourg" }
 % ---
 @STRING{esorics03   = esorics # ", Gj{\o}vic, Norway" }
 % ---
@@ -883,6 +892,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{tacas15     = tacas # ", London, England" }
 @STRING{tacas16     = tacas # ", Eindhoven, The Netherlands" }
 @STRING{tacas18     = tacas # ", Thessaloniki, Greece" }
+@STRING{tacas20     = tacas # ", Dublin, Ireland" }
 % ---
 @STRING{tapsoft93   = tapsoft # ", Orsay, France" }
 @STRING{tapsoft97   = tapsoft # ", Lille, France" }