21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)