View of Montreal skyline.


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

Workshops, Tutorials, System Competitions, Meetings

There will be a two-day programme of various workshops, tutorials and meetings before the conference. In addition, two system competitions will be held during the conference.