Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <16721-0@swan.cl.cam.ac.uk>; Wed, 29 Apr 1992 19:06:30 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01380; Wed, 29 Apr 92 10:49:28 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA01376; Wed, 29 Apr 92 10:49:21 -0700 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA27834; Wed, 29 Apr 92 10:49:38 -0700 Message-Id: <9204291749.AA27834@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted Cc: chou@edu.ucla.cs Subject: HOL'92 paper submission deadline? Date: Wed, 29 Apr 92 10:49:37 PDT From: chou@edu.ucla.cs Does anyone know when the paper submission deadline for HOL'92 is? And to whom at where should papers be submitted? - Ching Tsun