Title: Theoretical Aspects of Computing - Ictac 2007