Past Prolog and Idris and j and Keynote and Type Theory Conferences