NSF-CBMS Regional Conference in the Mathematical Sciences: The Basic Homotopy Lemma, the Asymptotic Uniqueness Theorem, and Classification of C*-Algebras (2015 : Wyoming)