LICS '06 21st annual IEEE Symposium on Logic in Computer Science : 12-15 August 2006 / (IEEE,)