The 14th International Conference on Theorem Proving in Higher Order Logics
3-6 September 2001, Edinburgh, Scotland

[Home Page][Conference History][Call for Papers][Guide for Authors][Programme] 
[Related Events][How to Get There][Weather and Tourism][Registration][Accommodation] 
[Sponsors][Student Bursaries][Proceedings][Photos][Business Meeting][TPHOLs 2002]

Proceedings

Category A Proceedings

Theorem Proving in Higher Order Logics

Richard J. Boulton and Paul B. Jackson (editors).
Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), Edinburgh, Scotland, UK, September 2001.
Lecture Notes in Computer Science volume 2152, Springer-Verlag.
Springer's Information Page / BibTeX file.

The above volume contains an abstract for Steven D. Johnson's invited talk (joint with the CHARME 2001 conference). A full paper can be found in the proceedings of CHARME 2001, which is published as Volume 2144 of Lecture Notes in Computer Science.

Category B Proceedings (Work in Progress)

TPHOLs 2001: Supplemental Proceedings

Richard J. Boulton and Paul B. Jackson (editors)
University of Edinburgh, Division of Informatics, Informatics Research Report EDI-INF-RR-0046,
September 2001.
BibTeX file.