Saturday, February 25, 2017

[DMANET] 20th International Conference on Theory and Application of Satisfiability Testing (SAT 2017) - Call for workshops

--- SAT 2017 ---
20th International Conference on Theory and Application of Satisfiability Testing
August 28 to September 1, 2017, Melbourne, Australia


The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

We invite proposals for workshops associated to the main conference program of SAT 2017, which will be held in Melbourne (Australia) from August 28 to September 1, 2017, colocated with CP 2017 ( and ICLP 2017 (, and following IJCAI 2017


Proposals should be submitted in pdf format to the following address:

Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:

* Contact information of the workshop organizers
* Estimate of the audience size
* Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
* Potential invited speakers
* Procedures for selecting talks and participants
* Plans for dissemination, if any (for example, proceedings or special issue of journals)
* duration: half day or full day
* Relevant chairing experience of the organizers (if any)
* Organizing committee members (if already known)


- March 27, Workshop proposal submission deadline
- April 10, Workshop acceptance notification
- August 28, SAT 2017 Workshops


Questions regarding workshop proposals should be sent to

SAT 2017 Workshop Chair
Stefan Ruemmele
University of Sydney and UNSW Sydney

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.