[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SAT 2009: Second call for papers



Hello,

I hope you don't mind the following (second) call for papers (see
attachment for the full text; my apologies in case you
obtain this letter several times; you have been addressed
by this e-mail since you have had some contacts with the
SAT community in the past).

SAT 2009 - 12th International Conference on Theory
and Applications of Satisfiability Testing
  Second Call for Papers
  June 30 - July 3, 2009, Swansea, United Kingdom
  http://cs.swan.ac.uk/~csoliver/SAT2009/index.html
* The International Conference on Theory and Applications of
  Satisfiability Testing is the primary annual meeting for researchers
  studying the propositional satisfiability problem (SAT). SAT'09 is
  the twelfth SAT conference. SAT'09 features the SAT competition, the
  the Pseudo-Boolean evaluation, and the MAX-SAT evaluation.
* 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, randomised
  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).
* Important dates:  Abstract submission due: 20 Feb 2009;
  Paper submission: 27 Feb 2009; Notification: 29 Mar 2009.

With best regards

Oliver Kullmann and the team for SAT 2009 in Swansea
                           SAT 2009
	             Second Call for Papers

	         12th International Conference on
	Theory and Applications of Satisfiability Testing
	       June 30 - July 3, Swansea, Wales, UK
            http://www.cs.swan.ac.uk/~csoliver/SAT2009
      
            Deadline for submissions: 20 FEBRUARY, 2009


  The International Conference on Theory and Applications of
  Satisfiability Testing is the primary annual meeting for researchers
  studying the propositional satisfiability problem (SAT). SAT'09 is
  the twelfth SAT conference. SAT'09 features the SAT competition, the
  the Pseudo-Boolean evaluation, and the MAX-SAT evaluation.


SCOPE 

  Many hard combinatorial problems can be encoded into SAT.
  Therefore improvements on heuristics on the practical, 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/conferences/?conf=sat2009
  Papers have to be submitted electronically as PDF files.

  Abstract submissions are due by February 20,
  and paper submissions by February 27.


PROGRAM CHAIR

  Oliver Kullmann, Swansea University, UK


INVITED SPEAKERS

  Robert Nieuwenhuis, Technical University of Catalonia, Spain
  Moshe Vardi, Rice University, USA


IMPORTANT DATES

  February 20, Abstract Submission
  February 27, Paper Submission
  March 29, Author Notification
  April 12, Final Version


TECHNICAL PROGRAM COMMITTEE

  Dimitris Achlioptas, UC Santa Cruz, USA
  Armin Biere, Johannes Kepler University, Austria
  Stephen A. Cook, University of Toronto, Canada
  Nadia Creignou, Universite de la Mediterranee, France
  Evgeny Dantsin, Roosevelt University, USA
  Adnan Darwiche, UCLA, USA
  John Franco, University of Cincinnati, USA
  Nicola Galesi, Universita di Roma, Italy
  Enrico Giunchiglia, Universita di Genova, Italy
  Ziyad Hanna, Jasper Design Automation, USA
  Marijn Heule, Technische Universiteit Delft, Netherlands
  Edward Hirsch, Steklov Institute of Mathematics, Russia
  Kazuo Iwama, Kyoto University, Japan
  Hans Kleine Buening, University of Paderborn, Germany
  Daniel LeBerre, Universite d'Artois, France
  Chumin Li, Universite de Picardie, France
  Ines Lynce, Instituto Superior Tecnico, Portugal
  Panagiotis Manolios, Northeastern University, USA
  Joao Marques-Silva, University of Southampton, UK
  David G. Mitchell, Simon Fraser University, Canada
  Albert Oliveras, Technical University of Catalonia, Spain
  Ramamohan Paturi, University of California, USA
  Lakhdar Sais, Universite d'Artois, France
  Karem A. Sakallah, University of Michigan, USA
  Uwe Schoening, Universitaet Ulm, Germany
  Roberto Sebastiani, Universita di Trento, Italy
  Carsten Sinz, University of Karlsruhe, Germany
  Robert H. Sloan, University of Illinois, USA
  Niklas Sorensson, Chalmers University of Technology, Sweden
  Ewald Speckenmeyer, Universitaet Koeln, Germany
  Stefan Szeider, Durham University, UK
  Armando Tacchella, Universita di Genova, Italy
  Miroslaw Truszczynski, University of Kentucky, USA
  Alasdair Urquhart,  University of Toronto, Canada
  Allen Van Gelder, Stanford University, USA
  Hans van Maaren, Delft University of Technology, Netherlands
  Toby Walsh, University of New South Wales, Australia
  Sean Weaver, University of Cincinnati, USA
  Emo Welzl, ETH Zurich, Switzerland
  Lintao Zhang, Microsoft Research, USA
  Xishun Zhao, Sun Yat-Sen University, P.R. China


SAT COMPETITION
http://www.satcompetition.org/2009/

  Daniel Le Berre, Universite d'Artois, France
  Olivier Roussel, Universite d'Artois, France
  Laurent Simon, Universite Paris Sud, France


PSEUDO BOOLEAN EVALUATION
http://www.cril.univ-artois.fr/PB09/

  Vasco Manquinho, Technical University of Lisbon, Portugal
  Olivier Roussel, Universite d'Artois, France


MAX-SAT EVALUATION
http://www.maxsat.udl.cat/09/

  Josep Argelich, IIIA-CSIC, Spain
  Chu Min Li, Universite de Picardie, France
  Felip Manya, IIIA-CSIC, Spain
  Jordi Planes, IIIA-CSIC, Spain