Past Prolog and Category Theory and Hacket and j and Reason Conferences