I have been invited to serve on the Program Committee of ICTAC 2011 to be held in Johannesburg, South Africa from 31 August to 2 September
2011.
ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC brings together practitioners and researchers
to present their research and to exchange ideas and experience
addressing challenges in both theoretical aspects of computing and in
the exploitation of theory through methods and tools for system development.