TPHOLs 2000 --- call for short papers

                  CALL FOR SHORT PAPERS: TPHOLs 2000

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

                        Portland, Oregon, USA
               Monday 14 August - Friday 18 August 2000

               *  http://www.cse.ogi.edu/tphols2000  *

The 2000 International Conference on Theorem Proving in Higher Order
Logics will be the thirteenth in a series that dates back to 1988.
The conference will be held Monday 14 August through Friday 18 August,
2000, at the DoubleTree Hotel, Portland, Oregon, USA.  The first day
of the conference will be devoted to tutorials, with the remaining 4
days covering the main conference program.


The purpose of the short papers tract is to provide an informal forum 
for the presentation of recent work, preliminary results, and even 
highly-speculative ideas.  Following the tradition of past TPHOLs, the 
short paper tract will include short talks (5 minutes) and poster sessions.
Those submissions accepted will also be published in a technical report,
which will be available at the conference.  Short papers will not be 
formally refereed, but their content and relevance will be reviewed.

*** Full-length research paper submissions that requested to be
    considered as short papers upon rejection will be automatically
    included in the review process for short papers.


The program committee welcomes submissions on all aspects of theorem
proving in higher order logics, and on related topics in theorem
proving and verification.  This includes, but is not limited to, the
following topics:

  o  Hardware and software verification, refinement and synthesis
  o  Verification of security and communications protocols
  o  Formal specification and requirements analysis of systems
  o  Industrial applications of theorem provers
  o  Advances in theorem prover technology
  o  Comparisons of various approaches to theorem proving
  o  Proof automation and decision procedures
  o  Incorporation of theorem provers into larger systems
  o  Combination of theorem provers with other provers and tools
  o  User interfaces for theorem provers
  o  Development and extension of higher order logics


  o Deadline for category B submissions:                   26 May 2000
  o Notification of acceptance:                            14 June 2000
  o Camera-ready copy for category B due (provisional):    14 July 2000
  o Conference:                                         14-18 Aug 2000

Papers should be no more than 18 pages in length (much less is fine) 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, 
or emailed directly to the organizers using the email address
"tphols2000@cse.ogi.edu".  This email address can also be used for any
inquiries concerning the conference.


The conference is being organized by Intel Corp. and the Oregon
Graduate Institute (OGI).  The organizing committee is as follows:

    Mark Aagaard (General Chair)  John Harrison (Program Chair)
    Kelly Atkinson                Naren Narasimhan
    Robert Beers                  Tom Schubert
    Nancy Day