Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 1 Dec 1993 16:08:37 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA08827; Wed, 1 Dec 1993 08:52:01 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from panther.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA08823; Wed, 1 Dec 1993 08:52:00 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA08127; Wed, 1 Dec 1993 08:51:16 -0700 To: info-hol@leopard.cs.byu.edu Subject: retransmission: [REMINDER: LICS'94 submission deadline] Date: Wed, 01 Dec 1993 08:51:15 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:072780:931201160929"@cl.cam.ac.uk> A name server problem caused the following messag to info-hol to bounce to many people. The problem has been corrected and I'm retransmitting the message. Apologies if you've seen it twice. --phil-- --------------------------------------------------------------------------- Date: Wed, 1 Dec 93 10:30 EST From: felty@research.att.com (Amy Felty) To: info-hol@cs.uidaho.edu Subject: REMINDER: LICS'94 submission deadline 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 lics-request@research.att.com.