The Coq mailing list

[slind AT cs.utah.edu]

      [We apologize if you receive multiple copies of this message]


                      CALL FOR PAPERS: TPHOLs 2004
                        *  EMERGING TRENDS  *

                 The 17th International Conference on
                Theorem Proving in Higher Order Logics

                           Park City, Utah

              Tuesday 14 September - Friday 17 September 2004

              ***********************************************
              *     http://www.cs.utah.edu/tphols2004/      *
              ***********************************************

The 2004 International Conference on Theorem Proving in Higher Order
Logics will be the seventeenth in a series that dates back to 1988.
The conference will be held Tuesday 14 September through Friday 
17 September, 2004, in Park City, Utah.

Traditionally, TPHOLs has an "Emerging Trends" section for informal
progress reports. Submissions under Emerging Trends will not be
formally refereed, but their content and relevance will be
reviewed. Those submissions accepted will be published in a technical
report, which will be available at the conference.  Authors of accepted
papers are expected to present a brief outline of their work at the
conference and to prepare a poster for display at the conference venue.
Unless otherwise requested, submissions rejected under "mature work"
will also be considered for inclusion under Emerging Trends.

The DEADLINE for submissions in Emerging Trends is approaching:

  o Deadline for Emerging Trends submissions:    31 May 2004

Papers should be no more than 16 pages in length and should be written
using LaTeX2e and the LNCS style file, which is available from
"http://www.springer.de/comp/lncs/authors.html".  Submissions should be
sent electronically following the instructions on the TPHOLs web page.
This email address can also be used for any inquiries concerning the
conference.


Konrad Slind (TPHOLs 2004 General Chair)