<P>ICTAC 2008 is the 5th 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 2008 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. <A name=OLE_LINK2></A><A name=OLE_LINK1>The previous four ICTAC events were held in </A>Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006) and Macau (2007). </P><B>Keywords:</B> – software specification, refinement, verification and testing<BR>– model checking and theorem proving<BR>– software architectures<BR>– coordination and feature interaction<BR>– integration of theories, formal and engineering methods and tools<BR>– models of concurrency, security, and mobility<BR>– parallel, distributed, and internet–based (grid) computing<BR>– real–time, embedded and hybrid systems<BR>– automata theory and formal languages<BR>– principles and semantics of languages<BR>– logics and their applications<BR>– type and category theory in computer science<BR>– case studies, theories, tools and experiments of verified systems<BR>– service–oriented architectures: models and development methods<BR>
Abbrevation
ICTAC
City
Istanbul
Country
Turkey
Deadline Paper
Start Date
End Date
Abstract