SAT 2012: Call for Workshop Proposals

-------------------------------------------------------------------------
                  15th International Conference on 
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAt'12
           Trento, Italy, June 17-20th, 2012 http://sat2012.fbk.eu/

                   CALL FOR WORKSHOP PROPOSALS

-------------------------------------------------------------------------

CALL FOR  SAT'12-ASSOCIATED WORKSHOPS 

Researchers and practitioners are invited to submit proposals for
associated workshops on topics related to the SAT conference. 
The workshops will be held in parallel the day before the conference
(June 16th 2011), immediatly after the SAT/SMT school. 
See http://sat2012.fbk.eu.

Proposals should consist of two parts. 

* 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).

* an organizational part should include contact information of the
  workshop organizers, procedures for selecting papers and
  participants, estimate of the audience size and a tentative list of
  the program committee. 

Proposals are due by 20.12.2012 and must be submitted by email to both
SAT'12 Conference Chairs: [email protected] and [email protected]. 
If you are interested in proposing a workshop, or you're considering
doing that, please contact us in advance. 

Alessandro Cimatti and Roberto Sebastiani
--- SAT2012 Chairs