SAT 2011 - SAT 2011 - Fourteenth International Conference on Theory and Applications of Satisfiability Testing

Website | Edit Freely

Category SAT 2011

Deadline: February 18, 2011 | Date: June 19, 2011-June 22, 2011

Venue/Country: Ann Arbor, U.S.A

Updated: 2011-02-13 00:22:46 (GMT+9)

Call For Papers - CFP

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

http://www.lri.fr/SAT2011

Important Dates

December 17, 2010: Workshop Proposals

February 11, 2011: Abstract Submission

February 18, 2011: Paper Submission

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: karemumich.edu and simonlri.fr.

Conference Chairs

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

Organizers:

Daniel Le Berre

Matti Jarvisalo

Olivier Roussel

MAX-SAT Evaluation 2011

web site: http://maxsat.ia.udl.cat

Organizers:

Josep Argelich

Chu-Min Li

Felip Manya

Jordi Planes

PB Evaluation 2011

web site: http://www.cril.univ-artois.fr/PB11

Organizers:

Vasco Manquinho

Olivier Roussel