Montreal skyline and St. Lawrence River


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

Welcome Reception

A standing cocktail reception will take place on the evening of Monday, August 3rd, at 18:30 at the nearby McCord Museum of Canadian History. Every conference participant will have free access to the museum during the entire week by showing your badge.

Squash Tournament

A friendly squash tournament will take place on August 5th at 19:00 at the nearby McGill Sports Centre. In case you're not a squash player, but still want some exercise during your stay, we encourage you to take a look at the Sports Centre's guest rates.


Participants are encouraged to join us on a walking tour through Old Montreal and a cruise on the St.-Lawrence River on the afternoon of Thursday, August 6th.


The conference banquet will take place on the evening of Thursday, August 6th, 19:30 at Pointe-à-Callière, Montreal's Museum of Archeology and History at the Old Port. The event promises to be delightful, featuring an elegant four-course meal surrounded by a lovely view of Old Montreal.