Paper Submission: June 25th, 2009 Notification of Authors: July 30th, 2009 Camera Ready Copy of Accepted Papers Due: August 17th, 2009 Registration Deadline: September 11th, 2009 Conference Dates: October 8th - 11th, 2009 (Tutorials: October 6th, Logiccc Meeting: October 7th)