[Apologies for multiple copies]
========================================================================
CALL FOR PAPERS
SAT-2004
Seventh International Conference on
Theory and Applications of Satisfiability Testing
http://www.satisfiability.org/SAT04/
with
2004 SAT SOLVER COMPETITION
2004 QBF SOLVER EVALUATION
10-13 May 2004
Vancouver, British Columbia
Canada
The International Conference on Theory and Applications of
Satisfiability Testing is the primary annual meeting for researchers
studying the propositional satisfiability problem (SAT). Located in
spectacular Vancouver, Canada, SAT 2004 will feature technical paper
and poster sessions, invited talks, and the annual SAT Solver
Competition and QBF Solver Evaluation. The conference will open with
a talk by Stephen Cook.
We welcome submissions on SAT from any discipline with an interest in
the problem, including theoretical, experimental and applied work.
Topics of interest include, but are not limited to:
* Proof Systems and Proof Complexity
* Search Algorithms and Heuristics
* Analysis of Algorithms
* Hard Instances ; Random Formulas
* Problem Encodings
* Industrial Applications
* Solvers and other tools
* Case Studies and Empirical results
We especially welcome work that reflects connections between
theoretical and empirical results or questions. Submissions on
Generalized Satisfiability and Quantified Boolean Formulae are also
welcome, if they are of interest to the SAT community. Authors
reporting on solvers or instances are strongly encouraged to make
these publicly available on the web.
ARTICLE SUBMISSION
- ------------------
All submissions must be in Springer-Verlag LNCS style
(http://www.springer.de/comp/lncs/authors.html). Authors should
submit an extended abstract of at most 8 pages in length including
appendices, tables, figures and bibliography. Submissions deviating
from these requirements may be rejected without review. Submission
will be in electronic form as PDF files, and authors should refer
to the conference web site (http://www.satisfiability.org/SAT04)
for details. Authors are asked to register their papers on the web
site one week before the submission deadline.
Submissions will be reviewed by at least two members of the program
committee, and may be accepted for either a paper or poster
presentation. Reports of wide interest will be given a paper
presentation; reports of narrower interest or of preliminary results
will have poster presentations.
All accepted papers and posters will appear in the informal
conference proceedings distributed at the conference. Authors of
accepted papers will be invited to submit full papers for publication
in the SAT 2004 post-conference proceedings, to be published in the
Springer-Verlag Lecture Notes in Computer Science series.
ASSOCIATED SOLVER COMPETITIONS
- ------------------------------
Associated with the conference are the 2004 SAT Solver Competition
and the 2004 QBF Solver Evaluation. The SAT competition and QBF
evaluation organizers welcome submissions of for both SAT and QBF,
benchmark instances, as well as SAT and QBF solvers.
For details see the 2004 SAT Solver Competition web page,
http://satlive.org/SATCompetition/2004, and the 2004 QBF Solver
Evaluation web page http://satlive.org/QBFEvaluation/2004.
IMPORTANT DATES
- ---------------
Author Registration: February 3 (Paper, solver & benchmark)
Paper Submission: February 6
SAT Solver Submission: February 13 (Benchmarks: February 20)
QBF Solver Submission: February 21 (Benchmarks: February 28)
Notification of Acceptance: March 17
Early Registration: March 24
Camera Ready Deadline: April 12
Conference: May 10-13
CONFERENCE ORGANIZERS
- ---------------------
Holger Hoos University of British Columbia, Canada
[EMAIL PROTECTED]
David Mitchell Simon Fraser University, Canada
[EMAIL PROTECTED]
ORGANIZING COMMITTEE
- --------------------
John Franco University of Cincinnati, USA
Enrico Giunchiglia Universita di Genova, Italy
Henry Kautz University of Washington, USA
Hans Kleine Buening Universitaet Paderborn, Germany
Bart Selman Cornell University, USA
Ewald Speckenmeyer Universitaet Koeln, Germany
Hans van Maaren University of Delft, The Netherlands
SAT SOLVER COMPETITION ORGANIZERS
- ---------------------------------
Daniel Le Berre Universite d'Artois, France
Laurent Simon Universite Paris-Sud, France
QBF SOLVER EVALUATION ORGANIZERS
- --------------------------------
Daniel Le Berre Universite d'Artois, France
Laurent Simon Universite Paris-Sud, France
Armando Tacchella Universita di Genova, Italy
Massimo Narizzano Universita di Genova, Italy
SPONSORS
- --------
Pacific Institute for the Mathematical Sciences (PIMS)
Intelligent Information Systems Institute (IISI)
CoLogNet
========================================================================
