Email Record: Foundations of Logic and Functional Programming Workshop :