The ICTAC series, founded by the United Nations University's International
Institute of Software Technology (UNU-IIST), brings 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. A further aim is to promote
cooperation in research and education between participants and
institutions from developing and industrial countries, as in the United
Nations University's mandate. The previous four ICTAC events were held in
Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006) and Macau (2007).
Call for paper
Important date
2008-04-11
Draft paper submission deadline
2008-06-02
Final paper submission deadline
Submission Topics
In 2008, topics include, but are not limited to:
- software specification, refinement, verification and testing
- model checking and theorem proving
- software architectures
- coordination and feature interaction
- integration of theories, formal
Submit Comment