<span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the </span><st1:place><st1:placename><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>United</span></st1:placename><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> </span><st1:placename><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Nations</span></st1:placename><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> </span><st1:placetype><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>University</span></st1:placetype></st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (UNU–IIST). The main purpose of ICTAC is to 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. <a name=″OLE_LINK1″></a><a name=″OLE_LINK2″></a>The previous five ICTAC events were held in </span><st1:place><st1:city><span class=″SpellE″><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Guiyang</span></span></st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>, </span><st1:country–region><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>China</span></st1:country–region></st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (2004), </span><st1:place><st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Hanoi</span></st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>, </span><st1:country–region><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Vietnam</span></st1:country–region></st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (2005), </span><st1:place><st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Tunis</span></st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>, </span><st1:country–region><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Tunisia</span></st1:country–region></st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (2006), </span><st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Macau</span></st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (2007) and </span><st1:city><st1:place><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″>Istanbul</span></st1:place></st1:city><span style=″font–size: 11pt; font–family: Verdana;″ lang=″EN–GB″> (2008). We welcome scientific papers in a deliberately wide range of topics, from theoretical foundations of computing to modern tools and industrial applications of formal methods.</span>
Abbrevation
ICTAC
City
Kuala Lumpur
Country
Malaysia
Deadline Paper
Start Date
End Date
Abstract