Montreal architectural style


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

General information regarding registration

Registration is open. Please go to our registration site.

Registration for CADE conference

The registration fee includes access to all our facilities, attendance of the conference program, all lunches and refreshment breaks plus social events such as the reception, banquet and excursion. You will also receive a copy of the conference proceedings.

Student registration: 475 CAD Before June 30, 2009
Early regular registration: 595 CAD Before June 30, 2009
Late registration: 700 CAD After June 30, 2009

If you have problems registering, please contact [bpientka at cs dot mcgill dot ca].

Registration for workshops & tutorials:

Every participant is expected to register for a workshop or a tutorial on the day that they attend.

If you want workshop proceedings and tutorial notes please check both the workshop day registration and the tutorial day registration.

General information regarding accommodation

University accommodation (arranged by conference organizers)

Participants who register before Thursday, June 25th 2009 will have the option of having us reserve an affordable single or shared room in McGill's New Residence building. The New Residence building was formerly a Renaissance-Montreal hotel before McGill turned it into a hotel-style dorm. All rooms have their own private bathroom. The New Residence rooms, whether shared or single, are priced at a rate of 99CAD, which includes breakfast. There is no tax charged on the room rate, if you reserve the room via the online registration form. This offer is optional: participants who register early are free to arrange their own lodging.

Example of registering for accommodation online: The registration form allows you to check the days you will stay at New Residence. So, if you arrive for example on Aug 2 and leave on Aug 4, then you should check two boxes one for Aug 2 and another one for Aug 3, since you are staying two nights.

Check in at New Residence: The reception is open 24h, seven days a week. Your room is normally available after 3:00pm on the day you check in. There is no problem with checking in late.

Parking at New Residence: Parking costs $16 (CAD) per day and is paid directly at New Residence Hall.

Room sharing: We created a Google newsgroup cade09-roomsharing.

"Cade Room Sharing" newsgroup allows you to advertise that you are looking for a roommate or that you already have a room and you'd like to share it. Once you've found a roommate, only ONE of you (either you or your roommate) needs to reserve a double room on the registration form.

Other accommodation options

There is a wide range of accommodation options available close to campus and you are welcome to make your own reservations. All participants who register after June 25th, 2009 are responsible for making their own hotel reservations.

McGill offers dorm-style summer accommodation from mid-May to mid-August at the Bishop Mountain Residences complex and the Royal Victoria College for $50.79 (including tax) and $45.15 (including tax) for students.

Participants will be able to take advantage of preferential hotel rates arranged by McGill University. List of preferential-rate hotels close to McGill. For detailed information about these preferential rates, please inquire at [bpientka at cs dot mcgill dot ca]. You can also find some good prices at; this website offers a teacher/student rebate scheme.

A few other nearby establishments to consider: