Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007 - IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society, 2007)