SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

Authors of short papers are requested to prepare a poster displaying their research results and details of their work. Poster sessions are scheduled on Tuesday, May 13 and on Thursday, May 15. Authors of long papers are also invited to use this opportunity for further discussions by presenting a poster. Poster size is 119cm (height) x 84cm (width). Please use one of the following templates as a basis of your poster: Adobe Illustrator PDF Powerpoint JPEG Further file formats are available on request. Posters sent to the organizers will be printed directly in China. Please note the deadline April 30, 2008, 23:59 GMT for printing. If you want to take care of printing yourself, please let us know for reservation of the necessary space for your poster. Posters should be sent by email to the following address sat at upb.de. Posters are due by April 30, 2008, 23:59 GMT.