ICTAC 2011

International Colloquium on Theoretical
Aspects of Computing 2011

31 August - 2 September 2011, Johannesburg, South Africa

About ICTAC 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 2011 will bring together practitioners and researchers from academia, industry and government to present 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. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

The previous ICTAC events were held in Guiyang, China (2004); Hà Nôi, Viêt Nam (2005); Tunis, Tunisia (2006); Macau (2007); Istanbul, Turkey (2008); Kuala Lumpur, Malaysia (2009) and Natalia, Brazil (2010).

ICTAC 2011 will feature tutorials, contributed presentation as well as lecturers from the following invited speakers:

The Proceedings of ICTAC 2011 are being published through Springer's Lecture Notes in Computer Science (LNCS) series. The proceedings are available in print and online.

The colloquium will be organized jointly by the University of the Witwatersrand, Johannesburg and UNU-IIST. They are also sponsors of ICTAC 2011.

The ICTAC 2011 Colloquium will be held at the Mabalingwe Nature Reserve. Tutorials and workshops will be held at the Braamfontein campus of the University of the Witwatersrand.

We look forward to meeting you in Johannesburg.

Antonio Cerone and Pekka Pihlajasaari
ICTAC 2011 Program Co-chairs