Twenty-Eighth Annual Meeting of the Association for Symbolic Logic