Subject: Local friends of LFCS

Description: List for communication to Edinburgh-based non-Informatics friends of the Laboratory for Foundations of Computer Science.