REMINDER: LICS'94 submission deadline

[Since it is clearly relevant, I am distributing this conference
announcement to types.  General conference announcements should go to
the Theory-A list: send announcements or requests to subscribe to
THEORY-A@VM1.NoDak.EDU.  -- Philip Wadler, moderator, Types Forum.]

                    Ninth Annual IEEE Symposium on
                      LOGIC IN COMPUTER SCIENCE
		    July 4-7, 1994, Paris, France

		SUBMISSION DEADLINE: December 13, 1993

10 hard copies of a detailed abstract (not a full paper) and 20
additional copies of the cover page should be received by December 13,
1993 by the program chair.  This is a FIRM DEADLINE: late submissions
will not be considered.

Program Chair: Samson Abramsky, Attn: LICS, Department of Computing,
Imperial College of Science, Technology and Medicine, 180 Queen's Gate,
London SW7 2BZ, United Kingdom,	sa@doc.ic.ac.uk,
Phone: (010-44) 71-589-5111 ext. 5005, Fax: (010-44) 71-581-8024

The full announcement can be obtained by anonymous ftp from
research.att.com, directory /dist/lics, or by emailing