TPHOLs 2001

Edinburgh, Scotland

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

[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]

The Division of Informatics at the University of Edinburgh and the Department of Computing Science at the University of Glasgow hosted the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) in Edinburgh, Scotland, during 3-6 September 2001.


The invited talks and full research papers presented at the conference have been published as Volume 2152 of Lecture Notes in Computer Science. (The full paper for Steven D. Johnson's invited talk can be found in the proceedings of CHARME 2001 which is published as Volume 2144 of Lecture Notes in Computer Science.) The work-in-progress papers of TPHOLs 2001 are published by the University of Edinburgh as Division of Informatics Report EDI-INF-RR-0046.

For further information, see the Proceedings page.


Category A Category B
Deadline for submission of papers: 23 February 2001 18 May 2001
Notification to authors: 30 April 2001 25 June 2001
Deadline for final version of papers: 1 June 2001 30 July 2001
Deadline for early registration: 20 July 2001
Deadline for hotel bookings: 31 July 2001
Conference: 3-6 September 2001

Organizing Committee

Conference Chair Richard Boulton University of Glasgow
Programme Chair Paul Jackson University of Edinburgh and
Institute for System Level Integration
Local Arrangements Co-Chair Louise Dennis University of Edinburgh
Local Arrangements Co-Chair Jacques Fleuriot University of Edinburgh
Publicity Chair Simon Gay University of Glasgow
Coordinating General Chair
Tom Melham University of Glasgow


TPHOLs 2001 was sponsored by the following organizations:


Enquiries concerning the conference should be emailed to