The 1998 International Conference on Theorem Proving in Higher Order Logics will be the eleventh in a series that dates back to 1988. The Conference will be held on the four days Monday 28 September - Thursday 1 October 1998 at The Australian National University (ANU), in Canberra. Just as with previous TPHOLs conferences, the 1998 formal proceedings will be published in Lecture Notes in Computer Science. More information is available from the conference web site
The program committee welcomes submissions on all aspects of theorem proving relating to higher order logics and their applications. This includes, but is not limited to
The scope of the conference encompasses all mechanised reasoning tools for higher order logics.
The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98) is to be co-located with TPHOLs'98. This event, which will run for the four days Tuesday 29 September - Friday 2 October 1998, is a general formal methods conference that will be of interest to many TPHOLs'98 attendees. Material that is particularly relevant to attendees of both conferences will be presented at occasional joint sessions. More information on IRW/FMP'98 is available via the TPHOLs'98 web site.
Submissions under both categories must be kept to 18 pages or less, and should be prepared according to the Lecture Notes in Computer Science style. Papers may be submitted electronically in either PostScript or Portable Document Format (PDF). Complete instructions on how to submit are available from the conference web site. Please read these before submitting your paper.
|Deadline for research paper submissions:||20 March 1998|
|Research paper acceptance notification:||8 May 1998|
|Camera-ready copy for research papers due:||5 June 1998|
|Deadline for progress paper submissions:||12 June 1998|
|Progress paper acceptance notification:||24 July 1998|
|Camera-ready copy for progress papers due:||21 August 1998|
|Conference:||28 September - 1 October 1998|
The program committee for the conference is
The initial list of invited speakers for the conference is
The TPHOLs'98 conference organisers are Jim Grundy and Malcolm Newey of the ANU. They may be contacted at
This Call for Papers is also available in other formats for printing and distribution.