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

Hotel Information

Hotel Name and Contact InformationPrice($CAN)Breakfast includedWireless InternetDistance from the conference venue
Le Meridien- Montreal
Le meridien
129 + tax No$16.05 (But free in Business Center)0.8 km - about 12 mins
Chateaux Versailles- Montreal
Chateau Versailles
129 + tax Yes$16.05 (But free in Business Center)0.8 km - about 12 mins
Clarion Hotel & Suites
http://www.clarionmontreal.com
105 + tax Nofree1.1 km - about 17 mins
Hotel Maritime Plaza
http://www.hotelmaritime.com
119 + tax Nofree0.4 km - about 6 min
Tour Belvedere - Montreal
http://www.tourbelvedere.com Tel: 1 800 922 9052 (Mourad Othman x 351) e-mail:mourad@tourbelvedere.com
94 + tax NoLAN (no WLAN) available in the rooms1.1 km - about 17 mins

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

  LNCS ENCS HVG