Past Prolog and Abstract Algebra and Use Case and PoC and Technique Conferences