Eighth International Conference on
Theory and Applications of Satisfiability Testing
June 19th-23rd 2005
University of St. Andrews Conference Centre
St. Andrews, Scotland
Available Audio Visual
Data projector (for connecting your laptop).
Overhead projector (for transparencies).
Poster session papers will be provided with a 2 meter by 1 meter
poster board. During the poster introduction sessions each author will be
allowed a three (3) minutes and two (2) transparencies only. (The data
projector cannot be used during the poster introductions overhead in switching