Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th