Paper Submissions SAT 2010
- Paper submissions should
contain original material and can either be regular research papers up to
14 pages or short papers up to 6 pages. Submitted papers may include a
technical appendix in addition to the page restriction; however, the paper
must be intelligible without the appendix and PC members are not required
to read the appendix.
- 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
- All tables, figures and the
bibliography must fit into the page limit. Appendices that the author
considers as part of the final submission should fit in the page limit as
- 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 are expected to be published in Springer's LNCS series.
- The submission page is http://www.easychair.org/conferences/?conf=sat10.
- Papers have to be submitted
electronically as PDF files.
PDF and ASCII
versions of the Call for Papers.
- The Floc-specific Springer copyright form
needs to be signed by the corresponding author of the paper, scanned, and
sent to one of the conference chairs. In case you cannot scan it, you can use one of the fax numbers that were sent to authors of accepted papers.
- The name of the conference
proceedings is "Theory and Applications of Satisfiability Testing --
- The LNCS volume number is
(To be updated).
- The editors' names are
"Ofer Strichman and Stefan Szeider".