Proceedings, twenty-third annual IEEE Symposium on Logic in Computer Science 24-27 June 2008, Pittsburgh, Pennsylvania / (IEEE,)