6th International Colloquium on Theoretical Aspects of Computing
16-20 August 2009 Kuala Lumpur, Malaysia

 

 

 

 

 

About ICTAC09

 

Programs for ICTAC09:

         

   16-17 August:       Tutorial Sessions. More information is given below. NEW

   18-20 August:       The Colloquium. For the program, please click here. NEW 

Apart from that, there will be two satellite events:

   14-15 August:       A Short Course On TLA+ by Dr Leslie Lamport

   17 August:           TTSS09 Workshop

 

The colloquium proceeding (LNCS 5684)  is now available online. You can 
find information about it  at
http://www.springer.com/computer/foundations/book/978-3-642-03465-7 
or access the online version at 
http://www.springerlink.com/content/978-3-642-03465-7/

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.

Tutorial Sessions

 

Dr Leslie Lamport (Microsoft Research USA) – 
TLA+
 
Dr Sriram Rajamani (Microsoft Research India)- Checking Object 
Invariants by Combining Static and Dynamic Analysis
 
Prof Annabelle McIver (Macquarie University, Sydney, Australia) -  
Secure Stepwise Refinement: Beating the refinement paradox
 
Dr Zhimming Liu (United Nation University Institute of Software Technology) – 
rCOS:  A Formal Model Driven Method of Component-Base Design