TPHOLs 2008 - 21st International Conference on Theorem Proving in Higher Order Logics - Montéal, Canada, 10-13 September 2008
TPHOLs 2007 Registration

Registration Fees ($CAN)

To register for TPHOLs 2008 and/or the UITP'08 workshop, please fill out the form below. 

TPHOLs 2008 + UITP 2008 workshop
Category Until July  14, 2008 After July 14, 2008
Regular $ 400 $ 500
Student* $ 200 $ 225

TPHOLs 2008 only
Category Until July 14, 2008 After July 14, 2008
$ 350 $ 450
$ 175 $ 225

UITP 2008 only
Category Until July 14, 2008 After July 14, 2008
$ 80 $ 80
$ 40 $ 40

If you need additional conference dinner/excursion tickets, please contact the organisers.

* Students must confirm their student status by sending a fax of their student card or a letter from their institutions certifying that they are enrolled in an academic program in 2007-2008 or 2008-2009.


Registration fees can be only paid by credit card. Please complete the following credit card authorisation form [doc|pdf] and fax it to +1(514)848 2802. Registration is not assured until payment has been received.

If cancellation of your registration is necessary, you may fax written notice to the+1(514)848 2802. Cancellations made by August 1, 2008, will be accepted subject to a cancellation charge of $25. Registrants who do not attend the conference or who cancel after August 1, 2008 are responsible for the entire registration fee. Substitutions, however, may be made at any time.

Do not hesitate to contact us, should you have any problems or questions concerning the registration process. Looking forward to meet you in Montreal this coming summer.

Hotel Information

All participants are responsible for making their own hotel reservation. TPHOLs has negotiated special rates with hotels close to the conference venue (see here for a list of hotels). Please mention "Concordia University" when making your reservation to get the special rate.

Please visit this link for a complete list of hotels ranging from one star to five stars. Specify in your search "Downtown" for the "Neighbourhood" criteria.

Registration Form

Contact Information
First name *
Last name *
Email address *
Phone number *
Fax number *
Billing Address
Organisation *
Street / P.O. Box
City *
Postal/ZIP code *
Country *
Registration Information
Registration Type
Special dietary requirements:
(e.g. vegetarian)
Special needs:
(e.g. wheelchair access)
Name to appear on Badge: *
Submit Information
* Required fields.

  Last modified: 14 Feb 2008. Contact:    
TPHOLs 2008 is supported by National Institute of Aerospace (NIA), Microsystems Strategic Alliance of Québec (ReSMIQ), Intel Corporation, and Concordia University.