Correction: TPHOLs'96 web site

Thread View: alt.uu.math.misc

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Jim Grundy INF Tue, 06 Feb 1996 00:00

#118

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads