32nd Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012-12-14