Submission of Posters

For the first time with SAT conferences, SAT'12 allows authors for submitting extended abstract/poster papers (PPs), in order to provide them with the opportunity to present a poster in front of the SAT'12 audience. PPs, which are at most 2-page long, will be inserted in the SAT'12 proceedings.

In order to make the reviewing of PPs as clear and fair as possible, we established the following guidelines and ask potential authors to read them carefully.

About Poster Papers

Poster presentations are supposed to introduce to the SAT community preliminary reports of work in progress, student work, or preliminary results. These will be judged based on the expected level of interest for the SAT community.

Extended abstracts/poster papers are supposed to be non-technical, rather to contain a brief summary of the work that will be presented in the poster. To this extent, the author may conceive the abstracts as if they were a merge of the introduction and conclusion sections of a paper.

Posters are mandatorily expected to be displayed and presented at the conference, in an ad-hoc poster session.

Submission Instructions

Submitted PPs must:

  • be written in latex, using the Springer LNCS style,
  • be in English and have a maximum of 2 pages.
  • include "(Poster Presentation)" at the end of the title, that is:
    \title{...\\(Poster Presentation)}
  • be submitted electronically in PDF form via the SAT 2012 Conference Service at EasyChair.

Poster papers are not supposed to include an abstract within the two pages. However, we expect an abstract to be submitted on easychair within the abstract deadline.