TPHOLs 2004
Park City, Utah, USA
September 14-17, 2004

http://www.cs.utah.edu/tphols2004/


Home Page   [Schedule]   [Hotel and Registration]  [Travel to Park City]   [Related Events]   [Call for Papers]   [Accepted Papers]  [Conference History]   [Photos]  [TPHOLs2005]


The School of Computing at the University of Utah is pleased to host the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs2004) in Park City, Utah during Sept. 14-17, 2004.


REGISTRATION
Registration is now open. Please see the registration and hotel booking page. The early registration deadline is August 20, 2004.
VENUE
Conference sessions will take place at the Legacy Lodge of the Park City Mountain Resort.
ACCOMODATION
The conference hotel is the Park City Marriott. Please see the registration and hotel booking page. The last day that the availability and rate are guaranteed is August 13. For other lodging possibilities in Park City, the Park City Visitors Bureau has some useful listings.
INVITED SPEAKERS
The following distinguished researchers will give talks at TPHOLs2004:

RELATED EVENTS
TPHOLs2004 finishes one day before ICFP begins. ICFP will be held at Snowbird, Utah during Sept. 19-22, 2004.

ORGANIZATION
The conference organizers are For matters relating to TPHOLs, please use the email address   png of email address for tphols

SPONSORS
Intel logo


The University of Utah
TPHOLs / tphols2004@cs.utah.edu
School of Computing