SAT 2019 Call for Workshops.

[Alexey Ignatiev]

===============================================================
CALL FOR WORKSHOPS

SAT 2019
22nd International Conference on Theory and Applications of Satisfiability Testing
http://sat2019.tecnico.ulisboa.pt/workshops.html
July 7-12, 2019, Lisbon, Portugal
===============================================================


===============================================================
*** WORKSHOP PROPOSAL SUBMISSION DEADLINE: February 4, 2019 ***
===============================================================

    
===============================================================
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 2019, which will be held in Lisbon (Portugal) from July 7 to July 12, 2019.
Submission of Workshop Proposals

Proposals should be submitted in pdf format to the following address: workshops at sat2019.tecnico.ulisboa.pt.

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)


===============================================================
Important Dates:

  - February 04, Workshop proposal submission deadline
  - February 18, Workshop acceptance notification
  - July 7-8, SAT 2019 Workshops


===============================================================
Contact Information:

Questions regarding workshop proposals should be sent to workshops at sat2019.tecnico.ulisboa.pt.

SAT 2019 Workshop Chair
Vasco Manquinho
INESC-ID, IST - Universidade de Lisboa, Portugal