Theorem Proving in Higher Order Logics:
Emerging Trends - Supplementary Proceedings of
the 11th International Conference, TPHOLs'98

Reference

Jim Grundy and Malcolm Newey, editors. Theorem Proving in Higher Order Logics: Emerging Trends - Supplementary Proceedings of the 11th International Conference, TPHOLs'98, Joint Computer Science Technical Report TR-CS-98-08, Canberra, Australia, September/October 1998. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia.

Preface

Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The International Conference on Theorem Proving in Higher Order Logics (TPHOLs) brings together people working in these and related areas for the discussion and dissemination of new ideas in the field.

TPHOLs'98 continues the conference tradition of having both a completed work and work-in-progress stream. The Papers from the first stream were formally refereed, and published as volume 1479 of LNCS. This, supplementary, proceedings records work accepted under the work-in-progress category, and is intended to document emerging trends in higher-order logic research. Papers in the work-in-progress stream are vetted for relevance and contribution before acceptance. The work-in-progress stream is regarded as an important feature of the conference as it provides a venue for the presentation of ongoing research projects, where researchers invite discussion of preliminary results.

Although the TPHOLs conferences have their genesis in meetings of the users of the HOL theorem proving system, each successive year has seen a higher rate of contribution from the other groups with similar goals, particularly the user communities of Coq, Isabelle, Lambda, Lego, NuPrl, and PVS. Since 1993 the proceedings have been published by Springer as volumes in Lecture Notes in Computer Science series. Bibliographic details of these publications can be found at the back of this book; more history of TPHOLs can be found with further information about the 1998 event at http://cs.anu.edu.au/TPHOLs98/.

The conference was sponsored by the Computer Science Department of The Australian National University (ANU), Intel, the Defence Science and Technology Organisation (DSTO), The Australian Research Council, and ACSys (the Cooperative Research Centre for Advanced Computational Systems). The financial support of these groups is gratefully acknowledged.

Tradition dictates that the organising committee of each TPHOLs conference selects the site of the next conference by conducting a poll of potential attendees. We would like to thank the TPHOLs community for choosing The Australian National University as the conference hosts for 1998. Similarly, we are pleased to announce that in the next TPHOLs will be held in early September 1999 on the French Riviera, where it will be hosted by the Coq and CROAP groups at INRIA Rocquencourt and Sophia-Antipolis.

BibTeX

Here is an appropriate BibTeX entry:

@Proceedings{Grundy:1998:TPE,
  editor =      "Jim Grundy and Malcolm Newey",
  title =       "Theorem Proving in Higher Order Logics:
                 Emerging Trends~---
                 Supplementary Proceedings of the
                 11th International Conference, TPHOLs'98",
  address =     "Canberra, Australia",
  month =       sep,
  year =        1998,
  number =      "TR-CS-98-08",
  series =      "Joint Computer Science Technical Report",
  publisher =   "The Australian National University,
                 Department of Computer Science"}

Where To Find it

You can down-load a copy of the suplementary proceedings. Or, if you want to try to find a copy in a library, the following might be useful:

Title:	Theorem Proving in Higher Order Logics: Emerging Trends - Supplementary Proceedings of the 11th International Conference, TPHOLs'98
Editors:	Jim Grundy and Malcolm Newey
Series:	Joint Computer Science Technical Reports
Number:	TR-CS-98-08
Copyright:	1998
Publisher:	The Australian National University, Department of Computer Science
Address:	Canberra ACT 0200, Australia
ISBN:	0-7315-4800-0