Supplementary Proceedings of the
9th International Conference on
Theorem Proving in Higher Order Logics: TPHOLs'96

Reference

Joakim von Wright, Jim Grundy and John Harrison, editors. Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96, number 1 in TUCS General Publications, Turku, Finland, August 1996. Turku Centre for Computer Science, Lemminkäisenkatu 14A, 20520 Turku, Finland.

Preface

This volume contains the supplementary proceedings of the The 9th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'96). The previous meetings in the series were known initially as HOL Users Meetings, and later as Workshops on Higher Order Logic Theorem Proving and its Applications. The new name for the series reflects a broadening in scope of the conferences, which now encompass work related to all aspects of theorem proving in higher order logics, particularly when based on a secure mechanization of logic. As a sign of the broad scope of the conference, the presentations described work using the Alf, Coq, HOL, Isabelle, LAMBDA, LEGO, NuPrl, and PVS theorem provers.

The forty-six papers submitted to TPHOLs'96 were generally of high standard. All submissions were fully refereed, each paper being read by at least three reviewers appointed by the programme committee. Twenty-seven papers were selected for presentation as full research contributions. These papers will appear in volume 1125 of the Springer-Verlag Lecture Notes in Computer Science series, entitled Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96. The conference also continued the tradition of its predecessors of providing an open venue for the discussion and sharing of preliminary results. Thus the programme included an informal poster session where twenty researchers were invited to present their work. The poster papers are contained in this volume.

The conference was sponsored by the Turku Centre for Computer Science, the Research Institute of the Foundation of Åbo Akademi, and the Academy of Finland. Their financial support is gratefully acknowledged. We also want to thank Christel Engblom, Sirpa Nummila, and Gundel Westerholm who assisted in matters of local organization.

BibTeX

Here is an appropriate BibTeX entry:

@Proceedings{vonWright:1996:SPI,
  editor =      "Joakim von Wright and Jim Grundy and
                 John Harrison",
  title =       "Supplementary Proceedings of the 9th
                 International Conference on
                 Theorem Proving in Higher Order Logics:
                 TPHOLs'96",
  address =     "Turku, Finland",
  month =       aug,
  year =        1996,
  number =      1,
  series =      "TUCS General Publications",
  publisher =   "Turku Centre for 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:	Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96
Editors:	Joakim von Wright and Jim Grundy and John Harrison
Copyright:	1996
ISBN:	951-650-781-6
Series:	TUCS General Publications
Volume:	1
ISSN:	1239-1891
Publisher:	Turku Centre for Computer Science
Address:	Lemminkäisenkatu 14A, 20520 Turku, Finland