19th edition of Computing: the Australasian Theory Symposium (CATS)

CATS is part of Australasian Computer Society Week (ACSW) and will this time be hosted by the University of South Australia at its City West Campus. Authors are invited to submit papers that present original, unpublished research in all areas of theoretical computer science. Typical, but not exclusive, areas of interest are: algorithms and data structures algorithmic game theory combinatorial optimization computability computational complexity theory computational geometry graph theory and combinatorics parallel and distributed algorithms logic and type systems program derivation analysis verification theory of programming languages