[UAI] CFP: Workshop on Theory and Applications of Satisfiability Testing

From: Ian Miguel (ianm@cs.york.ac.uk)
Date: Mon Jan 29 2001 - 13:29:50 PST

  • Next message: Henry Prakken: "[UAI] 2nd CFP AI & Legal Evidence"
  • Next message: zanasia@it.ibm.com: "[UAI] Intelligence in the 21st Century"

    Apologies if you receive this more than once.

    Call for Papers
    Workshop on Theory and Applications of Satisfiability Testing
    Affiliated with LICS 2001
    June 14-15, 2001, Boston, Massachusetts
    Workshop Home Page: http://www.cs.washington.edu/homes/kautz/sat2001/

    Great strides have been made in recent years in the theory and practice
    of propositional satisfiability testing. On the theoretical side, a
    wide range of mathematical approaches -- ranging from classical
    combinatorial analysis to arguments based on statistical physics --
    have increased our understanding of problem hardness. On the
    practical side, new systematic and non-systematic search algorithms
    have increased the size of problems that can be solved by several
    orders of magnitude. As a result there is an growing interest in
    using SAT as a practical tool for solving real-world problems, as well
    as using the insights gained from SAT research to create
    problem-specific solutions.

    The purpose of this workshop is to bring together researchers from
    different communities -- including theory, artificial intelligence,
    verification, mathematical theorem-proving, and operations research --
    in order to share ideas and increase synergy between theoretical and
    empirical work.

    Invited Speakers

    Alasdair Urquhart (University of Toronto)
    Daniel Jackson (M.I.T.)
    Michael Littman (AT&T Laboratories)

    Program Committee

    Henry Kautz (University of Washington)
    Bart Selman (Cornell University)
    John Franco (University of Cincinnati)
    Paul Beame (University of Washington)
    Mark Stickel (SRI)
    Toby Walsh (York University)
    David McAllester (AT&T Laboratories)
    Daniel Jackson (M.I.T.)
    Matthew Ginsberg (University of Oregon)
    Carla Gomes (Cornell University)

    Important Dates

    Submission of papers and/or requests to participate: March 15, 2001.
    Decisions returned: April 15, 2001.
    Workshop: June 14 - 15, 2001.

    Paper Guidelines

    Papers should be limited to 8 pages (any format). IMPORTANT:
    European authors should format their paper for "letter" size paper
    (8.5 inch by 11 inch) paper, not the default A4 size. In Latex this
    can be done by
            \documentclass[letterpaper]{article}

    Papers should be submitted electronically by March 15, 2000. If the
    paper will be presented at the main LICS conference or any other
    conference paper indicate this clearly on both the email and first
    page of the paper.

    The paper submission procedure is as follows:

    1. Send an email message to <kautz@cs.washington.edu> with the
       following information:

    paper title:
    first author name:
    first author email:
    first author telephone:
    first author home page:
    names of coauthors:
    brief abstract:
    is this paper also at LICS?:
    file name:

       The last is the name of the file containing your paper. It should
       be your first and last names separated by a dash, e.g.
                  henry-kautz.ps
       The file may be in postscript .ps or PDF .pdf formats only.

    2. FTP the paper itself as follows: From a command prompt, type
            ftp ftp.cs.washington.edu
            (login:) anonymous
            (password:) YOUR_EMAIL_ADDRESS
            cd sat2001/incoming
            put YOUR_FILE

    If you wish to participate in the workshop but not submit a paper,
    please send an email to <kautz@cs.washington.edu> by March 15 with the
    contact information described above.

    In order to increase time for free discussion, some authors may be
    asked to give short (10 minute) overviews of their work rather than
    a full talk. All accepted papers will appear in an online set of
    working notes.

    More Information

    The work immediately precedes the Sixteenth Annual IEEE Symposium on
    Logic in Computer Science (LICS 2001), June 16 - 19, 2001, at Boston
    University. For information on travel and housing see the main
    conference website:

    http://www.cs.bu.edu/faculty/mairson/LICS01/index.html

    For information about the workshop see
    http://www.cs.washington.edu/homes/kautz/sat2001/
    or email Henry Kautz <kautz@cs.washington.edu>.



    This archive was generated by hypermail 2b29 : Mon Jan 29 2001 - 13:43:40 PST