Meeting of the Association for Symbolic Logic