Paper submissions are
now closed.
Paper submissions should contain original material and can either be
regular research papers up to 14 pages or short papers up to 6 pages.
Regular papers may be accepted as short papers, by decision of the
program committee. Double submissions including submissions as short
and long papers will be rejected. Submissions should use the Springer
LNCS style. All appendices, tables, figures and the bibliography must
fit into the page limit. Submissions deviating from these requirements
may be rejected without review. All accepted papers including short
papers will be published in the proceedings of the conference, which
will be published in Springer's LNCS series. The submission page is
http://www.easychair.org/SAT2007.
Papers have to be submitted electronically as PDF files. Abstracts
are due by January 21, 23:59 GMT. Papers are due by January 25,
23:59 GMT.
|
