Past Abstract Algebra and Coq and Formal Verification and Hacket and Logic Conferences