Correction: TPHOLs'96 web site

Article View: alt.uu.math.misc

Article #118

#118

From: Jim Grundy INF
Date: Tue, 06 Feb 1996 00:00

6 lines
1553 bytes

In an earlier announcement of the call for papers for the 1996 
International Conference on Theorem Proving in Higher Order Logics 
(TPHOLs'96) the URL for the conference web site was incorrect.  The 
correct URL is as follows:

                http://www.abo.fi/~jharriso/TPHOLs96.html

Technical Details

Message-ID: <4f6uub$9mi@josie.abo.fi>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 106582,7e280216f7d0b3c2,start
X-Google-Attributes: gid106582,public
X-Google-Thread: 10c88d,7e280216f7d0b3c2,start
X-Google-Attributes: gid10c88d,public
X-Google-Thread: f7888,7e280216f7d0b3c2,start
X-Google-Attributes: gidf7888,public
X-Google-Thread: 10a0b6,7e280216f7d0b3c2,start
X-Google-Attributes: gid10a0b6,public
X-Google-Thread: f8362,7e280216f7d0b3c2,start
X-Google-Attributes: gidf8362,public
X-Google-Thread: 101ec5,7e280216f7d0b3c2,start
X-Google-Attributes: gid101ec5,public
X-Google-Thread: 10b276,7e280216f7d0b3c2,start
X-Google-Attributes: gid10b276,public
X-Google-Thread: 1077c2,7e280216f7d0b3c2,start
X-Google-Attributes: gid1077c2,public
From: jgrundy@news.abo.fi (Jim Grundy INF)
Subject: Correction: TPHOLs'96 web site
Date: 1996/02/06
Message-ID: <4f6uub$9mi@josie.abo.fi>
X-Deja-AN: 138147263
distribution: world
sender: jgrundy@bruce.abo.fi (Jim Grundy INF)
organization: �bo Akademi
reply-to: Jim Grundy <jim.grundy@abo.fi>
newsgroups: alt.uu.math.misc,comp.object.logic,comp.specification.larch,comp.specification.misc,comp.specification.z,comp.theory,fj.comp.theory,nordunet.sci.math,nordunet.sci.math.euro,sci.logic,sci.math,sci.math.symbolic