SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

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/conferences/?conf=SAT2008. Papers have to be submitted electronically as PDF files. Abstracts are due by January 11, 2008, 23:59 GMT. Papers are due by January 18, 2008, 23:59 GMT. Notification of acceptance by February 18, 2008. Final versions are due by February 25, 2008, 23:59 GMT. SAT08 Conference May 12 - 15, 2008.