Fifth Meeting of the Association for Symbolic Logic