McGill Campus

CADE-22

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

Important Dates

Deadline for workshop proposal submissions 7 December 2008
Acceptance/rejection notification to workshop organizers 7 January 2009
Abstract submission 16 February 2009
Paper submission 23 February 2009
Notification of paper decisions 21 April 2009
Camera-ready papers due 14 May 2009
Nominations for student awards due 16 June 2009
Booking of accommodation at New Residence Hall due 25 June 2009
Early Registration Deadline 30 June 2009
Workshops 2-3 August 2009
Conference 4-7 August 2009