CATS 2012 - 18th CATS symposium on Computing: the Australasian Theory Symposium

CATS is an annual conference held in the Australia-New Zealand region, dedicated to theoretical computer science.

Authors are invited to submit papers that present original and unpublished research on topics related to theoretical aspects of computer science, including (but not limited to): algorithms and data structures, algorithmic game theory, combinatorial optimization, computability, computational complexity theory, computational geometry, foundational calculi, graph theory and combinatorics, logic and type systems, program derivation, analysis, transformation, program verification and safety, semantics of programming languages, theory of programming.