Received: from finabo.abo.fi (finabo.abo.fi [130.232.17.1]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id PAA05132; Wed, 31 Jan 1996 15:20:13 +0200 Received: from leopard.cs.byu.edu ("port 3155"@leopard.cs.byu.edu) by finabo.abo.fi (PMDF V5.0-5 #14197) id <01I0NXXDR9V4HU0UW8@finabo.abo.fi>; Wed, 31 Jan 1996 15:18:26 +0200 (EET) Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA254470932; Wed, 31 Jan 1996 05:22:12 -0700 Received: from finabo.abo.fi by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA254440930; Wed, 31 Jan 1996 05:22:10 -0700 Received: from bruce.abo.fi (root@bruce.abo.fi) by finabo.abo.fi (PMDF V5.0-5 #14197) id <01I0NVYINVYOHU0SPT@finabo.abo.fi> for info-hol@leopard.cs.byu.edu; Wed, 31 Jan 1996 14:22:03 +0200 (EET) Received: from bruce.abo.fi (jgrundy@localhost [127.0.0.1]) by bruce.abo.fi (8.6.10/8.6.10) with ESMTP id OAA20122 for ; Wed, 31 Jan 1996 14:21:54 +0200 Date: Wed, 31 Jan 1996 14:21:50 +0200 From: Jim Grundy Subject: CFP Error Sender: info-hol-request@leopard.cs.byu.edu To: info-hol@leopard.cs.byu.edu Errors-to: info-hol-request@leopard.cs.byu.edu Message-id: <199601311221.OAA20122@bruce.abo.fi> MIME-version: 1.0 Content-type: TEXT/PLAIN; CHARSET=US-ASCII Content-transfer-encoding: 7BIT Precedence: list Ooops, the URL in the call for papers I mailed out for TPHOLs'96 was wrong. It should be as follows: http://www.abo.fi/~jharriso/TPHOLs96.html Jim