[ 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.