From 03140e3b8bcd946db42e9d1d1a4df9ea25f8149a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Thu, 18 Feb 2016 21:27:50 -0500 Subject: [PATCH] Update header. --- bibs/header.bib | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/bibs/header.bib b/bibs/header.bib index 36b85b4..9edf760 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -590,8 +590,10 @@ @STRING{esop07 = esop # ", Braga, Portugal" } @STRING{esop09 = esop # ", York, England" } @STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" } +@STRING{esop12 = esop # ", Tallinn, Estonia" } @STRING{esop13 = esop # ", Rome, Italy" } @STRING{esop14 = esop # ", Grenoble, France" } +@STRING{esop16 = esop # ", Eindhoven, The Netherlands" } % --- @STRING{fesca14 = fesca # ", Grenoble, France" } % --- @@ -647,9 +649,12 @@ @STRING{sas95 = sas # ", Glasgow, Scotland" } @STRING{sas96 = sas # ", Aachen, Germany" } @STRING{sas97 = sas # ", Paris, France" } +@STRING{sas00 = sas # ", Santa Barbara, California" } @STRING{sas01 = sas # ", Paris, France" } @STRING{sas04 = sas # ", Verona, Italy" } @STRING{sas05 = sas # ", London, England" } +@STRING{sas10 = sas # ", Perpignan, France" } +@STRING{sas14 = sas # ", Munich, Germany" } % --- @STRING{sosp93 = sosp # ", Asheville, North Carolina" } % ---