Theoretical Aspects Of Computing - Ictac 2007 door