diff --git a/bibs/header.bib b/bibs/header.bib
index a148407..19c6e17 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -412,7 +412,7 @@
 @STRING{aistats     = "International Conference on {A}rtificial {I}ntelligence
   and {S}tatistics ({AISTATS})"}
 @STRING{aistats20   = aistats # ", Palermo, Italy"}
-
+@STRING{aistats14   = aistats # ", Reykjavik, Iceland"}
 % ----
 @STRING{kdd         = "{ACM} {SIGKDD} {C}onference on {K}nowledge {D}iscovery
   and {D}ata {M}ining (KDD)"}
@@ -648,11 +648,14 @@
 % Specific meetings, with locations:
 % ---
 @STRING{aaai        = "{AAAI} Conference on Artificial Intelligence"}
+@STRING{aaai87      = aaai # ", Seattle, WA"}
 @STRING{aaai07      = aaai # ", Vancouver, British Colombia"}
 % ---
 @STRING{aplas03     = aplas # ", Beijing, China" }
 @STRING{aplas05     = aplas # ", Tsukuba, Japan" }
 @STRING{aplas10     = aplas # ", Shanghai, China" }
+@STRING{aplas17     = aplas # ", Suzhou, China" }
+
 %----
 @STRING{ascrypt     = "International Conference on the Theory and
   Application of Cryptology and Information Security (ASIACRYPT)" }
@@ -767,11 +770,13 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{fsttcs93    = fsttcs # ", Bombay, India" }
 @STRING{fsttcs04    = fsttcs # ", Chennai, India" }
+@STRING{fsttcs06    = fsttcs # ", Kolkata, India" }
 % ---
 @STRING{hcomp15     = hcomp # ", San Diego, California" }
 % ---
 @STRING{hoots00     = hoots # ", Montr{\'e}al, Qu{\'e}bec" }
 % ---
+@STRING{icalp84     = icalp # ", Antwerp, Belgium" }
 @STRING{icalp98     = icalp # ", Aalborg, Denmark" }
 @STRING{icalp01     = icalp # ", Crete, Greece" }
 @STRING{icalp06     = icalp # ", Venice, Italy" }
@@ -792,7 +797,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{ijcai15     = ijcai # ", Buenos Aires, Argentina" }
 @STRING{ijcai19     = ijcai # ", Macao, China" }
 % ---
-@STRING{ijcar18     = ijcai # ", Oxford, England" }
+@STRING{ijcar18     = ijcar # ", Oxford, England" }
 % ---
 @STRING{ipco06      = ipco # ", Vancouver, British Columbia" }
 % ---
@@ -816,6 +821,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{mfps14      = mfps # ", Ithaca, New York" }
 @STRING{mfps15      = mfps # ", Nijmegen, The Netherlands" }
 @STRING{mfps16      = mfps # ", Pittsburgh, Pennsylvania" }
+@STRING{mfps18      = mfps # ", Halifax, Canada" }
 % ---
 @STRING{nfm11       = nfm # ", Pasadena, California" }
 @STRING{nfm15       = nfm # ", Pasadena, California" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 848f9b5..089245f 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -28,7 +28,7 @@
             Kaminski, Benjamin Lucien and
             Katoen, Joost-Pieter and
             Matheja, Christoph},
-  year   = 2020,
+  year   = 2019,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},
   archivePrefix = {arXiv},
@@ -148,7 +148,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ".",
+  jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
   jh     = yes,
   acceptance = {68/257=0.28},
@@ -172,7 +172,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ", Distinguished Paper Award.",
+  jhnote   = "Appeared at " # popl20 # ", Distinguished Paper Award.",
   note     = "Distinguished Paper Award.",
   reviewed  = yes,
   jh     = yes,
@@ -196,7 +196,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ".",
+  jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
   jh     = yes,
   acceptance = {68/257=0.28},