Theoretical aspects of computing - ICTAC 2005 second International Colloquium, Hanoi, Vietnam, October 17 - 21, 2005 ; proceedings (Springer, 2005)