SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland

Call for Workshops, Competitions, and Tutorials

[This call in ASCII text.]

PROPOSAL SUBMISSION DEADLINE: November 2, 2012

Proposals should be submitted by email to sat2013[AT]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.

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

[Call for Workshops] [Call for Competitions] [Call for Tutorials]

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, Pseudo-Boolean, 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.

SAT 2013 Program Committee Chairs

Matti JärvisaloUniversity of Helsinki
Allen Van Gelder University of California at Santa Cruz