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

       1ST CALL FOR WORKSHOPS, COMPETITIONS, AND TUTORIALS
 
               Sixteenth International Conference on
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
                        --- SAT 2013 ---

               Helsinki, Finland, July 8-12, 2013
                  http://sat2013.cs.helsinki.fi/

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

PROPOSAL SUBMISSION DEADLINE: November  2, 2012

Proposals should be submitted by email to sat2013@easychair.org, either in
ASCII text or as an attachment in PDF form, and should include
in sufficient detail the information outlined below.

Proposals with incomplete information may be submitted, in case the deadline
is a bit early.  Please indicate in your proposal a plan and/or schedule
for getting the remaining information.

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

CALL FOR WORKSHOPS

 Workshop proposals for SAT 2013 are solicited.  Both well-established
 workshops, possible previously affiliated with other venues, and newer 
 ones are encouraged.  Similarly, proposals for workshops with a tight 
 focus on a core area within SAT, ranging from theory to applications, 
 as well as those with a broader focus on SAT and related formalisms and 
 paradigms, are very welcome.

 Please provide the following information in your proposal:

 + Workshop title.
 + Names and affiliations of organizers.
 + Proposed workshop duration (from half a day to full day).
 + Brief description of the goals and the scope of the workshop. 
   Why is the workshop relevant for SAT?
 + Preliminary call-for-papers and program committee composition.
 + Is the workshop new or has it met previously? In the latter case
   provide information on previous meetings (success, number of submissions,
   number of participants, etc).
 + What are the plans for publication?
 
 The main workshop day is July 8. Two-day workshops for July 8-9, overlapping
 with the main conference for July 9, may also be considered. 
 
 The main organizers of accepted workshops are expected to be present
 at SAT 2013. Should multiple proposals be submitted for similar workshops, 
 possibilities of combining the workshops into one may be considered.

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

CALL FOR SOLVER COMPETITIONS

 Solver competitions for SAT solvers and their extensions
 are a traditional part of the SAT conferences.

 For SAT 2013, proposals for solver competitions are solicited openly.

 The goal is to foster the development of both core SAT solvers as well as
 their extensions (including, but not restricted to structural SAT solving, 
 MaxSAT, MUS computation, QBF, SMT, etc) and SAT-based systems for important
 application domains.

 Organization of the accepted solver competitions is expected to be 
 separate from the SAT 2013 conference organization.

 The organizers of the accepted competitions are expected to be present
 at SAT 2013.  Results of the accepted competitions are expected to 
 be presented during the main conference, and time for these reports will
 allocated within the main conference schedule.

 Please provide the following information in your proposal:

 + Competition title.
 + Names and affiliations of organizers.
 + Duration and schedule of the competition.
 + Description of the competition task and the evaluation procedure.
 + Is the competition new or has it been organized before?
   In the latter case information on previous competitions should be given.
 + What computing resources are required and how will they be provided?

 Should multiple proposals be submitted for similar competitions, possibilities
 of combining the competition organizations into one may be considered.

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

CALL FOR TUTORIALS

 As a new development for 2013, tutorial proposals for SAT 2013 are solicited.
 Tutorials are expected to be 1-2 hours long, although other durations will
 be considered.  The tutorial may have a theoretical or applied focus,
 on a topic of interest for SAT 2013, broadly construed.

 Please provide the following information in your proposal:

 + Tutorial title.
 + Names and affiliations of organizer(s).
 + Brief description of the tutorial's goals and topics to be covered.
 + Planned duration (1.5 hours being the default).
 + Whether or not a version of the tutorial has been given previously.
   If so, a pointer to those presentation materials will be helpful.

 All accepted tutorials will be scheduled to take place during the main
 conference.

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

Should you have any questions regarding these calls, please contact us
via email using sat2013@easychair.org .

SAT 2013 Program Committee Chairs

Matti Jarvisalo        University of Helsinki
Allen Van Gelder       University of California at Santa Cruz