Past Prolog and Category Theory Conferences