Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 15 Jan 1994 07:44:47 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA18196;
          Sat, 15 Jan 1994 00:40:10 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA18192;
          Sat, 15 Jan 1994 00:39:49 -0700
Received: from hohum.Stanford.EDU by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA01955;
          Fri, 14 Jan 1994 23:37:22 -0800
Received: by hohum.Stanford.EDU (5.57/Ultrix3.0-C) id AA00481;
          Fri, 14 Jan 94 23:15:24 PST
Date: Fri, 14 Jan 94 23:15:24 PST
From: dill@hohum.Stanford.EDU (David Dill)
Message-Id: <9401150715.AA00481@hohum.Stanford.EDU>
To: cav-masses@hohum.Stanford.EDU, cav-pgm@hohum.Stanford.EDU, 
    concurrency@cwi.nl, info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, 
    theory-a@vm1.nodak.edu
Subject: CAV 94 submission deadline

I have received many questions about this already:

Late electronic submissions to CAV 94 will be reviewed iff they
arrive before midnight Jan. 24.

Please try emailing plain postscript (to cav@cs.stanford.edu) before
doing anything complicated.

The call for papers in various formats is available via anonymous
ftp from snooze.stanford.edu (see cfp.*)

	David Dill
	Program Chair
	Conference on Computer-Aided Verification 1994