Email Record: Theoretical aspects of computing--ICTAC 2011 :