Twenty-Third Annual Meeting of the Association for Symbolic Logic