Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011 - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society, 2011)