Return-Path: Received: from toadflax.cs.ucdavis.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <19061-0@swan.cl.cam.ac.uk>; Tue, 14 Apr 1992 04:14:03 +0100 Received: from iris.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.1.1) id AA23164; Mon, 13 Apr 92 20:06:51 PDT Received: by iris.cs.ucdavis.edu (5.57/UCD.CS.1.1) id AA21999; Mon, 13 Apr 92 20:06:45 -0700 Received: from herbrand.albany.edu by cssun.albany.edu (5.65/SMI-3.2) id ; Mon, 13 Apr 92 23:06:09 -0400 Received: by herbrand.albany.edu (5.65/ALBANY_CS-1.1) id AA16830; Mon, 13 Apr 92 23:06:19 -0400 Date: Mon, 13 Apr 92 23:06:19 -0400 From: nvm@edu.albany.cs (Neil Murray) Message-Id: <9204140306.AA16830@herbrand.albany.edu> To: info-hol@edu.ucdavis.cs Subject: CADE-11/more-info A clarification for potential CADE-11 attendees: The CADE-11 registration form should be mailed to the conference address - CADE-11 Institute for Programming and Logics Department of Computer Science LI67A University at Albany - SUNY Albany, NY 12222 USA Checks should be made payable to "CADE-11" [or to the Conference Chair (Deepak Kapur) or to the Local Arrangements Chair (Neil V. Murray)].