Past Prolog and Formal Verification Conferences