ICTAC 2010 banner. 1-3 September 2010, Natal, Brazil.


Satellite events:



Formal Methods Europe



Miranda Computação




About ICTAC 2010

ICTAC 2010 is the 7th 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 2010 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. Our 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), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau (2007), Istanbul, Turkey (2008) and Kuala Lumpur, Malaysia (2009). ICTAC 2010 includes two special tracks: the first on the Grand Challenge on Verified Software, the second on Formal Approaches to Testing.

The Proceedings of ICTAC 2010 are being published through Springer's LNCS series, as number 6255. The proceedings are available in print and online.

We look forward to meeting you in Natal!

David Déharbe and Ana Cavalcanti

Programme Chairs