Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; Cadence (IEEE Computer Society, 2006)