CATS 2014 - Computing: Australasian Theory Symposium (CATS)

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.