Important Dates (All in 2005)
Main conference abstract due Tuesday, May 31
Main conference papers due Monday, June 6
Workshop proposals Friday, June 17
Tutorials proposals Friday, June 17
Doctoral Symposium papers due Friday, June 17
Formal Tool Demo proposals Friday, June 17
Workshop acceptance notification Monday, July 11
Tutorial acceptance notification Monday, July 11
Accepted workshops launch CFP Monday, July 18
Main conference papers notification Monday, August 1
Doctoral Symposium notification Monday, August 1
Formal Tool Demo proposals notification Monday, August 1
Workshops papers due Friday, August 19
Camera-ready papers for main
conference, doctoral symposium,
formal tool demo; abstract for tutorials,
and workshop/tutorial/formal tool demo/
doctoral symposium introductory page
Friday, September 2
Beginning of early registration Friday, September 9
Workshops papers notification Monday, September 19
End of early registration Friday, October 7
End of hotel reservation Friday, October 7
Camera-ready workshops papers due Saturday, October 15
Online registration ends
(On-site registration only afterwards)
Friday, October 28
Doctoral SymposiumMonday, November 7
TutorialsMonday, November 7 -- Tuesday, November 8
WorkshopsMonday, November 7 -- Tuesday, November 8
Main ConferenceWednesday, November 9 -- Friday, November 11