Please excuse multiple copies.
--------------------------------------------------------------------
SAT 2008
Call for Papers
11th International Conference on
Theory and Applications of Satisfiability Testing
May 12 - 15, Guangzhou, P. R. China
http://www.upb.de/cs/SAT08
The International Conference on Theory and Applications of
Satisfiability Testing is the primary annual meeting for researchers
studying the propositional satisfiability problem (SAT). SAT08 is
the eleventh SAT conference. SAT08 features the SAT Race, the
Max-SAT Evaluation, and the QBFEVAL.
SCOPE
Many hard combinatorial problems can be encoded into SAT.
Therefore improvements on heuristics on the practical side, as well
as theoretical insights into SAT apply to a large range of real-world
problems. More specifically, many important practical verification
problems can be rephrased as SAT problems. This applies to
verification problems in hardware and software. Thus SAT is becoming
one of the most important core technologies to verify secure and
dependable systems. The topics of the conference span practical and
theoretical research on SAT and its applications and include 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).
SUBMISSION
Submissions should contain original material and can either be
regular research papers up to 14 pages or short papers up to 6
pages. 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. The conference proceedings
will be published within Springer LNCS series. The submission page is
http://www.easychair.org/SAT2008. Papers have to be submitted
electronically as PDF files.
IMPORTANT DATES
January 11, 2008 Abstract Submission
January 18, 2008 Paper Submission
February 18, 2008 Author Notification
February 25, 2008 Final Version
PROGRAM CHAIRS
Hans Kleine Büning, University of Paderborn, Germany
Xishun Zhao, Sun Yat-Sen University, Guangzhou, P.R. China
LOCAL CHAIR / Organization Committee
Shier Ju, Sun Yat-Sen University, Guangzhou, P.R. China
Minghui Xiong, Sun Yat-Sen University, Guangzhou, P.R. China
Lin Xu, Natural Science Foundation of China, P.R. China
Uwe Bubeck, University of Paderborn, Germany
Theo Lettmann, University of Paderborn, Germany
TECHNICAL PROGRAM COMMITTEE
Fahiem Bacchus, University of Toronto, Canada
Armin Biere, Johannes Kepler Universität, Austria
Nadia Creignou, Université de la Méditerranée, France
Adnan Darwiche, UCLA, USA
Leonardo de Moura, Microsoft Research, USA
Decheng Ding, Nanjing University, P.R. China
John Franco, University of Cincinnati, USA
Ian Gent, University of St. Andrews, UK
Enrico Giunchiglia, Università di Genova, Italy
Aarti Gupta, NEC Research Labs, USA
Holger Hoos, University of British Columbia, Canada
Henry Kautz, University of Rochester, USA
Oliver Kullmann, University of Wales Swansea, UK
Daniel Le Berre, Université d'Artois, France
Chu-Min Li, Université de Picardie, France
Ines Lynce, Technical University of Lisbon, Portugal
Panagiotis Manolios, Georgia Institute of Technology, USA
Joao Marques-Silva, University of Southampton , UK
David Mitchell, Simon Fraser University, Canada
Stefan Porschen, Universität Köln, Germany
Steve Prestwich, University College Cork, Ireland
Karem Sakallah, University of Michigan, USA
Uwe Schöning, Universität Ulm, Germany
Roberto Sebastiani, Università di Trento, Italy
Bart Selman, Cornell University, USA
Laurent Simon, Université Paris Sud, France
Ewald Speckenmeyer, Universität Köln, Germany
Ofer Strichman, Technion, Israel
Stefan Szeider, Durham University, UK
Allen Van Gelder, UC Santa Cruz, USA
Hans van Maaren, Technische Universiteit Delft, Netherlands
Toby Walsh, National ICT, Australia
Jian Zhang, Chinese Academy of Science, P.R. China
Lintao Zhang, Microsoft Research, USA
SAT Race
Carsten Sinz, Universität Tübingen, Germany
et al.
QBFEVAL
Massimo Narizzano, Università di Genova, Italy
Luca Pulina, Università di Genova, Italy
Armando Tacchella, Università di Genova, Italy
Max-SAT EVALUATION
Josep Argelich, Universitat de Lleida, Spain
Chu Min Li, Université de Picardie, France
Felip Manya, Universitat de Lleida, Spain
Jordi Planes, University of Southampton, UK
Further information on SAT Race, Max-SAT Evaluation, and QBFEVAL
will be published also on the SAT08 conference web page.
_________________________________________________________________________________
mozart-users mailing list
mozart-users@mozart-oz.org
http://www.mozart-oz.org/mailman/listinfo/mozart-users
