By Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
The overseas Colloquium on Theoretical features of Computing (ICTAC) held in 2006 in Tunis, Tunisia, used to be the 3rd of a chain of occasions created via the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. the purpose of the colloquium is to assemble researchers from academia, - dustry, and governmentto current their effects, and alternate event, principles, and strategies for his or her difficulties in theoretical points of computing. the former occasions have been held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). past its scholarly targets, one other major goal of ICTAC is to advertise cooperation in learn and schooling among members and their associations, from constructing and commercial international locations, as within the mandate of the United countries collage. those lawsuits list the contributions from the invited audio system and from the technical classes. We current 4 invited papers, 21 technical papers, chosen out of seventy eight submissions from 24 international locations, and prolonged abstracts of tutorials. The Programme Committee comprises researchers from 27 nations. all of the seventy eight papers was once evaluated by means of a minimum of 3 reviewers. After the assessment, stories have been lower back to the Programme Committee for dialogue and reso- tion of con?icts. in keeping with their suggestions, we concluded the consensus approach, and chosen the 21 papers that we current right here. For the review of the submitted tutorials, this 12 months we had the aid of a separate Programme Committee specially invited for that purpose.