Past Abstract Algebra and Coq and Dhall and Hacket and Keynote and Library Conferences