Innovations in theoretical computer science : ITCS'13, proceedings ; Berkeley, California, USA, January 9-12, 2012 (ACM - Association for Computing Machinery, 2013)