SAT 2008 - Theory and Applications of Satisfiability Testing


SAT 2008 - Eleventh International Conference on Theory and Applications of Satisfiability Testing May 12 - 15 2008, Guangzhou, P. R. China

Main News Slides Photos Invited Speakers Preliminary Program Poster Presentations Committees Important Dates Conference Location Registration and Accommodation Paper Submissions Sponsors Previous Conferences	News SAT 2008 conference slides are now available here. The SAT 2008 conference proceedings are available from Springer. The online version of the proceedings is also available from Springer. The most recent news regarding the SAT'08 conference are available here. Overview The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). See www.satisfiability.org for information on previous meetings. The SAT conference also hosts a number of competitions and evaluations, including the SAT Race, the QBFEVAL, and the Max-SAT Evaluation. Affiliated Events SAT Race (CfP) QBFEVAL (CfP) Max-SAT Evaluation Scope The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to: Proof Systems and Proof Complexity Search Algorithms and Heuristics Analysis of Algorithms Hard Instances Randomized Formulae Problem Encodings Industrial Applications Solvers, Simplifiers and Tools Case Studies and Empirical Results SAT is interpreted in a broad sense: besides propositional satisfiability, it includes the domains of pseudo-Boolean constraint solving and optimization (PB), quantified boolean formulae (QBF), constraint programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). Paper Submission 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. Call for Papers PDF and ASCII versions of the Call for Papers.
Last modified: June 16, 2008.