About ICTAC09
Programs for
ICTAC09:
16-17 August: Tutorial Sessions
18-20 August: The Colloquium
Apart from that, there will be two satellite
events:
14-15 August: A Short
Course On TLA+
By Dr Leslie
Lamport, Microsoft, Inc,
17 August: TTSS09 Workshop
For the list of papers accepted for the
colloquium, please click here. NEW
History of ICTAC
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 United Nations
University (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. The previous five
ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005),
Tunis, Tunisia (2006), Macau (2007) and Istanbul (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.
Click here
for the poster of ICTAC09.
TTSS Workshop
Harnessing Theories for Tool Support in Software (TTSS09) workshop is
a satellite event of ICTAC09, which will be organized on 17 August 2009. For
more information about the workshop please click here.