Mont-Royal as seen from McGill campus.

CADE-22

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

Organizers