CFP: SAT 2004 Conference in Vancouver, Canada

========================================================================

                 CONFERENCE ANNOUNCEMENT

                       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 COMPETITION

                   May 10-13, 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), a prominent 
problem in both theoretical and applied computer science. SAT lies 
at the heart of the most important open problem in complexity theory 
(P vs NP), and underlies many applications in artificial intelligence, 
operations research, and electronic design engineering.

Located in spectacular Vancouver, Canada, SAT 2004 will feature 
technical paper and poster sessions, invited talks, and the 2004 SAT 
Solver Competition and 2004 QBF Solver Evaluation.  The primary 
objective of the conferences is to bring together researchers from 
various areas and communities, including artificial intelligence, 
electronic design engineering, operations research and theoretical 
computer science to promote collaboration and the communication of 
new theoretical and practical results in SAT-related research and 
its industrial applications.

SAT 2004 continues a series of meetings that started with the Workshops 
on Satisfiability held in Siena, Italy (1996), Paderborn, Germany (1998), 
and Renesse, The Netherlands (2000); the Workshop on Theory and 
Applications of Satisfiability Testing held in Boston, USA (2001), the 
Symposium on Theory and Applications of Satisfiability Testing held in 
Cincinnati, USA (2002), and the Sixth International Conference on Theory 
and Applications of Satisfiability Testing held in Santa Margherita 
Ligure, 
Italy (2003).

The formal call for papers will be distributed shortly.

IMPORTANT DATES 
---------------
Paper Submission: Early February, 2004 (TBA).
Conference:       May 10-13, 2004

CONFERENCE ORGANIZERS
-------------------
Holger Hoos                         David Mitchell
University of British Columbia      Simon Fraser University
[EMAIL PROTECTED]                      [EMAIL PROTECTED]
========================================================================

[ comp.ai is moderated.  To submit, just post and be patient, or if ]
[ that fails mail your article to <[EMAIL PROTECTED]>, and ]
[ ask your news administrator to fix the problems with your system. ]