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:

• Al Davis
• Tom Hales
• Ken McMillan

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

• Konrad Slind :
• Ganesh Gopalakrishnan :
• Annette Bunker :

For matters relating to TPHOLs, please use the email address  

SPONSORS

TPHOLs / tphols2004@cs.utah.edu