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