Bonsecours Market


22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2 - 7, 2009

General information about Montreal

Montreal is a large, cosmopolitan, affordable, cultural, bilingual (French/English) city. It is easily accessible from the US and Europe with direct flights to Pierre Elliott Trudeau Airport (YUL) from all major cities. For detailed information on how to get to Montreal, check the "Get In" section of Wikitravel.

Terrace on Place Jacques-Cartier

Terrace on Place Jacques-Cartier. © Tourisme Montréal, Stéphan Poulin

For more information on Montreal, refer to:

Please visit our registration page for information about accommodations and lodging, including preferential rates at hotels near McGill campus.

How to get from Pierre Elliott Trudeau Airport (YUL) to downtown

Montreal has good public transit operated by the STM, serving most of urban Montreal well. Unfortunately, it is not easy to use public transport to get from the airport to downtown Montreal. We recommend using a taxi or the L'Aérobus, if you want to save money.

How to get from the Central Train Station (Gare Centrale) to McGill

VIA Rail Canada trains and the Amtrak Adirondack from New York City arrive at Gare Centrale (Central Station). It's a 15- to 20-minute walk to the conference site or a short (but possibly slow) taxi ride. Gare Centrale is connected to the Bonaventure Orange Line station, but you'd have to change to the Green Line at Berri-UQÀM, so it's probably faster to walk.

How to get from the Central Bus Station (Station Centrale d'Autobus) to McGill

The bus station is connected to the Berri-UQAM metro station. For C$2.75, the Green Line (direction Angrignon) will take you to Place-des-Arts station, from which you can take the 80 or 535 bus a couple of stops to New Residence Hall. If you're going straight to the Trottier building, get off at McGill and walk up University.


McGill University is an English language university located in downtown Montreal. The presentations will take place in the Trottier Building, which offers smaller rooms for workshops, a large auditorium, computer labs, as well as several break-out rooms and open seating areas. Our systems staff will set up wireless network access for participants and provide systems support for the CASC competition.

The Trottier building (left) in Tomlinson Square research hub. ©
Claudio Calligaris

The Trottier building (left) in Tomlinson Square research hub. © Claudio Calligaris

Map of McGill and downtown Montreal

If you want to get an idea where everything is, check out the following map of downtown Montreal, McGill, McCord Museum (Reception), and Pointe-a-Calliere (Banquet).

Exploring Montreal

In general there are four preferred ways to get around Montreal.


The average daytime temperature for late July/early August is about 25°C. High humidity is common in the summer, which makes the perceived temperature higher than the actual temperature. [more details from Wikipedia]