As a member of the 1988 IEEE symp. on Foundations of Computer Science program committee, I would like to encourage the submission of high quality papers on logic, semantics, and type-theoretic topics of current interest. John Mitchell