Past Prolog and Category Theory and Use Case and PoC and Technique Conferences