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: cimatti@fbk.eu and rseba@disi.unitn.it.
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
Posts
