Paper Submissions SAT 2009
Note the deadlines:- The abstract submission deadline was 23.2.2009.
- The paper submission deadline was 2.3.2009.
- The deadline for the final version is 12.4.2009.
General information
- 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=sat2009.
- Papers have to be submitted electronically as PDF files.
- Abstracts are due by February 23, 2009, 23:59 GMT.
- Papers are due by March 2, 2009, 23:59 GMT.
Call for Papers
PDF and ASCII versions of the Call for Papers.
Final versions
- The Springer copyright form needs to be signed by the corresponding author of the paper, scanned, and sent to the conference chair.
- The name of the conference proceedings is "Theory and Applications of Satisfiability Testing -- SAT 2009".
- The LNCS volume number is 5584.
- The editor's name is "Oliver Kullmann".