Past Prolog and Coq and Idris and Lambda Calculus and Use Case and Lambda Conferences