20th Annual Ieee Symposium On Logic In Computer Science (Lics 2005) by