LOGIC IN COMPUTER SCIENCE ******************************** Ninth Annual IEEE Symposium July 3-7, 1994, Paris, France Please note the following correction to the LICS'94 registration information: the member rate also applies to members of the Association for Symbolic Logic. [Complete program and registration information is available on the world-wide web at http://www.research.att.com/lics/ Postscript, dvi, latex and plain text versions of the conference brochure are available via anonymous ftp from research.att.com in directory /dist/lics.]