[DMANET] SAT 2013 Call for Workshops, Competitions, and Tutorials

[ We apologize if you receive multiple copies of this call. ]
-------------------------------------------------------------------------

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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************