[DMANET] SAT 2013 Call for Posters

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

CALL FOR PRESENTATION-ONLY POSTERS

Sixteenth International Conference on
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
--- SAT 2013 ---

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

*** Acceptance notifications are sent within one week of submission ***

Poster abstract submissions by: May 17, 2013
Notifications by: May 22, 2013
Conference early registration deadline : May 27, 2013

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

The SAT 2013 conference invites submissions of 200-400 word poster
abstracts. Each submitted abstract will be checked for suitability for
presentation as a poster during a poster-session at the main
conference.

The poster abstracts may be about (but not restricted to):

-SAT-related work-in-progress.
-SAT-related work recently published or accepted for publication
at other major conferences, workshops, or journals.
-Descriptions of SAT-related systems, interesting benchmark problems,
etc.
-Overviews of SAT-related PhD theses or currently on-going PhD work.
-Overviews of SAT-related research projects.

To submit a poster abstract, send the title, list of authors and their
affiliations, and a 200-400 word abstract of your poster by email to
sat2013@easychair.org . The submissions should be in ASCII text.

The accepted poster abstracts will not appear in the SAT 2013
proceedings,
but will be included in the informal conference booklet made available
to
all registered attendees. Each poster presenter is expected to register
to the main conference.

SAT 2013 includes three high-quality invited talks (by Albert Atserias,
Edmund M. Clarke, and Peter Stuckey), around 30 scientific
presentations,
various satellite events including the SMT, PoS, and QBF workshops,
as well as a lively social program.

**********************************************************
*
* 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/
*
**********************************************************