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]

Related Events

TPHOLs 2001 will take place in the same week as the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001) which will be held in nearby Livingston. The plan is to have joint sessions in Edinburgh and a joint excursion and dinner on Wednesday 5 September. The TPHOLs sessions on 3, 4 and 6 September will take place in the University of Edinburgh Conference & Training Centre.