Notice of a meeting of the Association for Symbolic Logic