Proceedings of the 2012 27th Annual IEEEACM Symposium on Logic in Computer Science - Association for Computing Machinery-Digital Library; ACM Special Interest Group on Algorithms; Computation Theory (IEEE Computer Society, 2012)