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

 

 

 

 

 

Call For Papers

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 and engineering methods and tools
  • models of concurrency, security, and mobility
  • parallel, distributed, and internet-based (grid) computing
  • real-time, embedded and hybrid systems
  • automata theory and formal languages
  • principles and semantics of languages
  • logics and their applications
  • type and category theory in computer science
  • case studies, theories, tools and experiments of verified systems  
  • service-oriented architectures: models and development methods
  • domain modelling and domain-specific technology: examples, frameworks and experience

 


Papers Submissions

 

ICTAC 2009  calls for two types of contributions: RESEARCH PAPERS and

TOOL DEMONSTRATION PAPERS. Both types  of contributions will appear in

the  LNCS proceedings and have oral presentations at the

conference. Papers should be written in English in LNCS format. For more 
information about the format, please refer to the following web site:
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0
 

 

 

RESEARCH PAPERS:

 

Research   papers  should  contain  original  research, and sufficient

detail to   assess  the merits  and  relevance  of  the  contribution.

Submissions  reporting on  industrial  case  studies are welcome,  and

should  describe both  strengths and  weaknesses  in sufficient depth.

Research papers should be no more than 15 pages.

 

TOOL DEMONSTRATION PAPERS:

 

Tool demonstration    papers present  tools   based on  aforementioned

theories or fall into the above  application areas. Tool demonstration

papers allow researchers to  stress the technical and practical  side,

illustrating how one    can   apply the  theoretic  contributions   in

practice. Tool demonstration papers should be no more than 6 pages.

 

 

As  usual, submissions to the conference  must not have been published

or    be  concurrently   considered  for  publication   elsewhere. All

submissions will  be judged on  the basis of originality, contribution

to the field, technical and presentation quality, and relevance to the

conference.  Submission constitutes a commitment to attend and present

a paper, if accepted.

 

Proceedings  of ICTAC 2009 will be  published by Springer  in the LNCS

series.

 


Important Dates

 

Submission of Papers:

10 April 2009    UPDATED

Notification of acceptance:

25 May 2009

Final copy for proceedings:

1 June 2009

ICTAC 2009:

16 – 20 August 2009