Past Prolog and Category Theory and Hacket and PLT and Type Theory Conferences