<pre>ICTAC is an International Colloquium on Theoretical Aspects of<br>Computing created by the International Institute for Software<br>Technology of the United Nations University (UNU–IIST). The aim of the<br>colloquium is to bring together practitioners and researchers from<br>academia, industry and government to present research results, and<br>exchange experience, ideas and solutions for their problems in<br>theoretical aspects of computing. Beyond these scholarly goals,<br>another main purpose of the conference is to promote cooperation in<br>research and education between participants and their institutions,<br>from developing and industrial countries, as in the mandate of the<br>United Nations University. The previous six ICTAC events were held in<br>Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006),<br>Macau (2007), Istanbul, Turkey (2008) and Banji Selangor, Malaysia<br>(2009). ICTAC 2010 includes two special tracks: a track on Formal<br>Approaches to Testing, chaired by Marie–Claude Gaudel, and a track on<br>the Grand Challenge in Verified Software, chaired by Jim Woodcock.<br></pre>
Abbrevation
ICTAC
City
Natal, Rio Grande do Norte
Country
Brazil
Deadline Paper
Start Date
End Date
Abstract