<pre>ICTAC 2012 is the 9th 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). ICTAC 2012 will 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 other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.<br>The topics of the conference include, but are not limited to: * automata theory and formal languages; * principles and semantics of programming languages; * logics and their applications; * software architectures and their description languages; * relationship between software requirements, models and code; * software specification, refinement, verification and testing; * model checking and theorem proving; * formal techniques in software testing; * models of object and component systems; * coordination and feature interaction; * integration of theories, formal methods and tools for engineering computing systems; * service–oriented architectures: models and development methods; * models of concurrency, security, and mobility; * theory of parallel, distributed, grid and cloud computing; * real–time, embedded, hybrid and cyber–physical systems; * type and category theory in computer science; * models for learning and education; * case studies, theories, tools and experiments of verified systems; * domain–specific modeling and technology: examples, frameworks and experience.<br></pre>
Abbrevation
ICTAC
City
Bangalore
Country
India
Deadline Paper
Start Date
End Date
Abstract