Edinburgh, Scotland
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]
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 | |
| 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 |
| TPHOLs/CHARME Coordinating General Chair |
Tom Melham | University of Glasgow |