Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science