SAT 2011 Call for Papers
The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem. SAT 2011 is the fourteenth SAT conference and features the SAT competition, the Pseudo-Boolean evaluation, and the MAX-SAT evaluation.
Many hard combinatorial problems can be encoded as SAT instances, including problems that arise in hardware and software verification, AI planning and scheduling, OR resource allocation, etc. The theoretical and practical advances in SAT research over the past dozen years have contributed to making SAT technology an indispensable tool in many of these domains. The SAT conference aims to further advance the field by soliciting original theoretical and practical contributions on a wide range of topics including, but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a rather broad sense: besides propositional satisfiability, it includes the domain of quantified boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding and particularly satisfiability modulo theories (SMT).
Submissions should contain original material up to 14 pages and use the Springer LNCS style. All appendices, tables, figures and the bibliography must fit into the 14-page limit. Submissions deviating from these requirements may be rejected without review. Please note that there is no distinction between short and long papers; submissions will be judged based on their quality not their length. Some novel ideas can be adequately presented in 6 pages; others may require 12 pages. All accepted papers will be published in the proceedings of the conference. The conference proceedings will be published within the Springer LNCS series.
The paper submission page is http://www.easychair.org/conferences/?conf=sat11
LNCS style authors instructions is http://www.springer.com/comp/lncs/Authors.html
December 17, 2010: Workshop Proposals
February 11, 2011: Abstract Submission
February 21, 2011: Paper Submission (extended deadline)
March 18, 2011: Author Notification
April 1, 2011: Final Version
Call for Workshops Proposals
Researchers and practitioners are invited to submit proposals for associated workshops on related topics. Workshops will have to be financially self-supporting. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include contact information of the workshop organizers, procedures for selecting papers and participants, estimate of the audience size and a tentative list of the program committee. Proposals are due by December 17, 2010 and must be submitted electronically as a PDF files, by email, to both SAT Conference Chairs: firstname.lastname@example.org and email@example.com.
Karem A. Sakallah, University of Michigan, USA
Laurent Simon, University of Paris-Sud 11, France
Associated Competitive Events
SAT Competition 2011
web site: http://www.satcompetition.org/2011
- Daniel Le Berre
- Matti Jarvisalo
- Olivier Roussel
MAX-SAT Evaluation 2011
web site: http://maxsat.ia.udl.cat
- Josep Argelich
- Chu-Min Li
- Felip Manya
- Jordi Planes
PB Evaluation 2011
web site: http://www.cril.univ-artois.fr/PB11
- Vasco Manquinho
- Olivier Roussel
You can find this CFP as a poster