Call for Papers: TPHOLs'98

                     The 11th International Conference on

                    Theorem Proving in Higher Order Logics

 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

                        http://cs.anu.edu.au/TPHOLs98/

 TOPIC

 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

 o hardware verification and synthesis
 o verification of security and communications protocols
 o software refinement, transformation and verification
 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 exploitation of external tools within theorem provers
 o linking theorem provers
 o user interfaces for theorem provers
 o development and extension of higher order logics

 The scope of the conference encompasses all mechanised reasoning tools for
 higher order logics.

 RELATED EVENTS

 TPHOLs'98 will be co-located with the International Refinement Workshop
 and Formal Methods Pacific 1998.  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
 and FMP 1998 is available via the TPHOLs'98 web site.

 SUBMISSION AND PUBLICATION

 Submissions are invited in the following categories:

  o Formal Research Papers: Submissions in this category will be fully
      refereed, and those accepted will be published in a volume of the
      Springer-Verlag series Lecture Notes in Computer Science, which
      will be available at the conference.  Authors of accepted papers
      are expected to present their work at the conference.

  o Work in Progress Papers: Submissions in this category will not be
      formally refereed, but their content and relevance will be reviewed.
      Accepted papers will be published in a joint technical report of the
      Department of Computer Science and the Computer Sciences Laboratory
      of the ANU, 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.

 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.

 IMPORTANT DATES

          Deadline for research paper submissions:     20 March 1998
          Research paper acceptance notification:         8 May 1998
          Camera-ready for research papers due:          5 June 1998

          Deadline for progress paper submissions:      12 June 1998
          Progress paper acceptance notification:       24 July 1998
          Camera-ready for progress papers due:       21 August 1998

          Conference:                  28 September - 1 October 1998
  
 PROGRAM COMMITTEE

 The program committee for the conference is

 o Mark Aagaard (Intel)                  o Paul Jackson (Edinburgh)
 o Sten Agerholm (IFAD)                  o Sara Kalvala (Warwick)
 o David Basin (Freiburg)                o Thomas Kropf (Karlsruhe)
 o Richard Boulton (Edinburgh)           o Paul Loewenstein (Sun)
 o Albert Camilleri (Hewlett-Packard)    o Tim Leonard (DEC)
 o Tony Cant (DSTO)                      o Tom Melham (Glasgow)
 o Bob Constable (Cornell)               o Paul Miner (NASA)
 o Gilles Dowek (INRIA)                  o Malcolm Newey (ANU)
 o Amy Felty (Bell Labs)                 o Sam Owre (SRI)
 o Mike Gordon (Cambridge)               o Christine Paulin-Mohring (LRI)
 o Jim Grundy (ANU)                      o Lawrence Paulson (Cambridge)
 o Elsa Gunter (Bell Labs)               o Laurent Thery (INRIA)
 o Joshua Guttman (Mitre)                o Phil Windley (Brigham Young)
 o John Harrison (Cambridge)             o Wai Wong (Hong Kong Baptist)

 INVITED SPEAKERS

 The initial list of invited speakers for the conference is
 
 o Tobias Nipkow (TU Munchen)
 o Joakim von Wright (Abo Akademi)

 CONFERENCE ORGANISATION

 The TPHOLs'98 conference organisers are Jim Grundy and Malcolm Newey of
 the ANU.  They may be contacted at

                        TPHOLs98@cs.anu.edu.au

 Versions of this Call for Papers are available from the conference web site
 in ASCII, DVI, HTML, PDF and PostScript.