20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)