Twenty-third Annual IEEE Symposium on Logic in Computer Science 24-27 June 2008, Pittsburgh, Pennsylvania ; proceedings (IEEE Computer Soc., 2008)