ANU Computer Science Technical Reports
TR-CS-98-08
Jim Grundy and Malcolm Newey (editors).
Theorem Proving in Higher Order Logics: Emerging Trends ---
Proceedings of the 11th International Conference, TPHOLs'98,
Canberra, Australia, September -- October 1998, Supplementary
Proceedings.
September 1998.
Updated in October 1998.
[POSTSCRIPT (726335 bytes)] [PDF (1116555 bytes)] [EPrints archive]
Abstract: 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.
Technical Reports <Technical-DOT-Reports-AT-cs-DOT-anu.edu.au>
Last modified: Tue May 31 12:56:00 EST 2011