Atlas home || Conferences | Abstracts | about Atlas
Host: Bond University
Homepage: http://www.csee.uq.edu.au/~cats01
Email: cats01@svrc.uq.edu.au
Description:
CATS covers all aspects of theoretical computer science. Some representative, but not exclusive, topics
include the following:
logic, reasoning and verification; formal specification techniques and program semantics; formal development methods, program refinement, synthesis and transformation; concurrent, parallel and distributed system theory; theory of algorithms and data structures; complexity and computability; automata, number and category theory; tools for automated reasoning, and program analysis and development .
Date received: August 16, 2000
© 2008 Atlas Conferences Inc.