SCOPE AND TOPICS ICTAC 2004 calls for tutorials in the areas of theoretical aspects of computing including automata, languages, software engineering and formal and solicits research papers for the workshop related to, but not limited to, the following principal topics: automata theory and formal languages principle and semantics of programming languages logics and their applications software architectures and their description languages formal techniques in MDA software specification, refinement and verification model checking and theorem proving formal techniques in software testing models of object and component system coordination and feature interaction integration of formal and engineering methods service-oriented development document-driven development models of concurrency, security and mobility theory of parallel, distributed and internet-based (Grid) computing real-time and embedded systems type and category theory in computer science Boolean satisfiability (SAT)