Park City, Utah, USA
September 14-17, 2004
[Hotel and Registration]
[Travel to Park City]
[Call for Papers]
The School of Computing at
the University of Utah is pleased to
host the 17th International Conference on Theorem Proving in Higher Order Logics
Park City, Utah during
Sept. 14-17, 2004.
- Registration is now open. Please see the
and hotel booking page. The early registration deadline is August 20, 2004.
Conference sessions will take place at the
Legacy Lodge of the
Park City Mountain Resort.
The conference hotel is the Park City Marriott. Please see the
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
- RELATED EVENTS
- TPHOLs2004 finishes one day before
ICFP begins. ICFP
will be held at Snowbird, Utah during Sept. 19-22, 2004.
- The conference organizers are
For matters relating to TPHOLs, please use the email address